[物理]第三章高级知识推理.ppt

人工智能及其应用(第三版)研究生用书蔡自兴 第三章 高级知识推理 归约推理、消解演绎推理和规则演绎推理等推理方法,都是确定性推理。它们建立在经典逻辑基础上,运用确定性知识进行精确推理,也是一种单调性推理。现实世界中遇到的问题和事物间的关系往往比较复杂,客观事物存在的随机性、模糊性、不完全性和不精确性,往往导致人们认识上一定程度的不确定性。这时,若仍然采用经典的精确推理方法进行处理,必然无法反映事物的真实性。为此,需要在不完全和不确定的情况下运用不确定知识进行推理,即进行不确定性推理。此外,求解过程中得到的有关问题的结论也并非随知识的增加而单调地增加。因此,还有必要进行非单调推理的研究。 3.1 经典推理和非经典推理 对逻辑的界定： (1)人工智能把逻辑作为描述和模拟思维的工具,而不像逻辑学家那样研究逻辑理论,而是研究应用逻辑。 (2)人工智能不仅要把逻辑应用于学科研究,而且要探究逻辑的应用问题。 (3)人工智能把逻辑作为重现和模拟智能的手段,而不像数学家那样把逻辑作为改造和发展数学的基础。 一般提到的逻辑有形式逻辑和数理逻辑等,消解原理就是以谓词逻辑为基础的。长期以来,形式逻辑和数理逻辑的研究和应用一直处于主导地位。然而,这两种逻辑存在一些局限性,无法解决面临的一些应用问题,从而出现了一些新的逻辑学派。人们把这些新的逻辑学派称为非经典逻辑,其相应的推理方法则叫做非经典推理。与此相应,把传统的逻辑学派及其推理方法称为经典逻辑和经典推理。 非经典逻辑和非经典推理与经典逻辑和经典推理的不同之处： (1)在推理方法上,经典逻辑采用演绎逻辑推理,而非经典逻辑采用归纳逻辑推理。 (2)在辖域取值上,经典逻辑都是二值逻辑,即只有真(True)和假(False)两种,而非经典逻辑都是多值逻辑,如三值、四值和模糊逻辑等。 (3)在运算法则上,两者也不大相同。属于经典逻辑的形式逻辑和数理逻辑,它们的许多运算法则在非经典逻辑中就不能成立。例如,三值逻辑就不遵循谓词逻辑中的双重否定法则～(～P)=P。又如,狄·摩根定律在一些多值逻辑中也不再成立。这些例子说明,非经典逻辑背弃了经典逻辑的一些重要特性。 (4)在逻辑算符上,非经典逻辑具有更多的逻辑算符。例如,谓词逻辑具有∨,∧,→,～,≡5个连词以及?,?两个量词。由这些逻辑算符组成的谓词合式(逻辑)公式,只能回答“什么是真”和“什么是假”的是非判断问题,而无法处理“什么可能真”、“什么必然假”、“什么应该真”、“什么允许假”之类的问题。非经典逻辑引用了附加算符(一般叫做模态算符或算子)来解决上述面临的问题。 (5)在是否单调上,两者也截然不同。经典逻辑是单调的,即已知事实(定理)均为充分可信的,不含随着新事实的出现而使原有事实变为假。这是人的认识的单调性。由于现实生活中的许多事实是在人们来不及完全掌握其前提条件下初步认可的,而当客观情况发生变化或人们对客观情况的认识有了深化时,一些旧的认识就可能被修正以至否定。这就是人的认识的非单调性。引用非单调逻辑进行非单调推理是非经典逻辑与经典逻辑的又一重要区别。 3.2非单调推理 基于谓词逻辑的推理系统是单调的,该系统中已知为真的命题数目随着推理的进行而严格地增加。演绎推理属于单调推理。 人类的思维过程和推理活动在本质上是非单调的。人们对客观事物的认识和信念总是不断调整和深化的,于是出现了上述认识上的非单调性。在这种情况下,推导出的结论不随条件的增加而增多。这种推理过程就是非单调推理(nonmonotonic reasoning)。 非单调推理的概念是明斯基(Minsky)于1975年提出来的,并以“鸟会飞”为例加以说明。人们常识上认为大多数鸟会飞。当知道X是鸟类中的一只鸟时,一般认为X会飞；但进一步知道X是鸟类中的一只企鹅时,因为企鹅不会飞,所以需要对“鸟会飞”的结论加以修正。 非单调推理具有下列特性：推理系统的定理集合不随推理过程的进行而单调增大,新推理出的定理很可能会修正以至否定原有的一些定理,使得原来能够解释的一些现象变得不能解释了。 非单调推理有代表性的研究工作有： 赖特(Reiter)的缺省推理 穆尔(Moore)的自认识逻辑 麦卡锡(McCarthy)的界限推理 多伊尔(Doyle)的真值维护系统等。 缺省推理是指S在缺省条件下成立,就意味着“当且仅当没有事实证明S不成立时,S是成立的”。 自认识逻辑的基本思想是：如果知道S,并且不知道有其他任何事实与S矛盾