首页 | 本学科首页   官方微博 | 高级检索  
检索     
共有20条相似文献,以下是第1-20项 搜索用时 312 毫秒

1.  复合模糊命题运算中的弱范数研究  被引次数:5
   安世虎《计算机学报》,2001年第24卷第10期
   在模糊诊断和分析问题中,一个复合命题往往由多个子命题组成,子命题之间除有合取、析取及加权平均运算关系外,还存在一种非常重要的弱逻辑关系。对基于单一数值表达的模糊命题间的合取、析取关系的最一般运算形式是三角范数和三角余范数。该文给出基于单一数值表示模糊命题的弱逻辑关系的最一般运算形式f范数和基于区间值表示的模糊命题弱逻辑关系最一般运算形式f-范数,具体给出相关算子,讨论了它们的性质及与传统的一些算子之间的联系,通过引入强f范的概念,给出了构造f-范数算子的一般方法,对具有弱逻辑关系复合模糊命题的真值运算可采用本文介绍的概念和方法。    

2.  复合模糊命题的真值及其信息量计算的新方法  被引次数:10
   刘纯武  孙即祥《软件学报》,1998年第9卷第11期
   从模糊信息量入手,对复合模糊命题的真值及其模糊信息量的计算进行了探讨,提出了一种新方法.此方法既考虑了子命题的逻辑关系,又考虑了子命题的相对重要程度而不丢失过多信息.实验证明,这种方法克服了封闭性、信息丢失、二义失效和全同失效的缺陷,能获得较合理的结果.    

3.  计量逻辑中真度的均值表示形式及应用  
   吴洪博  周建仁《电子学报》,2012年第40卷第9期
    命题真度是计量逻辑学中的基础概念.本文对真度的性质和计算方法进行了再研究.首先给出了计量逻辑中真度定义的均值表示形式;其次利用真度定义的均值表示形式推广了连接有限值逻辑系统和连续值逻辑系统中真度理论的极限定理,并得到了真度的对称性定理;最后在n-值命题逻辑系统和连续值命题逻辑系统中给出了析取规范型命题和合取规范型命题的真度的计算公式.    

4.  基于蕴涵度和蕴涵率的蕴涵型命题真值求法  
   廉师友《计算机工程与应用》,2006年第42卷第7期
   文章通过分析蕴涵型复合命题的真假涵义,并引入蕴涵度和蕴涵率两种度量,而得到了一种关于蕴涵型复合命题的真值计算新方法,即支命题之间的实际蕴涵度或蕴涵率对复合命题中描述蕴涵关系特征的语言值的符合度就是该复合命题的真值。该方法统一了确定性和不确定性蕴涵型复合命题的真值求法,填补了不确定性蕴涵型复合命题真值计算的空白,因而将在机器推理特别是不确定性推理中发挥重要作用。    

5.  复合模糊命题中基于弱逻辑的拟三角模算子研究  
   李爱平  吴泉源《计算机学报》,2007年第30卷第6期
   修正了f范数的概念,指出了符合弱逻辑关系的算子实际上是一种拟三角模算子中的Uninorm算子,接着给出了严格弱逻辑关系的拟三角模算子概念,在提出概念时,考虑了多维、基于单一数值和基于区间值以及加权的情况,并证明了符合弱逻辑关系的连续拟三角模算子是不存在的;给出了弱逻辑拟三角模算子的具体形式,给出了具体的四类弱逻辑关系的拟三角模算子,讨论了它们的性质,并进行了比较;定义了评价算子的边缘性测度和敏感性测度,对各算子进行了对比和评价.结果表明,文中给出的弱逻辑拟三角模算子可以在不同应用背景下,有效地处理不同类型的复合模糊命题真值运算,也可以在其它的模糊系统中有效处理多个模糊子集之间的聚集运算.    

