[非单调逻辑王善来]

【非单调逻辑王善来】.pdf摘要 非单调逻辑是近年来AI的一个活跃研究分支,是AI进一步发展的核心问题之一,本 文从一种统一的观点介绍与分析非单调逻辑十年来的基本研究结果,给出它的特征和各种非 单调逻辑的相互关系和统一基础,指出问题的实质及进一步研究方向非单调逻辑 目录 经典逻辑的不足 常识与非单调推理 非单调理的提出 非单调推理的研究途径 现存非单调逻辑 2.最小化非单调逻辑 I.限制逻辑 Ⅱ.忽略逻.Ⅲ.限制推理的应用 2.定点非单调逻辑 I.缺省逻.Ⅱ.自知逻辑 非单调逻辑的相互关系与统一基础 2.统一基 2.非单调逻辑待研究的问题.则,理论上,知识是完全的,是指关于世界的任一命题或它的否定之一是可知的:实际上,一般地讲,现有计算机的研究本质上阁于一阶逻辑范略.,而经典逻辑具有单调性,无 论AI的理论和实践都本更好地反映人的常识推理,白然引出对非单调推理的研究.非单调推理可看成是基于这样一种常识原理的不完全推理:将不完全知识用某种方式固 定化:转化不完全知识到相对完全的知识状态,设r是一个初始信念集,.是一个假设 集,定义一个理论集E=rUA,使得对任一命题A,有EA或EH7A.建立非单调推理 方法就是要确保在假设集4中相容地加人A,若发现不相容,则进行回溯,消除不相容.
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。