一个MC逻辑及其逻辑程序的语义

本文定义了一个多ｃｏｎｔｅｘｔ逻辑结构。ＭＣＯ在几个方面推广了传统的一阶逻辑：每个ｃｏｎｔｅｘｔ相关一个理论；Ｃｏｎｔｅｘｔ间存在ｏｕｔｅｒ关系；     

超协调逻辑（Ⅳ）—非单调超协调逻辑研究

这是关于超协调逻辑研究的末篇，文中分析了超协调逻辑与非单调逻辑的关系，并提出非单调超协调逻辑作为一种新的逻辑研究及其在形式化常识推理中的重要意义，最后，讨论了超协调逻辑的应用，特别是非单调超协调逻辑在计算机科学与人工智能中的应用问题。     

常识问题——常识推理的逻辑基础

本文主要讨论常识推理的逻辑基础，基于一条从非单调推理到常识推理的技术途径，由此指出在更一般意义上形式化常识推是的一些结果，它建立常识逻辑和解决常识问题提供了有用的基础工具。     

简单单调约束逻辑程序的良基语义研究

在介绍约束逻辑程序的相关概念的基础上,研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法,并证明展开后的正规逻辑约束与约束逻辑程序的等价特性.分析了正规逻辑程序的交替不动点良基模型建立的原理,将简单单调约束逻辑程序等价展开为与其等价的正规逻辑程序,以求展开后的逻辑程序中的给定算子的最小不动点为切入,给出了简单单调约束逻辑程序的交替不动点的良基模型.论证了文中提出的简单单调约束逻辑程序良基模型定义的合理性,说明把约束逻辑程序转化为正规逻辑程序是可行的.     

演绎数据库和逻辑程序中的否定

演绎数据库是数据库技术发展的重要方向之一。Datolog是典型的演绎数据库语言,实质上是不带函词的一阶Horn子句语言,在演绎数据库中充当着查询语言和知识表示语言的双重角色.在理论基础方面,演绎数据库和逻辑程序有许多共同之处,都是荃于一阶谓词逻辑的.     

经验逻辑：一种非单调逻辑的统一形式

人的常识推理是一种充满经验性知识的累积过程,而经验推理具有非单调性。本文提出一种关于典型与例外的经验逻辑,特别研究它的非单调性,它提供了一个现存的主要非单调逻辑的统一基础,这是通过一种类似的规则把它们翻译成经验逻辑获得的。因此,经验逻辑给出了一类更一般而且直观的非单调推理形式。     

基于信度语义的算子模糊逻辑

本文在算子集与值域不同的算子格上，基于信度语义定义了一种归结推理更自然、具有结合性的算子模糊逻辑ＢＡＯＦＬ及一种语义有层次性的，非单调的算子模糊逻辑ＮＭＯＦＬ。     

基于非单调逻辑的自适应BDI模型

由于Agent直接与现实世界发生交互作用，设计者难以事先预料所有可能出现的环境状况并一一规定恰当的处理方法，Agent往往不能产生恰当的行为，从而可能导致问题求解失败。本文结合BDI模型和非单调逻辑的优点，引入了可能信念概念和信念维护算子，表达了Agent和动态环境之阃的互动关系;引入Agent价值概念和行为规划算子，表达了期 期望和意图之间的动态约束关系，很好地解决了Agent在非预期环境中的适应性问题。     

逻辑程序的语义问题 I

文明性语义是逻辑程序研究的重要内容，也是其作为说明性程序的基本特征。近年来由于人们对带否定前提了一般逻辑程序设计的关注，以及逻辑程序与非单调推理的结合，逻辑程序的语义研究出现了许多新结果。本文以早期的Ｃｌａｒｋ语义和最小模型语义为起点，介绍这些新发展的部分内容，主要包括Ｃｌａｒｋ语义的Ｆｉｔｔｉｎｇ３－值扩充，理想模型语义，稳定模型语义，良基模型语义以及它们之间的关系，并在此基础上进一步讨论了说明     

f-SHOIQN:一种模糊非单调描述逻辑

针对描述逻辑无法表示语义网中模糊和非单调知识的问题,在模糊描述逻辑f-SHOIQ基础上增加弱否定构造算子,提出模糊非单调的描述逻辑f-SHOIQ_N。使用弱否定标记模糊非单调原子概念,进而表示模糊非单调规则。将模糊非单调规则引入模糊描述逻辑f-SHOIQ,用来表示模糊和非单调知识。构建f-SHOIQ_N的知识库,给出该知识库中模糊非单调知识和模糊单调知识处理方式。为处理模糊非单调知识库中规则的竞争并满足描述逻辑中概念包含、相等的问题,提出f-SHOIQ_N中竞争规则的优先级判定算法。分析f-SHOIQ_N具有的性质,并给出相关证明。     

知识的非单调处理

演绎逻辑对人类认识世界的处理是单调的,但是在这种基础上建立起来的推理系统与人类对客观世界的认识过程往往是不一致的。非单调逻辑及其推理系统为我们有效地处理人类认识的不完全性提供了一个颇有前途的理论工具。本文简要介绍非单调逻辑的基本问题,并着重讨论三种基本的也是重要的非单调推理形式,即缺省逻辑、模态逻辑和约束推理。     

逻辑程序的语义问题（Ⅱ）

下面几节讨论模型论途径的说明语义,可以克服Clark语义的上述缺点。 4.最小模型语义最小模型语义仅适合于正逻辑程序。我们非常熟悉的基于Horn逻辑的Prolog程序采用这种语义规则。为了更好地理解逻辑程序的模型语义的新发展,这里首先考虑最小模型语义。本节仅涉及2-值解释。     

非单调性和不一致性的处理——一个基于线性逻辑的方法

本文提出一种基于线性逻辑的理论L1,它除了能较好地反映常识推理的非单调性外,还可以在矛盾存在的情况下继续组织有效的推理。     

一个面向安全协议分析的非单调逻辑

本文提出一种对安全协议进行分析的非单调逻辑。使用知识集描述已知的断言,使用信念描述安全协议系统的默认判断,通过推理和非单调的信念维护,可以验证安全协议的安全性。     

关于三值逻辑程序中否定和蕴涵完备化程序的不动点语义

逻辑程序具有丰富的表达能力和非确定性等特点,在定理机器证明、关系数据库系统、程序验证、模块化程序设计和非单调推理等方面都有了广泛的应用。本文是继续文[8]的工作。首先通过两个反例,指出了文[7]中关于否定完备化程序Comp（→,Pr）和蕴涵完备化程序Comp（→,Pr）的两个重要定理都存在一定程度的错误。然后对这两个定理进行了修改,用后继算予Tpt和Fitting算予FPr的不动点语义,分别给出了否定完备化程序（Somp（→,Pr）和蕴涵完备化程序Comp（→,Pr）的Herbrand模型的充分条件和必要条件,这将在逻辑程序的最优不动点和最小不动点的语义研究中有着重要的应用价值。     

一个在费协调逻辑中的限制

本通过应用限制到一个费协调逻辑给出一种费协调限制，费协调限制是一种费协调非单调逻辑，它能被极小化语义所刻划，并具有两方面优点：非单调逻辑在包含矛盾时是不平凡的；费协调逻辑在矛盾没有影响时等介于经典逻辑。