直觉模糊逻辑算子的研究

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

直觉模糊逻辑"与"、"或"算子的研究

在直觉模糊集定义及模糊逻辑“与”、“或”算子的基础上 ,利用 F -格的序关系 ,研究了直觉模糊逻辑“与”、“或”算子 .给出了直觉模糊逻辑 t-范及 t-余范的定义 ,同时给出了两种新型直觉模糊逻辑“与”、“或”算子 ,探讨了直觉模糊逻辑“与”、“或”算子的 t-范及 t-余范所具有的性质 .拓广了模糊逻辑中关于生成子的概念 ,给出了阿基米德直觉t-范及 t-余范的表现定理 ,并对不同算子分别进行了研究 .     

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

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

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

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

直觉模糊推理的语义匹配度

首先引用Atanassov直觉模糊集的基本概念及运算，描述了直觉模糊逻辑运算及其知识表示形式，重点给出了直觉模糊逻辑命题真值的对称合成方法，定义了直觉模糊逻辑命题的基本运算。讨论了计算直觉模糊集语义匹配度的若干途径，包括贴近度、语义距离、相似度、复合条件的匹配等。最后，阐明了直觉模糊推理冲突消解的基本思想。     

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

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

一种算子模糊逻辑系统

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

直觉区间值模糊逻辑算子

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

基于原子偏好理论的直觉模糊偏好成因分析

Atanassov在Zadeh的基础上提出了直觉模糊集,把选择中行动主体的模糊偏好分为三个组成部分:隶属度、非隶属度和犹豫度。这一分析方法较为贴近行动主体的实际选择。然而直觉模糊偏好何以能够形成,是直觉模糊理论所需要研究的基本问题。原子偏好基于逻辑原子主义思想而提出,通过原子偏好建构偏好的过程,就是行动主体形成事物间偏好关系的过程。直觉模糊偏好之所以能够形成,根本的原因在于形成行动主体的原子偏好中,有些是不可比较性原子偏好。     

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

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

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

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

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

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

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

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

一种基于超连接的一阶逻辑反演推理算法

研究一种一阶谓词逻辑公式的反演求证算法,它是应用超连接过程来处理子句集的消解的,该算法具有比Ｒｏｂｉｎｓｏｎ的传统消解方法更高的效率．以一个实例讨论了该算法的应用,结果表明此算法可以保证在预定义的相关边界内,对任意一阶逻辑的推理具有终止性     

格型模糊谓词逻辑与推理

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

广义RUE-NRF归结

本文将RUE-NRF归结使用在广义子句集上,提出了广义RUE-NRF归结方法,并证明了这一方法对于一阶逻辑的完备性;将1型、2型删除策略引入广义RUE-NRF归结.     

SLDNF-归结原理关于模态语义的完备性

Ｂａｒａｔｅｌｌａ定义了正规谓词逻辑程序的模态完全化语义,并证明了该语义关于ＳＬＤＮＦ－归结的部分完备性。本文首先给出了逻辑程序的模态直承算子,并研究了相关的理论性质,进而证明了模态完全化语义关于ＳＬＤＮＦ－归结的完备性。     

An approach for handling conflicts in authorization

Based on logic programs, authorization conflicts and resolution strategies are analyzed through the explanation of some examples on the health care sector. A resolution scheme for handling conflicts in high level authorization specification by using logic program with ordered disjunction （LPOD） is proposed. The scheme is useful for solving conflicts resulted from combining positive and negative authorization, complexity of authorization management, and less clarity of the specification. It can well specify kinds of conflicts （such as exceptional conflicts, potential conflicts）, and is based on literals and dependent contexts. Thus it is expressive and available. It is shown that authorizations based on rules LPOD is very important both in theory and practice.     

关于Cialdea一阶模态归结系统

指出了Ｃｉａｌｄｅａ一阶模态逻辑归结系统是不完备的．为了确保推理系统的完备性，给出了Ｃｉａｌｄｅａ系统的两种修正方法．