【关於常识推理中若干问题的研究】王淞昕.pdf

提要本文研究了用基于逻辑的方法实现常识推理中的若干问题,主要完成了以下三项工作:将姜云飞的工作从缺省逻辑推广到它的一个重要变种一约束缺省逻辑中。针对约束缺省逻辑的特点,重新定义了约束扩展规则,约束扩展及约束缺省格的概念,证明了约束扩充同约束缺省格的相容极大值一一对应,提供了一种利用格论求约束扩充的方法。其结果要比缺省逻辑中的相应结果来得更为简洁.基于上述理论结果给出了一个构造约束扩充的算法并用C语言实现了该算法.首次建立了开放逻辑与基于论证的推理之间的联系。在命题情形下证明了,假说的R-重构与相应论证系统的稳定扩充之间一一对应。

第一章绪论本文研究了用基于逻辑的方法实现常识推理中的若干问题,并得到了三个主要结果。为了提供必要的背景并准确阐述本文工作及其意义,在绪论中我们将讨论下面几方面内容:人工智能简介.逻辑方法在人工智能中的地位.常识推理简介.以及本文主要工作.1人工智能简介什么是人工智能？没有一个确切的定义。人工智能(Artificial Intelligence)这个名称最早是由J.McCarthy在1956年的首届机器智能讨论会上提出来的,随后的几十年来,人工智能得到了长足的发展。

人工智能领域的著名学者J.McCarcy曾经在近年来的一次讲话中这样讲道:“我认为,人工智能最关键的问题,就是常识推理”。这虽是一家之言,但也由此可见常识推理在人工智能研究中的地位.有趣的是,正象在谈论人工智能时所遇到的情形一样,关于什么是常识推理也没有一个确切的定义。粗略说来,常识推理是指人类在日常生活中经常遇到的,在面对诸如不精确、不完备、乃至不一致的知识时所使用的推理模式。依据侧重角度不同,常识推理的研究又分为许多不同方向。由于本文的需要,我们在这里介绍其中的一个重要方向-非单调推理。本文还涉及了常识推理的一些其它研究方向,对此,将在具体用到时再作介绍。