人工智能第三章谓词演算与归结原理.pptVIP

第三章 谓词演算与归结原理;3.1 归结原理;化子句集的方法;化子句集的方法（续1）;化子句集的方法（续2）;化子句集的方法（续3）;定理： 若S是合式公式F的子句集，则F永假的充要条件是S不可满足。 S不可满足：若nil?S，则S不可满足。 证明的思路： 目标的否定连同已知条件一起，化为子句集，并给出一种变换的方法，使得 S ?S1 ?S2 ?... ?Sn 同时保证当Sn不可满足时，有S不可满足。 ;3.2 归结方法（命题逻辑）;归结的例子;子句集： (1) P (2) ~P?~Q?R (3) ~S?Q (4) ~T?Q (5) T (6) ~R（目标求反）;3.3 谓词逻辑的归结原理;合一 如果存在一个S置换，使得{Ei}中 E1s=E2s=E3s=…=Ens， 则称{Ei}是可合一的。S为{Ei}的合一者。 例：{P(x, f(y), B), P(z, f(B), B)} 置换s={A/x, B/y, A/z}是一个合一者, 因为： P(x, f(y), B)s= P(A, f(B), B) P(z, f(B), B)s= P(A, f(B), B) 置换s={z/x, B/y}和置换s={x/z, B/y}也都是合一者。 结论：合一者