格值命题逻辑系统LP(X)的语义归结方法

为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。     

区间数结合算子模糊逻辑及λ—归结

（０，１）上的所有区间数作为一个结合算子格Ｌ１，本文在此格上建立了一种新的模糊逻辑系统ＩＯＦＬ，讨论了该逻辑系统的一些性质，范式表示及λ－归结等问题。     

一种S-蕴涵模糊逻辑系统的真度理论

利用计量逻辑学中真度理论的思想,首次对S-蕴涵的模糊逻辑系统的真度理论进行研究.在模糊逻辑与语义解释为乘积算子,蕴涵解释为其相应S-蕴涵的模糊逻辑系统中,借助逻辑公式A所诱导的函数引入逻辑公式A的积分真度概念,建立一种S-模糊逻辑系统下的真度理论,得到其真度推理规则.     

格值命题逻辑系统Ln ×2P(X)中广义文字的α-归结性

归结自动推理是人工智能领域的一个重要研究方向.以格蕴涵代数为真值域的格值逻辑中的α-归结方法提供了一种处理带有模糊性和不可比较性信息的自动推理问题的工具,能对格值逻辑系统的α-不可满足子句集给出反驳证明,用α-归结原理证明格值逻辑中广义子句集的α-不可满足性,必须首先研究两个广义文字是否可以进行α-归结.研究了格值逻辑...     

基于改进的无穷值语义解释的中介谓词逻辑的λ-归结

中介谓词逻辑系统MF的无穷值语义解释,反映了反对对立概念之间的可变过程,并且该解释不同于MF的其他任何语义解释。但在该无穷值语义解释下,"当A fuz时～A真"这种情况并未得到反映。在此基础上,进一步研究得到了中介谓词逻辑系统MF一种真值域为[0,1-λ)∪(1-λ,λ)∪(λ,1](λ∈(0.5,1))的无穷值语义解释,重新定义了MF的文字,给出了MF中λ-互补文字及弱无中介集的定义,提出了一种新的MF的λ-归结原理,并证明了其可靠性和完备性。在改进的MF的无穷值语义解释下,不仅较好的表达了"当A fuz时～A真"的情形,而且其λ值的确定,可根据一定的实例知识计算出来,具有客观性。该解释进一步表明用中介逻辑作为模糊知识的表示与推理的工具是可行的。     

直觉算子模糊逻辑中的蕴含及其归结原理

在直觉算子模糊逻辑系统中引进了(μ，v)-弱蕴含和(μ，v)-强蕴含的概念，探讨了它们的性质和联系，给出了关于(μ，v)-归结的完整的完备性定理．     

近似推理中模糊蕴涵算子的构造与选择

针对在基于合成推理规则(CRI)的近似推理研究中,模糊蕴涵算子的选择这一核心问题,对采用t-范数与t-余范数以及否定算子所构造的模糊蕴涵算子进行归纳,分为五类(t,S,R,QL和D蕴涵),为构造新的算子提供了强有力的依据;采用绝大多数模糊规则芯片中使用的CRI方法,依据广义取式推理与广义拒式推理中的12条模糊推理准则对分类后的模糊蕴涵算子进行实际的逻辑推演,通过对逻辑推演中实例数据和推演结果的分析,给出选择模糊蕴涵算子的参考依据.     

上下文相关模糊逻辑系统及其归结方法

提出了一种基于Kripke语义结构的上下文相关模糊命题逻辑系统 ,该逻辑系统中命题的真值是不惟一的 ,它依赖于可能世界W中的个体 .文中还定义了逻辑联结词的运算和公式的语义模型 .最后研究该逻辑系统中的归结方法 .     

布尔算子Fuzzy逻辑公式的λ－恒假性

在布尔算子Ｆｕｚｚｙ逻辑中证明了任意公式Ｇ是λ－恒假的，当且仅当Ｇ所对应的子句集Ｓ是λ－恒假的。进而有子句集Ｓ是λ－恒假的，当且仅当Ｓ在其所有Ｈｅｒｂｒａｎｄ解释下是λ－恒假的，从而保证了在布尔算子Ｆｕｚｚｙ逻辑中施行归结的正确性．     

直觉算子模糊命题逻辑系统中的归结方法

对直觉算子模糊逻辑(记为IOFL)系统给出初步解释,给出了复杂字(μ,v)-互补及(μ,v)-相似的概念,对(μ,v)-归结演绎作进一步探讨,并讨论了(μ,v)-归结在实例中的应用．