非单调推理的研究现状

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

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

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

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

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

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

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

自知逻辑与非单调推理

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

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

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

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

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

诱导推理的一种计算模型

基于辩论推理模式，本文提出了诱导推理的一种计算模型，其特点简洁，直观，并且包含了多种现有的诱导框架，该诱导模型为常识推的计算机实现提供了一种新的途径。     

AN ARGUMENT-BASED APPROACH TO NONMONOTONIC REASONING*

We define an argument system to be a pair consisting of a set of inference rules and a set of completeness conditions. Inference rules are used to build arguments. Completeness conditions are used to define argument structures, which are sets of arguments supporting belief sets. We reformulate Reiter's default logic as special argument systems. This enables us, among other things, to apply the negation-as-failure rule to general default theories. We also speculate on some other potential uses of our argument systems.     

利用格论研究缺省推理

本文提出了一组转换规则,使用这组转换规则可以把缺省规则转换成扩展规则,然后使用这些扩展规则去扩展缺省理论的初始逻辑公式集合,在这些扩展规则的基础上,我们提出了缺省格(default lattice)的概念,证明了缺省理论的外延刚好对应于它的缺省格的相容性集合的D-极大值,因此可以使用缺省格求出缺省理论的所有外延.     

三维物体识别及姿态测定的推理系统

本文介绍了三维物体识别及姿态测定的一种新技术，从物体空间域模型出发，通过约束推理及几何推理，在物体三维信息部分给定的条件下，推断预测图象模型，并通过实测的图象数据反馈，推断出隐含在图象中未给定的三维信息，最终实现三维物体识别及姿态测定。整个系统在ＶＩＣＯＭ机上用Ｃ语言完成。     

标记辩论推理系统

Lin提出的辩论推理系统为非单调推理形式提供了一种统一的基础，其推理机制由所谓的论点结构实现．由Lin的系统导出的非单调推理并不具有累加性，而该性质是衡量一个非单调推理关系的重要标志之一．利用Brewka的方法，本文提出标记辩论推理的概念，并且证明缺省逻辑CDL可以嵌入本系统，从而也间接地给出了标记辩论系统具有累加性的一种充分条件．为了彻底地恢复累加性，本文提出了强封闭论点结构的概念，且由标记辩论系统的强封闭论点结构定义的非单调推理具有累加性．     

在贝叶斯网络上的概率推理：在单一连接因果树上的确信更新

本文中我们主要讨论在贝叶斯网络中的确信更新算法。首先我们总结了贝叶斯网络的基础，然后详细地描述了算法和数据结构，最后给出了具体实现过程。     

类比推理系统BHARS

类比推理提供了一种新的问题求解机制和机器学习方法，本文的类比推理系统ＢＨＡＲＳ包括四个处理部件，即联想器、求精器、匹配器和转换器，文章详细介绍了这四个处理部件的工作原理，并以实例说明了它们的工作过程，与同类系统相比，ＢＨＡＲＳ有功能全面、适应面广和执行效率高的特点。     

基于事例推理系统的开发工具CTL

ＣＢＲ是当前国际人工智能领域的研究热点之一,近年来,ＣＢＲ系统开发工具的研究和开发正方兴未艾,我们在微机平台上用Ｂｏｒｌａｎｄｃ＋＋Ｂｕｉｌｄｅｒ完成了一个ＣＢＲ系统开发工具－ＣＴＬ。     

利用重写系统研究缺省逻辑

本文在布尔环重量写系统中研究了缺省逻辑。一个缺省理论等价于一个布尔环方程组。本文还分析了命题缺省理论外延的结构，证明了一个缺省理论的外延的模型集合就是对应的布尔环方程组的极大缺省解，从而为确定缺省理论的外延提供了一种简便实用的方法。