一类非单调信赖域算法

给出了一类新的非单调信赖域算法，且证明了算法的全局收敛性和在适当条件下的超线性收敛性．     

缺省模态逻辑

本文在Reiter 1980年提出的缺省逻辑的基础上,将缺省条件视为获取知识的背景知识与所得到的知识同等地加以考虑,提出了一种缺省模态逻辑。它是一种非单调逻辑,并且具有在Reiter的系统中所不能保证的两个重要性质:扩充的存在性和非单调性,然后通过知识从其背景中分离出来的方法,给出了一个缺省理论扩充的概念,它是Reiter的扩充概念的一种推广。     

渐近实现非单调推理(英文)

我们提出了基于枚举函数的R-重构的概念,从语义和语法方面刻画了它的重要性质。特别,我们证明了这类R-重构是ω-递归可枚举集合,从而为非单调推理的渐近实现提供了一可能的途径。     

广告语用推理研究

本文反驳了“广告诉诸于情感,无逻辑可言”这一流行的观点。广告中的隐含信息是遵守逻辑的。在会话准则的指导下,运用少许非单调逻辑知识,可以正确地推理出这些信息来。     

演绎框架下实现归纳推理的一种设想

本文研究了一般归纳推理与非单调推理的合理性问题。借助于归纳推理的局部合理性推论,本文修正了常见非单调逻辑的推理模式,从而提出了一种新的在演绎框架下实现归纳推理的形式方法。     

多主体自认知逻辑系统

认知逻辑处理的是关于知识和信念等认知概念的逻辑性质和关系的问题,多主体的自认知逻辑系统,是在单主体唯一知道逻辑系统的基础上进行的扩充。现将单主体的K45系统扩充为多主体的K45n系统,并介绍了该系统的语法规则和稳定集以及典范模型的语义和证明理论,同时也对该系统的可靠性和完全性进行了证明。