布尔算子模糊逻辑中的广义半锁归结原理

大量冗余子句的产生是导致归结方法低效率的根本原因。锁策略通过对子句集中的原子进行配锁,限制某此子旬间的归结以减少无用子句的产生,从而能够提高归结方法的效率。在布尔算子模糊逻辑中,当相同谓词符号配相同锁时,广义锁归结方法是广义完备的。如果对配锁方式不加任何限制,则广义半锁归结方法是广义完备的。     

形式布尔算子的命题逻辑

在定量的意义下使模糊命题演算完全包容经典命题逻辑是不可能的。布尔算子命题逻辑用算子和算子的演算定性地描述和处理模糊命题的不确定性，将经典命题逻辑作为其特例。在布尔算子命题逻辑中给出了其公理系统和求公式恒真水平的机械推导算法。     

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

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

一种算子模糊逻辑系统

建立了一种带模糊文字以及模糊算子的算子模糊逻辑系统,讨论了该逻辑系统逻辑性质．在算子模糊逻辑系统中,定义了λ-归结,证明了λ-归结的相容性以及基于λ-归结的归结推理的完备性,为基于逻辑的不确定性推理提供了新的思路与方法．     

直觉区间值模糊逻辑算子

首先提出了用直觉区间值去表示命题的真值;然后定义了直觉区间值模糊逻辑上的算子－补,t-范、t－余范和蕴函算子,并讨论了它们与I[0,1]及[0,1]上的相应算子的内在联系,指出它们可用I[0,1]及[０,１]上相应逻辑算子表示。     

广义λ-归结中的删除策略

本文在广义λ-归结方法中引进删除策略,讨论了λ-蕴涵的若干性质,并证明:以λ-蕴涵为基础的删除策略不破坏广义λ-归结方法的完备性.     

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

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

直觉模糊逻辑中的归结原理

在模糊逻辑归结原理的基础上，用（０，１）中的两个实数表示一个命题“真的程度”和“假的程度”，从而提出了直觉模糊逻辑，本文提出直觉模糊逻辑的归结原理，并证明其完备性。     

对算子模糊逻辑的拓展讨论

在算子模糊逻辑的基础上，定义了直觉算子模糊逻辑，并对它的性质进行了讨论。     

直觉模糊逻辑“蕴涵”算子的研究

给出了直觉模糊逻辑“蕴涵”算子的定义,并对它的性质做了较为系统的研究。     

基于8种常用蕴涵算子上的模糊布尔代数

在文献[1]的基础上,利用不等式的刻画方法,给出8种常用的R-蕴涵算子下的R-模糊布尔代数的8种等价形式,推广了现有相应模糊代数的结果,丰富了模糊代数的理论成果。     

格型模糊谓词逻辑与推理

本文研究真值取在布尔格上的模糊逻辑与推理。讨论了布尔格的结构性质及其构造、模糊语言的格型模糊谓词逻辑描述和消解法模糊推理。     

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

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

模糊逻辑与模糊控制中的理想蕴涵

模糊推理是模糊控制的主要理论基础 ,而模糊推理的重要研究方向之一是对蕴涵算子的研究 ,包括蕴涵算子的构造、性质分析、特征研究及其应用等 .在文中通过对常用的 1 0个蕴涵算子及1 6个限制性质的综合分析 ,提出了一类新的蕴涵算子——理想蕴涵 ,这类蕴涵包括了一些重要的蕴涵算子 ,如 ,Lukasiewicz蕴涵 ,R0 蕴涵等 .通过对理想蕴涵的进一步研究 ,给出了它们的一系列重要性质 ,得到了这类蕴涵的一组简洁的限制条件 ,讨论了这些条件的合理性 ,并通过几个反例证明了这些条件之间的独立性 ,从而为模糊控制与模糊推理提供了一类具有较好性质的蕴涵算子     

含参量蕴涵算子及其性质

给出一类含参量蕴涵算子,它将常见的三种蕴涵算子Lukasiewicz算子、R0算子及Godel算子包含其中,此外,还讨论了该类蕴涵算子的性质。     

模糊边界算子

改进了R.H.Warren边界算子的定义,证明了著β是一个模糊边界算子,则β能产生模糊拓扑■,使得对任意模糊集合A,均有β(A)=b(A),其中b(A)表示在模糊拓扑■中模糊集合A的模糊边界。     

不确定性在推理过程中传播的行为特征

在布尔算子模糊逻辑中，证明了前提的不确定性在推理过程向结论传播时，恒真水平呈递增趋势，而恒假水平保持不变的特性，从而在定性的意义上说明了随着推理过程的深入，结论的不确定性将会越来越分明，但其可靠性不可能有根本性的提高。