人工智能第四部分概要.ppt

* （2）谓词逻辑的归结反演 谓词逻辑的归结反演过程与命题逻辑的归结反演过程相比，其步骤基本相同，但每步的处理对象不同。例如，在步骤（3）化简子句集时，谓词逻辑需要把由谓词构成的公式集化为子句集；在步骤（4）按归结原理进行归结时，谓词逻辑的归结原理需要考虑两个亲本子句的最一般合一。 * 例10 已知 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的逻辑结论。 证明：先把G否定，并放入F中，得到的｛F， ￢ G｝为 : { ( x)((彐y)(A(x,y) ∧ B(y)) →(彐y) (C(y) ∧ D (x,y))), ￢( ￢ (彐x) C(x) →( x)( y)(A(x,y) → ￢ B(y)) )} 再把｛F， ￢ G｝化成于句集，得到 （1） ￢ A（x，y）∨ ￢ B（y） ∨ C（f（x） ）  （2） ￢A（u，v） ∨ ￢B（v） ∨ D（u，f（u） ）  （3）￢C（z） （4） A（m， n） （5） B（k） *