人工智能原理及应用 教学课件 作者 罗 兵 第3章 确定性推理方法.ppt

3.4 归结推理方法 3.4.4 利用归结推理进行定理证明 证明： 根据以上7条子句，归结如下： (8) (1)(6)归结 (9) (8)(7)归结 (10) (9)(5)归结 (11) (10)(3)归结 (12) NIL (11) (5)归结 原题得证。 3.4 归结推理方法 3.4.4 利用归结推理进行定理证明 证明：其归结反演树如图： 3.4 归结推理方法 3.4.5 应用归结原理进行问题求解 应用归结原理不仅可以进行结论的证明，同时也可以利用归结原理进行问题的求解。步骤如下： （1）把已知前提条件用谓词公式表示出来，并化成相应的子句集，设该子句集的名字为S1。 （2）把待求解的问题也用谓词公式表示出来，然后将其否定，并与一谓词ANSWER构成析取式。谓词ANSWER是一个专为求解问题而设置的谓词，其变量必须与问题公式的变量完全一致。 （3）把问题公式与谓词ANSWER构成的析取式化为子句集，并把该子句集与S1合并构成子句集S。 （4）对子句集S应用谓词归结原理进行归结，在归结的过程中，通过合一置换，改变ANSWER中的变元。 （5）如果得到归结式ANSWER ，问题的答案即在ANSWER谓词中。 3.4 归结推理方法 3.4.5 应用归结原理进行问题求解 例：求解问题,已知: 如果x和y是同班同学,则x的老师也是y的老师； 王先生是小李的老师； 小李和小张是同班同学； 问小张的老师是谁? 解：定义谓词 ：x是y的老师； ：x与y是同班同学；则已知可表示成如下的谓词公式： 3.4 归结推理方法 3.4.5 应用归结原理进行问题求解 例：以上谓词公式及结论的反化成子句集如下: ① ～C(x,y)∨～T(z,x)∨T(z,y) ② ③ ④ ⑤ ①②归结 ⑥ ④⑤归结 ⑦ NIL ③⑥归结 说明zhang的老师存在. 3.4 归结推理方法 3.4.5 应用归结原理进行问题求解 例：为了求解用一个重言式代替④： ④ 用重言式代替结论的否定, 恒为真 ⑤ ①②归结 ⑥ ④⑤归结 ⑦ ③⑥归结 可得到问题的结果:张的老师是王先生。 也可用辅助谓词ANS(u) ④ 用辅助谓词ANS(u) ⑤ ①②归结 ⑥