6.  区分3种否定的模糊命题逻辑系统及其应用  
   潘正华《软件学报》,2014年第25卷第6期
   在模糊知识表示与推理中,否定信息扮演了一个重要角色.从概念层面上区分了模糊知识中存在的3 种否定关系,即矛盾否定关系、对立否定关系和中介否定关系.为了建立能够完全描述这些不同否定关系的逻辑基础,提出一种区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统FLCOM.讨论了FLCOM 特有的性质与意义,给出了FLCOM 的一种语义解释,并证明了可靠性定理.为了表明FLCOM 处理实际问题的适用性,进一步研究了FLCOM在一个模糊决策实例中的应用.具体地,基于FLCOM讨论了决策规则中的模糊命题及其不同否定的区分与形式表示,给出一种确定模糊命题及其不同否定的真值及其真值范围阈值的方法,并采用模糊产生式规则讨论了实例中的模糊推理与决策.从而表明,运用FLCOM 处理具有模糊性并且存在不同否定的实际问题是有效的.    

7.  基于条件熵的直觉模糊条件推理  
   陈昊  杨俊安  黄文静《电子与信息学报》,2009年第31卷第8期
   该文在利用隶属度和犹豫度计算直觉模糊逻辑命题真值的对称合成方法的基础上,提出了一种基于条件熵的直觉模糊条件推理新算法。将直觉模糊条件推理规则的前件和后件与决策信息系统的条件属性和决策属性等价起来,条件属性、决策属性和推理规则均视为直觉模糊命题,直觉模糊命题的真实程度转化成一种决策规则前件对后件的条件熵的度量,并给出了条件熵的范围,从而确定直觉模糊命题的真实程度的范围。    

8.  基于直觉模糊逻辑的近似推理方法  被引次数:39
   雷英杰  王宝树  路艳丽《控制与决策》,2006年第21卷第3期
   针对直觉模糊逻辑及命题演算,提出了利用隶属度和犹豫度计算直觉模糊逻辑命题真值的合成方法.给出了直觉模糊逻辑命题的运算规则,重点研究了基于直觉模糊逻辑的近似推理方法.该方法包括直觉模糊取式推理,直觉模糊拒武推理及直觉模糊假官推理.井推导了相关的推理合成运算公式.以具体算例验证和表明了所提出的推导方法的正确性和有效性,以及对方法进行验证的详细步骤.    

9.  直觉模糊条件推理与可信度传播  被引次数:9
   雷英杰  王宝树  王晶晶《电子与信息学报》,2006年第28卷第10期
   针对直觉模糊逻辑及命题演算,基于直觉指数所表征的中立证据中支持与反对的程度呈均衡状态的假设,提出利用隶属度与犹豫度计算直觉模糊逻辑命题真值的对称合成方法,给出直觉模糊逻辑命题的运算规则。重点研究了基于直觉模糊逻辑的条件推理方法,包括直觉模糊蕴涵式推理、条件式推理、多重式推理、多维式推理及多重多维式推理等;推导了相关的推理合成运算公式。针对带有可信度因子的直觉模糊逻辑推理,包括典型的、加权的及狭义的直觉模糊推理;分析了规则中的可信度因子传播对结论可信度的影响;给出了相关的计算结论真值的公式。    

10.  语言真值直觉模糊命题逻辑系统的推理规则  
   刘德山  殷明娥  邹丽《计算机工程与应用》,2011年第47卷第33期
   提出了一种基于语言真值直觉模糊代数的直觉模糊命题逻辑系统。基于语言真值格蕴涵代数生成语言真值直觉模糊代数,可同时处理具有可比性或不可比性信息。该方法可以同时处理不确定性问题的正面证据和反面证据。研究了语言真值直觉模糊命题逻辑系统LP(S)的性质,得到了其公理及推理规则,也获得了LP(S)中的证明与定理。实例说明,该方法在处理同时具有可比性和不可比性的直觉模糊决策问题中更灵活、更有效。    

11.  命题逻辑中的程度化方法  被引次数:32
   王国俊  宋建社《电子学报》,2006年第34卷第2期
    在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念,在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念.其次,基于演绎定理建立了程度化的近似推理理论.最后,提出了有限逻辑理论的相容度理论.    

12.  Lukasiewicz命题逻辑系统中真度的等价定义及相关性质  
   周建仁  吴洪博《工程数学学报》,2013年第30卷第4期
   对Lukasiewicz命题逻辑系统中的公式真度理论进行了研究.首先,给出了Lukasiewiczn值命题逻辑系统中一个更为直观的真度定义的等价形式;其次,利用真度定义的等价形式简化了连接Lukasiewiczn值命题逻辑系统和Lukasiewicz连续值命题逻辑系统中真度理论的极限定理的证明;第三,得到了真度性质:在Lukasiewicz逻辑系统中,把命题公式中的原子命题与该原子命题的否定互换,公式的真度不变;第四,讨论了真度与推理规则之间的关系,给出了Lukasiewicz命题逻辑系统中真度与MP规则的精确关系式以及关于真度并推理规则的结果.    

