人工智能原理及应用 作者 罗 兵 第3章 确定性推理方法.pptVIP

3.4 归结推理方法 3.4.4 利用归结推理进行定理证明 证明： 首先将每一个表示逻辑条件的谓词子句转换为子句集可以接受的Skolem标准形。 由R4可得 (6) 由结论可得 (7) 此为结论的否定 3.4 归结推理方法 3.4.4 利用归结推理进行定理证明 证明： 根据以上7条子句，归结如下： (8) (1)(6)归结 (9) (8)(7)归结 (10) (9)(5)归结 (11) (10)(3)归结 (12) NIL