布尔算子Fuzzy逻辑中的锁归结原理

本文将一阶逻辑中的锁归结方法和广义锁归结方法推广到布尔算子Ｆｕｚｚｙ逻辑中，并且证明了布尔算子Ｆｕｚｚｙ逻辑的锁归结方法和一种特殊的广义锁归结方法是广义完备的。     

一种新的广义半锁归结

本文提出了对配锁方式不加限制的广义半锁归结方法,并证明了它在一阶逻辑中的完备性.     

布尔算子Fuzzy逻辑中归结的广义完备性

本文在布尔算子Ｆｕｚｚｙ逻辑中引入公式的恒假水平的概念，证明了归结原理在定性和定量这两种度量意义下的广义完备性。     

直觉模糊逻辑的（α,β）-广义锁归结方法

归结方法是定理自动证明的重要工具。为了简化直觉模糊命题逻辑的归结过程,基于直觉模糊命题逻辑归结原理的一般形式,提出了子句(αβ)-可满足和(αβ)-归结式的概念。研究了广义子句与其归结式的可满足性。在直觉模糊命题逻辑系统中给广义子句配锁,规定在做归结时各子句中被消去文字在该子句中的序号最小,由此建立了(αβ)-广义锁归结方法,并证明了该方法的可靠性和完备性。给出了直觉模糊逻辑的广义锁归结算法步骤,并通过实例说明了该方法的有效性。     

基于算子模糊逻辑的不确定程度计算

本文提出并比较了在信度语义下，计算算子模糊逻辑中公式（集）模糊程度的3种方法——归结法、广义归结法和TABLEAU方法．     

广义λ—调解

本文提出了算子模糊逻辑中的广义λ－调解方法，证明了它和广义λ－归结的联合使用，对于λＥ－不可满足广义子句集是完备的。     

广义λ－调解

本文提出了算子模糊逻辑中的广义λ－调解方法，证明了它和广义λ－归结的联合使用，对于λＥ－不可满足广义子句集是完备的．     

基于算子模糊的不确定程度计算

本文提出并比较了在信度语义下，计算算子模糊逻辑中公式（集）模糊程度的３种方法－－归结法、广义归结法和ＴＡＢＬＥＡＵ方法。     

删除策略的相容性

本文给出关于删除策略相容性的几个结果，对相同谓词符号配用锁的子句集，锁归结和删除策略联用完备，对正文字锁大于负文字锁的Ｈｏｒｎ集，正单元锁归和删降策略联用完备，输入锁结与删除策略联用完备，配锁Ｈｏｒｎ集上输入半锁归结和删除联用完备的，标准Ｈｏｒｎ集上正单元强有序归结和删除策略联用完备，强有序输入归结和删除策略联用完备。     

粒计算研究现状及基于Rough逻辑语义的粒计算研究

综述了粒计算的提出背景、研究现状及其发展趋势,也给出了作者的评论;论述了粒计算应用的广泛性,包括AI中的图像检索、医学诊疗系统、连续数学中的积分学及其它许多逻辑推理等方面的应用.讨论了粒计算将有希望成为处理信息和研究其它学科的理论工具和方法学.讨论了粒计算中基于Rough逻辑语义的粒及其相关性质,建立了这种粒的演绎推理.提出了基于Rough逻辑语义的粒归结原理和归结策略,包括λ-归结策略和锁归结策略.证明了这种粒归结的完全性.基于Rough逻辑语义的粒在AI的问题求解、专家系统以及机器定理证明中都将成为一种新的研究思想和新的理论工具.最后,提出了这种基于Rough逻辑语义的粒计算研究前景.