非单调推理的研究现状

一、引言 早在1959年,McCart~[1]就发现常识和常识推理很难处理,因为在常识推理中当前得出的结论,可能会由于以后新事实的加入而被取消.这就是所谓的“非单调性”。     

基于非单调推理的领域专家知识库的研究

1.知识表示及推理概况知识库在人工智能研究中占有重要地位。Gins-berg等人介绍了多种知识库更新方法,其中一类是基于模型的方法,一类是基于公式的方法,但所有这些方法在通常情况下都是难解的(intractable)。对基于模型的方法,Eiter指出,当知识库是Horn公式的集合,新知识是Horn公式且长度有一常数上界时,存在多项式时间算法。马绍汉提出一类树型知识库的更新算法,在树型的束图智能方式表示下,该算法通过一个自底向上的过程,得到更新后的知识库。确定推理的研究是基于经典的二值逻辑,因而,具有相当牢固的基础,而不确定推理的研究却是另一种情形。不确定推理的基础比确定推理的基础要弱得多。到目前为止,甚至还没有获得人们普遍接受的基础。不确定推理面对下面几个问题:(1)如何正确地、定性地刻画一个命题的不确定性?(2)如何适当地度量一个命题的不确定性?     

基于标记逻辑的非单调推理（I）

我们把标记逻辑定义在一个特殊双格上，通过比较标记选取结论，从而同时捕捉超协调（容错）推理和非单调推理，本文介绍标记逻辑程序的句法与语义构造，提出诱导序列及其极限的概念，给出极限存在的等价条件，并证明一个重要结果，诱导序列基本定理，它是后续讨论的基础。     

基于论辩的Agent非单调推理

现有的Agent信念修正、慎思、手段-目的推理等理论和方法大多基于经典一阶逻辑,对不完全的、不一致的知识,缺乏有效的处理机制。基于论辩的Agent非单调推理(包括认识推理和实践推理)理论和方法有望弥补这个不足。不过,作为一个新的研究方向,其基本概念、理论、方法及存在的关键性问题尚有待于澄清和梳理。文中首先介绍论辩的基本概念。在此基础上,分析基于论辩的Agent非单调推理的最新研究进展。最后,讨论存在的关键性问题并指出可能的研究方向。     

非单调推理的三大特征

本文论述了尽管各种非调推理模式在形式表达方面，在语义解释方面都有不同的体现，但非单调推理在相当层次上具备如下三个特征：一是一般我们所理解的非单调性；二是知识增长的不确定性和认识的容错性；最后如何非要坚持正确性和完全性，便是非单调计算的困难性，一般是半不可判定的。     

关于非单调推理中的择优蕴涵

为解决非单调推理问题,Shoham提出了择优模(preferred model)和择优蕴涵(preferential implication)的概念,本文在Shoham概念的基础上,进一步探讨了择优蕴涵与传统蕴涵的异同,给出了择优蕴涵单调性的两个充要条件,证明了择优蕴涵的单调性与传递性是等价的。     

自知逻辑与非单调推理

自知逻辑是非单调推理的重要的逻辑工具之一。它与缺席逻辑,界限和封闭世界假说等非单调推理的重要概念具有紧密的联系。自知逻辑采用模态逻辑作为形式表达工具,比缺席逻辑具有更可靠的数学基础;它也比界限方法具有更简洁易懂的表达方式。所以,它成为一种最有希望的非单调推理系统。本文将简要地介绍自知逻辑的主要概念,理论与方法。     

基于标记逻辑的非单调推理（II）

本文研究不循环ＡＬＰ的说明语义，利用依赖关系的非自反应性，把程序的Ｈｅｒｂａｒａｎｄ基分类成一系列不相交集合，在此基础上，引进多重极限的概念，并证明，不循环程序存在唯一的支持模型，该模型就是程序的ｋ重极限，其中ｋ是程序中自由子句的个数。     

基于标记逻辑的非单调推理（Ⅰ）

我们把标记逻辑定义在一个特殊双格上,通过比较标记选取结论,从而同时捕捉超协调（容错）推理和非单调推理．本文介绍标记逻辑程序的句法与语义构造,提出诱导序列及其极限的概念,给出极限存在的等价条件,并证明一个重要结果：诱导序列基本定理,它是后续讨论的基础．     

可废除推理研究

非单调推理是针对常识推理而提出的,但是标准非单调逻辑都存在可计算性问题,如何提出一种     

法律知识的因果表达和非单调推理模型

1 引言计算机在法律业务上的辅助应用总的来说可分为两类;计算机辅助法律条文查询系统和面向案例的计算机辅助法律分析与解释系统.计算机辅助法律条文查询系统的目标是建立一个丰富的法律条文和案例库,并对它们进行分类,建立索引,通过智能搜索引擎供法律专业人员和普通人查询有关法律条文或案例。法律文件繁复、浩大,依赖人脑记忆可靠性差,手工查找则费工费时,计算机正可以发挥其记忆量、查找迅速等特点。所以这方面的应用是比较成功的,例如北京大学开发的法律查询系统。一个面向案例的计算机辅助法律分析与解释系统能够根据系统中已有的法律知识(包括法律条文和案例)对实际案例进行分析和解释,并提出建设性的法律建议或结论以供人们参考。与计算机辅助法律条文查询系统相比,计算机辅助法律分析与解释系统需要运用法律知识进行推理,实际上是一个专家咨询系统。建立合理有效的法律知识的表达方法与推理机制是构造一个法律专家咨询系统的关键,这项任务是非常困难的。因为法律知识不仅仅是指成文的法律条文,还应该包括大量的法律解释、判例、不成文的法律规定等等,     

A New Method for Reasoning about Action

Reasoning about action is an important aspect of common sense reasoning and planning.It gives rise to three classical problems:the frame problem,the qualification problem and the ramification problem.Existing approaches cannot deal with these problems efficiently.This paper presents a new method which uses the stratified ATMS for reasoning about action to overcome the limitations of these approaches.