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

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

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

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

算子模糊命题逻辑中公式恒真恒假水平的模型

为了在模糊推理中求得公式为真程度的下界和上界,算子模糊逻辑显示使用[0,1]区间中的实数作为算子描述模糊命题的可信程度,其公式的语义值可以在公式的恒真水平和恒假水平之间变动。基于算子模糊命题逻辑,证明了任意公式在二值解释的意义下都可以转化成与之等值的合取范式和析取范式,并根据公式的合取范式或析取范式给出了公式恒真水平和恒假水平模型的生成方法。公式的恒真水平和恒假水平在根本上决定了公式的语义性质,其模型给出了公式在何时达到其最小和最大语义值的一个解答。     

形式布尔算子的命题逻辑

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

基于带Fuzzy壳Boole代数和修正的Gaines—Rescher？…

建立了一种基于带Ｆｕｚｚｙ壳Ｂｏｏｌｅ代数和修正的Ｇａｉｎｅｓ－Ｒｅｓｃｈｅｒ蕴涵算子的险象识别逻辑，并对这种逻辑进行了语义方面的研究，获得若干结果。特别是，在这种逻辑中笔者发现α－ＨＳ规则和α－ＭＰ规则对每个α都无条件地成立。     

布尔算子模糊逻辑中的删除策略

大量冗余子句的产生是导致归结方法低效率的根本原因。在布尔算子模糊逻辑中施行归结时，使用删除策略能够在水平浸透的过程中减少无用子句的产生，并且不牺牲归结的广义完备性，从而更快地示得子句集的恒假水平。     

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

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

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

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

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

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

直觉模糊逻辑算子的研究

给出了直觉模糊逻辑“补”、“与”、“或”及“蕴涵”算子的定义，并利用区间值模糊集与直觉模糊集之间的关系，给出了利用经典的模糊逻辑算子构造直觉模糊逻辑算子的三个定理。从而得到了构造直觉逻辑算子的新方法，这种方法无需验证其运算的封闭性，因而简单易行。文中用此方法构造出了一系列新的直觉模糊逻辑“补”、“与”、“或”及“蕴函”算子，将K.Atanassov最早提出的直觉逻辑模糊逻辑算子推广到了更一般情形。     

基于CRI算法的蕴涵算子族LλOλG模糊系统

针对蕴涵算子族LλOλG,首先讨论了基于CRI算法的模糊系统及其响应性能,结果表明,蕴涵算子族LλOλG模糊系统只具有阶跃输出能力,不具有函数逼近泛性;其次揭示了蕴涵算子族LλOλG模糊系统的概率意义,给出了其概率分布,它有充当模糊系统"系统内核"的作用.     

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

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

由S-λ导生的一种新的逼近算子

根据幂级数导生的概率型算子（即PPA算子）的构造规律，利用导源函数S（x）和扩充因子λ（x)的不同配对方法，构造出一种新的PPA算子，系统给出它的收敛性、逼近度量化估计、渐近公式及饱和性质，并给出它较一般的推广形式。     

Zadeh—Fuzzy闭包算子的规范扩张

给出了一种由经典闭包算子生成Zadeh-Fuzzy闭包算子的方法,并讨论了经典闭包算子与Fuzzy闭包算子之间的密切联系。     

Smoothf—Fuzzy拓扑空间的内部算子

在Smoothf-Fuzzy拓扑空间上给出了内部和内部算子的概念并讨论它们的性质。     

基于模糊随机集的λ-截集的粗糙近似算子

在模糊随机近似空间里,以模糊集的λ截集为桥梁,定义了一种新的粗糙近似算子,从随机变量和λ截集两个角度出发对近似算子进行了深入的研究,同时根据描述系统的不同指标的论域和量纲差异(可结合模糊随机变量的期望)对模型进行了再一次的扩展.     

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

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

直觉模糊逻辑算子组与经典算子组之间的关系

文献[1]对经典模糊逻辑“非”、“与”、“或”及“蕴涵”算子进行了系统的研究。文[2]、[3],[4]分别给出了直觉模糊逻辑“非”、“与”、“或”及“蕴涵”算子的定义,并讨论了它们的性质.从而使经典模糊逻辑算子的概念及性质得到进一步的推广。本文在此基础上从代数的观点来讨论 直觉模糊逻辑算子组（D,T,┴,φ,h）与经典模糊逻辑算子组（[0,1],T, ┴,φ,h）之间的关系。