极小蕴涵和析取范式表示

析取范式的极小表示是命题逻辑和计算机科学理论中的一个重要问题．本文研究了在若干极小标准下的蕴涵和析取范式表示的一些性质,并阐述了极小蕴涵和极小析取范式表示在模型检测中的应用．     

偏序集上关联蕴涵代数的性质

偏序集上的蕴涵代数是取值于偏序集上的逻辑蕴涵联结词的一种代数抽象．在偏序集关联蕴涵代数概念的基础上，本文对其性质进行了一定的讨论，给出了它与其它逻辑代数结构间的关系．     

一个新的直觉模糊蕴涵算子

在直觉模糊集理论基础上,结合模糊蕴涵的概念,构造了一个新的蕴涵算子,证明了该算子满足边界性、正则性、单调性等一些重要性质.在此基础上,证明了该蕴涵算子和直觉模糊交运算可构成直觉模糊剩余格.     

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

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

伪格蕴涵代数

为智能信息处理、人工智能理论提供一个可靠的逻辑基础,特别是含有模糊性和不可比较性的不确定性信息处理,提出了一类伪逻辑代数——伪格蕴涵代数,它是格蕴涵代数的非交换推广.详细地探讨了伪格蕴涵代数的基本性质,给出了伪格蕴涵代数的等价特征.     

正规统计缺省扩充的证明

讨论了带有误差参数的统计缺省理论．引入了闭正规统计缺省概念，指出存在正规统计缺省理论没有在ε内的统计扩充，但在添加封闭性后每个正规闭统计缺省理论都有扩充．证明了半单调性和正交性等基本性质，对闭正规统计缺省理论的证明作了研究，论证了在一定条件下序列的存在性蕴涵统计扩充的存在性，给出了相容正规缺省理论扩充存在的充要条件．     

解释非单调推理

本书是《逻辑进展丛书》的第4卷。在非单调和常识推理领域中的许多方法实际上是对相同基本概念与结构的不同表示。正如本书作者于2001年出版的前一本书那样，这本研究论文试图系统地回答“什么是非单调推理？”这个问题，它是对作者前一本书的补充，给出了非单调推理原始方法的逻辑形式化。非单调推理包括默认逻辑、自认识和模态、非单调逻辑以及编程。作者把这种方法称为解释非单调逻辑，这是因为解释的概念可以被看作为这些非单调形式方法背后的最终以及统一的基础。     

一个求解权互补问题的光滑型算法

最近,一类由互补问题延伸而来的权互补问题被引入和研究,它是标准互补问题的推广.本文延伸一个求解单调互补问题的光滑型算法来解决单调权互补问题,并且在弱条件的假设下证明算法的全局收敛性.最后给出的初步的数值结果也证明了延伸的算法对于解决单调权互补问题是有效的.     

基于三值语义的非单调逻辑

本文给出一种三值非单调逻辑形式，它一方面可推广标准非单调逻辑到三值情形，另一方面它能捕捉各种非单调逻辑作为特殊形式，特别地，我们证明了三值非单调逻辑与模态非单调逻辑具有密切的关系．     

一种新的直觉模糊伪S-蕴涵

直觉模糊集在模糊推理、模糊评价、模糊控制和模糊决策中有很重要的应用,直觉模糊集的蕴涵构造研究是一个重要研究方向.在直觉模糊集理论基础之上,构造了一新的直觉模糊伪S-蕴涵,证明了其单调性、边界条件等系列重要性质,还讨论该蕴涵的一些代数性质.     

带有约束的缺省逻辑

提出了一种改进缺省逻辑的方法，讨论了这种缺省理论的性质，证明了每个缺省理论都有扩充，具有半单调性和累积性，并讨论了处理多扩充问题的一种方法．     

Multi-agent Belief, Goal and Exceptions Reasoning

