[关于常识推理中若干问题的研究]王淞昕

【关於常识推理中若干问题的研究】王淞昕.pdf提要 本文研究了用基于逻辑的方法实现常识推理中的若干问题,主要完 成了以下三项工作:将姜云飞的工作从缺省逻辑推广到它的一个重要变种一约束 缺省逻辑中。针对约束缺省逻辑的特点,重新定义了约束扩展规则,约 束扩展及约束缺省格的概念,证明了约束扩充同约束缺省格的相容极大 值一一对应,提供了一种利用格论求约束扩充的方法。其结果要比缺省 逻辑中的相应结果来得更为简洁.基于上述理论结果给出了一个构造约束扩充的算法并用C语言实 现了该算法.首次建立了开放逻辑与基于论证的推理之间的联系。在命题情形 下证明了,假说的R-重构与相应论证系统的稳定扩充之间一一对应。第一章 绪论 本文研究了用基于逻辑的方法实现常识推理中的若干问题,并得到 了三个主要结果。为了提供必要的背景并准确阐述本文工作及其意 义,在绪论中我们将讨论下面几方面内容:人工智能简介.逻辑方法在人 工智能中的地位.常识推理简介.以及本文主要工作.1人工智能简介 什么是人工智能？没有一个确切的定义。人工智能(Artificial Intelligence)这个名称最早是由J.McCarthy在1956年的首届机器智能讨 论会上提出来的,随后的几十年来,人工智能得到了长足的发展。人工智能领域的著名学者J.McCarcy曾经在近年来的一次讲话中这 样讲道:“我认为,人工智能最关键的问题,就是常识推理”。这虽是 一家之言,但也由此可见常识推理在人工智能研究中的地位.有趣的是,正象在谈论人工智能时所遇到的情形一样,关于什么是 常识推理也没有一个确切的定义。粗略说来,常识推理是指人类在日常 生活中经常遇到的,在面对诸如不精确、不完备、乃至不一致的知识时 所使用的推理模式。依据侧重角度不同,常识推理的研究又分为许多不 同方向。由于本文的需要,我们在这里介绍其中的一个重要方向-非单 调推理。本文还涉及了常识推理的一些其它研究方向,对此,将在具体 用到时再作介绍。
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。