13.  ■ukasiewicz命题逻辑系统中有限命题集的约简理论  
   李立峰  张建科  冯 锋《计算机工程与应用》,2009年第45卷第7期
   在n值■ukasiewicz命题逻辑中提出了命题集Γ的约简理论,引入由命题集Γ所诱导的形式背景的概念,从Γ及其子集的关系出发给出了n值命题逻辑中有限命题集Γ约简的判定定理以及求Γ约简的方法。说明了无穷值■ukasiewicz命题逻辑中命题集Γ的约简可转化为n值情形。    

14.  (L)ukasiewicz命题逻辑系统中有限命题集的约简理论  
   李立峰  张建科  冯锋《计算机工程与应用》,2009年第45卷第7期
   在n值(L)ukasiewicz命题逻辑中提出了命题集T的约简理论,引入由命题集F所诱导的形式背景的概念,从T及其子集的关系出发给出了n值命题逻辑中有限命题集T约简的判定定理以及求T约简的方法.说明了无穷值(L)ukesiewicz命题逻辑中命题集T的约简可转化为n值情形.    

15.  系统L中τ(A→X)≥α型逻辑不等式的解问题  
   王廷明《计算机工程与应用》,2012年第48卷第16期
   二值命题逻辑L中τ(A→X)≥α型基于真度的逻辑不等式在二值命题逻辑系统L的近似推理研究中有着重要应用。通过F(Sn)中公式是逻辑不等式τ(A→X)≥α解的几个充要条件,给出了该逻辑不等式的解集表示及其按真度相等关系和逻辑等价关系的分类定理,得到了等价类的结构表示和等价类个数结论,为基于真度的逻辑不等式问题的进一步研究和应用提供结构性方法。    

16.  Gdel n值命题逻辑中命题的α-真度理论  
   李骏  王国俊《软件学报》,2007年第1期
   为了在n值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为n的均匀概率空间的无穷乘积,在n值G?del命题逻辑系统中引入命题的α-真度概念.证明了一般真度推理规则,给出了判定α-重言式的充分必要条件,并利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能.提出的程度化推理方法为近似推理的算法实现奠定了基础,并对知识推理的程度化有所启示.    

17.  G(o)del n值命题逻辑中命题的α-真度理论  被引次数:5
   李骏  王国俊《软件学报》,2007年第18卷第1期
   为了在n值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为n的均匀概率空间的无穷乘积,在n值G(o)del命题逻辑系统中引入命题的α-真度概念.证明了一般真度推理规则,给出了判定α-重言式的充分必要条件,并利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能.提出的程度化推理方法为近似推理的算法实现奠定了基础,并对知识推理的程度化有所启示.    

18.  G?del n值命题逻辑中命题的α-真度理论  被引次数:3
   李骏  王国俊《软件学报》,2007年第18卷第1期
   为了在n值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为n的均匀概率空间的无穷乘积,在n值G?del命题逻辑系统中引入命题的α-真度概念.证明了一般真度推理规则,给出了判定α-重言式的充分必要条件,并利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能.提出的程度化推理方法为近似推理的算法实现奠定了基础,并对知识推理的程度化有所启示.    

19.  n值逻辑系统MTL_n中命题的程度化方法  
   李 骏  王国俊  周 艳《计算机工程与应用》,2007年第43卷第21期
   基于均匀概率空间的无穷乘积,在n值命题逻辑系统MTLn中引入命题的α-真度概念,给出了一般真度推理规则;利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统MTLn中展开近似推理成为可能。    

20.  n值命题逻辑系统Ln*中有限命题集的相容性与约简  
   李立峰《计算机工程与应用》,2009年第45卷第13期
   设T为有限命题集,首先讨论了T在不同的n值命题逻辑系统Ln*中的相容性问题,提出了T的约简理论,从命题集T所诱导的多值形式背景出发,运用概念格的方法从T及其子集的关系出发给出了T约简的判定定理.    

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号