Temporal logics are often adopted as basic tools to specifying mental states such as belief and goal of agents. Althoush there are works on non-monotonic extension of linear temporal logic (LTL) and branching time temporal logic (CTL), the non-monotonic extension of alternating-time temporal logic (ATL) which is an important kind of multi-agent cooperation logics has not been discussed yet in literature. To solve this problem, this paper proposed non-monotonic alternating-time temporal logic with belief and goal, namely N-ATL-BG, to facilitate the non-monotonic reasoning of mental states of agents. The semantic model, syntax and semantics of this new logic are developed. A model checking algorithm which can be finished in polynomial time is proposed for this new logic. Examples are given to show its usage.     

A new research on auto compatible default theory

Ｅｘｔｅｎｓｉｏｎｉｓｔｈｅｍｏｓｔｉｍｐｏｒｔａｎｔｃｏｎｃｅｐｔｉｎｄｅｆａｕｌｔｌｏｇｉｃ．Ｒｅｉｔｅｒｈａｄｍａｄｅｓｏｍｅｒｅｓｅａｒｃｈｏｎｔｈｅｓｐｅｃｉａｌｋｉｎｄｏｆｄｅｆａｕｌｔｌｏｇｉｃ,ｔｈａｔｉｓｎｏｒｍａｌｄｅｆａｕｌｔｌ...     

带模理论的回答集程序设计

基于回答集语义的逻辑程序（ASP）是一种描述性问题求解的典范，目前人们提出了各种ASP的扩张。本文提出带背景理论的回答集程序设计框架，它不仅是正规逻辑程序的一般化，对带聚合函数的ASP而言，也与SPT—PDB的回答集语义一致。经证明，当背景理论是命题逻辑时，该框架与Shen和You提出的方法一致。     

New Development of the Basic Theory of Extenics

1Preface　Extenicshasbeeningreatprogress.Thegreatprogresswasmadeinbothbasictheoryandapplicatoryresearch .Theunderstandingofthebasicconceptionsandtheoreticalframehasgonefurtheraswell.Soitishightimetosummarizewhathasbeendone .　Withitsestablishmentanddevelopment ,anysubjectwillbemoreandmoreperfectandaccurate .Inrecentyears,thetendencyofbasicconceptionsandbasictheoriesofExtenicsistobeprecise .Itsymbolizesthematurityofthesubject.Soitisnecessarytosumuptheseachievementsintimeforthefurtherdevelopme…     

用分层ATMS实现缺省逻辑

Ｒｅｌｉｅｒ的缺省逻辑存在着局限性．它无法表示缺省规则之间的优先级，无法处理缺省规则中析取，并且不满足累积性．虽然Ｂｒｅｗｋａ提出带优先级的缺省逻辑和累积缺省逻辑，但不能完全克服上述局限性．本文介绍了分层ＡＴＭＳ，然后指出用分层ＡＴＭＳ实现的缺省逻辑能克服现有缺省逻辑中的局限性．     

New Develoopment of the Basic Theory of Extenics

In this paper,the new development of three basic theories of Extenics,incluing basic-element theory,extension set theory and extension logic theory ,has been introduced.And the new theoretical frame of Extenics has also been set forth.     

扩展主观逻辑的粗化与细化

为了提高主观逻辑的扩展性和灵活性,文中结合证据理论及信任结构,提出了基于三项事件的扩展主观逻辑.通过重新定义观念空间与事实空间之间的映射关系,给出扩展主观逻辑的粗化和细化映射及相应的计算规则,扩展主观逻辑能够根据实际环境的需要提供不同详细程度的识别框架,并利用粗化和细化映射在扩展主观逻辑上统一对信任函数进行结合,而结果可重新映射回原识别框架.实例及分析表明,利用扩展主观逻辑可以解决不同识别框架之间信任信息的融合问题.     

缺省模态逻辑

本文在Ｒｉｅｔｅｒ１９８０年提出的缺少逻辑的基础上，将缺少条件视为获取知识的背景知识与所得到的知识同等地加以考虑，提出了一种缺少逻辑。它是一种非单调逻辑，并且具有在Ｒｅｉｔｅｒ的系统中所不能保证的两个重要性质；扩充的存在性和非单调性。     

不完全信息下的溯因诊断

研究缺省逻辑表示下的溯因框架,给出一种基于规则的命题逻辑缺省溯因诊断的求解方法