第4章 知识推理.pdf

2011-12-26 第4章 知识推理 4.1 推理的基本概念 4.2 归结演绎推理 4.3 非归结演绎推理 4.4 不确定性推理方法 4.1 推理的基本概念 推理是以一个或几个命题为根据或理由，从而得出另一 个命题的思维过程。推理的根据或理由称为前提，得出的命 题称为结论。推理是由称做前提和结论的两部分命题组成的。 在智能系统中，推理是由程序实现的，称为推理机。 问题求解中的推理就是知识的使用过程，由于知识表示 有多种方法，相应地也就有多种推理方法，下面分别从不同 角度来探讨这些推理方法。 1. 经典推理和非经典推理 2. 演绎推理、归纳推理和缺省推理（默认推理） 3. 单调推理和非单调推理 4. 确定性推理和不确定性推理 1 2011-12-26 经典推理：通常采用演绎推理，是单调的；一般基于二值逻辑。 非经典推理： 演绎推理：从一般到特殊。又可分为：归结演绎推理、自然演绎 推理、基于规则的演绎推理。 归纳推理：从特殊到一般。 缺省推理（默认推理）：在知识不完全的情况下按默认的假设进 行推理；或者没有证据证明“假”的时候就认为 “真”。 单调推理：系统中的知识随着推理的进行而总是非减的。如：基 于谓词逻辑的推理。 非单调推理：随着推理得到新知识，原有的知识可能被推翻。如： 默认推理。 确定性推理：给予确定性的知识（事实、规则）进行推理。 不确定性推理： 4.2 归结演绎推理 4.2.1 Herbrand理论 4.2.2 归结原理 4.2.3 归结反演 2 2011-12-26 定理证明的实质是证明F1 ∧F2 ∧…∧Fn→W 的永真性。 其证明方法可分为二类：一是直接证明F1 ∧F2 ∧…∧Fn→W 为永真，即演绎法；二是间接证明(F1 ∧F2 ∧…∧Fn→W)为 永假，即反证法。 20世纪60年代，人们把研究的注意力集中在证明永假 性，即证明 F1 ∧F2 ∧…∧Fn ∧W 的永假性，这实际上就是 要证明{F1,F2 ,…,Fn } ∪{W}是一个矛盾集。因此证明 F1 ∧F2 ∧…∧Fn ∧W永假，只需证明F1 ∧F2 ∧…∧Fn和W 是不可满足的就可以。海伯伦（J. Herbrand ）和Robinson在 这个方向上先后作了卓越的研究工作。首先，由Herbrand提 出的Herbrand域和Herbrand定理，为自动定理证明奠定了理 论基础；然后，由Robinson提出的归结原理使自动定理证明 成为可能。 4.2.1 Herbrand理论 证明一个谓词公式的不可满足性是困难的，这是由于个 体变量论域的任意性，以及解释的个数的无限性。 但是，如果一个具体的谓词公式能够找到一个比较简单 的特殊的论域，使得只要在这个论域上该公式是不可满足的， 便能保证该公式在任一论域上也是不可满足的，这将对不可 满足性的证明是十分有益的。 Herbrand首先将合式公式标准化为子句集，然后在此基 础上引入Herbrand域 （简记为H域），并从理论上给出了证 明子句集永假的可行性及方法。 3