5 归结反演.pptVIP

* 5.5 归结反演 ----归结原理(4) * 主要内容 1. 归结反演原理 2.命题归结反演 3.谓词归结反演 * 鲁宾逊归结原理 基本思想 证明F?G 首先把欲证明问题的结论否定，并加入F的子句集，得到一个扩充的子句集S’。 然后设法检验子句集S’是否含有空子句， 若含有空子句，则表明S’是不可满足的； 若不含有空子句，则继续使用归结法，在子句集中选择合适的子句进行归结，直至导出空子句或不能继续归结为止。 * 2 命题逻辑的归结反演 已知F，证明G为真的归结反演过程如下： ①否定目标公式G，得￢ G； ②把￢ G并入到公式集F中，得到 ｛ F， ￢ G｝ ③把｛F， ￢ G｝化为子句集S； ④应用归结原理对子句集S中的子句进行归结， 并把得到的归结式并入S中。如此反复进行， 若出现空子句，则停止归结，证明G为真 * 例 设已知公式集F为P，（P∧Q）→R，（S∨T） → Q，T 求证结论R。  解：假设结论R为假，即￢R为真，将￢R加入公式集，并化为子句集 S= ｛P， ￢P∨ ￢ Q∨R， ￢S∨Q，￢ T∨Q ， T ， ￢R ｝   ￢P∨￢Q∨R ￢R ￢P∨￢Q P ￢Q ￢T∨Q ￢T T NIL 一个命题逻辑的归结反演树 在该树中，由于根部出现空子句，因此命题R得到证明。 * 谓词逻辑的归结反演过程与命题逻辑的归结反演过程相比，其步骤基本相同，但处理对象有所不同。在化简子句集时，谓词逻辑需要把由谓词构成的公式集化为子句集；在按归结原理进行归结时，谓词逻辑的归结原理需要考虑两个亲本子句的最一般合一。 例 已知 F：(? x)( (? y)A(x,y)B(y) → (? y) ( C(y)D(x,y) ) ) G： ￢ (? x) C(x) →(? x)(? y)( A(x,y) → ￢ B(y) ) 求证：G是F的逻辑结论。 3 谓词逻辑的归结反演 * ￢A(x,y) ∨￢B(y) ∨C(f(x)) ￢C(z) ￢A(x,y) ∨￢B(y) {f(x)/z} A(m,n) ￢B(n) {m/x,n/y} B(n) NIL F化成子句集，得到 （1） ￢ A（x，y）∨ ￢ B（y） ∨ C（f（x） ）  （2） ￢A（u，v） ∨ ￢B（v） ∨ D（u，f（u） ） ￢ G化成子句集，得到 （3）￢C（z） （4） A（m， n） （5） B（ n ） G是F的逻辑结论 E.G. 已知下列事实： 　 王（Wang）喜欢（Like）所有种类的食物（Food）. 苹果（Apples）是食物。任何一个东西，若任何人吃了（Eat）它都不会被害死（Killed）,则该东西是食物。　　李（Li）吃花生（Peanuts）且仍然活着（Alive）。　　张（zhang）吃任何李吃的东西。　　证明：王喜欢花生。 * 已知下列事实： （?x）[Food(x) = Like(Wang, x)] Food(Apples) （?x）（?y）[Eat(y, x)∧Alive(y) = Food(x)] Eat(Li, Peanuts)∧Alive(Li) （?x）[Eat(Li, x) = Eat(Zhang, x) 目标形式化表示：Like(Wang, Peanuts) * * 　 (1) ?Food(x1)∨Like(Wang, x1) 　　　　(2) Food(Apples) 　　　　(3) ?Eat(y, x2)∨?Alive(y)∨Food(x2) 　　　　(4) Eat(Li, Peanuts) 　　　　(5) Alive(Li) 　　　　(6) ?Eat(Li, x3)∨Eat(Wang, x3)  (5) (3) : Li / y (7) ?Eat(Li, x2) ∨Food(x2) (4)(7):Peanuts /x2 (8) Food(Peanuts) (1) (8):Peanuts /x1 　　　　(9) Like(Wang, Peanuts)  NIL * 　 (0) ? Like(Wang, Peanuts)  * 小结 谓词公式与其标准子句集永假等价 C12加入 S中得到新的子句集S2，则S与S2的不可满足性是等价的。 证明F?G