AI_确定性推理.PPTVIP

4.5 归结推理方法 例 设C1=～P(a)∨Q(x)∨R(x)，C2 =P(y)∨～Q(b)， 求其二元归结式。解 若选L1=～P(a)，L2=P(y)，则L1和L2的mgu是σ={a/y}，于是由定义4.27得C1和C2 的二元归结式为 C12 =( C1σ-{L1σ})∪(C2 σ-{L2σ}) =({～P(a),Q(x),R(x)}-{～P(a)})∪({P(a),～Q(b)})-{P(a)} =({Q(x),R(x)})∪({～Q(b)}) =Q(x)∨R(x)∨～Q(b) 若选L1=Q(x)，L2=～Q(b)，则二者的mguσ={b/x}， C12 =～P(a)∨R(b)∨P(y) 4.5 归结推理方法 3．归结原理的完备性 对于一阶谓词逻辑，从不可满足的意义上说，归结原理是完备的。即若子句集是不可满足的，则必存在一个从该子句集到空子句的归结推理过程；反之，若从子句集到空子句存在一个归结推理过程，则该子句集必是不可满足的。 4.5 归结推理方法 4.5.4 利用归结原理进行定理证明 应用归结原理进行定理证明的步骤如下： 设要被证明的定理可用谓词公式表示为如下的形式： A1∧A2∧…∧An→B (1)??? 首先否定结论B，并将否定后的公式～B与前提公式集组成如下形式的谓词公式： G= A1∧A2∧…∧An∧～B (2)??? 求谓词公式G的子句集S。 (3)??应用归结原理，证明子句集S的不可满足性，从而证明谓词公式G的不可满足性。这就说明对结论B的否定是错误的，推断出定理的成立。 4.5 归结推理方法 例 已知： A: (?x)((? y)(P(x,y)∧Q(y))→(? y)(R(y)∧T(x,y))) B: ～(? x)R(x)→(? x)(? y)(P(x,y)→～Q(y)) 求证：B是A的逻辑结论。 证明 首先将A和～B化为子句集 ～P(x,y)∨～Q(y) ∨R(f(x)) ～P(x,y)∨～Q(y) ∨T(x,f(x)) //(1)(2)为A ～R(z) P(a，b) Q(b) //(3)(4)(5)为B 4.5 归结推理方法 下面进行归结： （6） ～P(x,y)∨～Q(y) （1）与（3）归结，σ={f(x)/z} （7） ～Q(b) （4）与（6）归结，σ={a/x,b/y} （8） NIL（空子句） （5）与（7）归结 所以B是A的逻辑结论。 4.5 归结推理方法 4.5.5 应用归结原理进行问题求解 下面是利用归结原理求取问题答案的步骤： （1）把已知前提条件用谓词公式表示出来，并化成相应的子句集，设该子句集的名字为S1。 （2）把待求解的问题也用谓词公式表示出来，然后将其否定，并与一谓词ANSWER构成析取式。谓词ANSWER是一个专为求解问题而设置的谓词，其变量必须与问题公式的变量完全一致。 （3）把问题公式与谓词ANSWER构成的析取式化为子句集，并把该子句集与S1合并构成子句集S。 4.5 归结推理方法 （4）对子句集S应用谓词归结原理进行归结，在归结的过程中，通过合一置换，改变ANSWER中的变元。 （5）如果得到归结式ANSWER ，则问题的答案即在ANSWER谓词中。 4.5 归结推理方法 例 任何兄弟都有同一个父亲，John和Peter是兄弟，且John的父亲是David，问Peter的父亲是谁？ 解 第一步：将已知条件用谓词公式表示出来，并化成子句集，那么要先定义谓词。 （1） 定义谓词： 设Father(x,y)表示x是y的父亲。 Brother(x,y)表示x和y是兄弟。 4.5 归结推理方法 （2） 将已知事实用谓词公式表示出来。 F1 ：任何兄弟都有同一个父亲。 (?x)(?y)(?z)(Brother(x,y)∧Father(z,x)→Father(z,y)) F2：John和Peter是兄弟。 Brother(John,Peter) F3： John的父亲是David。 Father(David, John) （3） 将它们化成子句集得： S1={~Brother(x,y)∨~Father(z,x)∨Father(z,y), Brother(John,Peter), Father(David,John)} 4.5 归结推理方法 第二步