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

3.4 归结推理方法 3.4.4 利用归结推理进行定理证明 证明：其归结反演树如图： 3.4 归结推理方法 3.4.5 应用归结原理进行问题求解 应用归结原理不仅可以进行结论的证明，同时也可以利用归结原理进行问题的求解。步骤如下： （1）把已知前提条件用谓词公式表示出来，并化成相应的子句集，设该子句集的名字为S1。 （2）把待求解的问题也用谓词公式表示出来，然后将其否定，并与一谓词ANSWER构成析取式。谓词ANSWER是一个专为求解问题而设置的谓词，其变量必须与问题公式的变量完全一致。 （3）把问题公式与谓词ANSWER构成的析取式化为子句集，并把该子句集与S1合并构成子句集S。 （4）对子句集S应用谓词归结原理进行归结，在归结的过程中，通过合一置换，改变ANSWER中的变元。 （5）如果得到归结式ANSWER ，问题的答案即在ANSWER谓词中。 3.4 归结推理方法 3.4.5 应用归结原理进行问题求解 例：求解问题,已知: 如果x和y是同班同学,则x的老师也是y的老师； 王先生是小李的老师； 小李和小张是同班同学； 问小张的老师是谁? 解：定义谓词 ：x是y的老师； ：x与y是同班同学；则已知可表示成如下的谓词公式： 3.4 归结推理方法 3.4.5 应用归结原理进行问题求解 例：以上谓词公式及结论的反化成子句集如下: ① ～C(x,y)∨～T(z,x)∨T(z,y) ② ③ ④ ⑤ ①②归结 ⑥ ④⑤归结 ⑦ NIL ③⑥归结 说明zhang的老师存在. 3.4 归结推理方法 3.4.5 应用归结原理进行问题求解 例：为了求解用一个重言式代替④： ④ 用重言式代替结论的否定, 恒为真 ⑤ ①②归结 ⑥ ④⑤归结 ⑦ ③⑥归结 可得到问题的结果:张的老师是王先生。 也可用辅助谓词ANS(u) ④ 用辅助谓词ANS(u) ⑤ ①②归结 ⑥ ④⑤归结 ⑦ ③⑥归结 也得结果:张的老师是王先生。 3.5 归结过程中的控制策略 3.5.1 引入控制策略的原因 3.5.2 归结控制策略 3.5 归结过程中的控制策略 3.5.1 面向对象的概念与特性 无控制的盲目全面归结导致大量的不必要的归结式的产生，如何给出控制策略，以使系统仅选择合适的子句对其做归结来避免多余不必要的归结式的出现，或者说少做些归结但仍然导出空子句来，这已经成为一个重要的问题。 归纳起来，归结过程策略控制的要点如下： 要解决的问题：归结方法的知识爆炸。 控制策略的目的：归结点尽量少 控制策略的原则：删除不必要的子句，或对参加归结的子句做限制。给出控制策略，以使仅选择合适的子句对其做归结。避免多余的、不必要的归结式出现。 3.5 归结过程中的控制策略 3.5.2 归结控制策略 归结策略大致可分为两大类：删除策略和限制策略。 删除策略 定义3.20 归类：设有两个子句C和D，若有置换σ使得Cσ D成立，则称子句C把子句D归