【非单调逻辑王善来】.pdf

摘要非单调逻辑是近年来AI的一个活跃研究分支,是AI进一步发展的核心问题之一,本文从一种统一的观点介绍与分析非单调逻辑十年来的基本研究结果,给出它的特征和各种非单调逻辑的相互关系和统一基础,指出问题的实质及进一步研究方向

非单调逻辑目录经典逻辑的不足常识与非单调推理非单调理的提出非单调推理的研究途径现存非单调逻辑 2.最小化非单调逻辑 I.限制逻辑 Ⅱ.忽略逻.Ⅲ.限制推理的应用 2.定点非单调逻辑 I.缺省逻.Ⅱ.自知逻辑非单调逻辑的相互关系与统一基础 2.统一基 2.非单调逻辑待研究的问题.

则,理论上,知识是完全的,是指关于世界的任一命题或它的否定之一是可知的:实际上,一般地讲,现有计算机的研究本质上阁于一阶逻辑范略.,而经典逻辑具有单调性,无论AI的理论和实践都本更好地反映人的常识推理,白然引出对非单调推理的研究.非单调推理可看成是基于这样一种常识原理的不完全推理:将不完全知识用某种方式固定化:转化不完全知识到相对完全的知识状态,设r是一个初始信念集,.是一个假设集,定义一个理论集E=rUA,使得对任一命题A,有EA或EH7A.建立非单调推理方法就是要确保在假设集4中相容地加人A,若发现不相容,则进行回溯,消除不相容.