第三章确定性推理方法讲述.ppt

归 结 演 绎 推 理 第3章 确定性推理方法 3.1 推理的基本概念 3.2 自然演绎推理 3.3 谓词公式化为子句集的方法 3.4 海伯伦定理 3.5 鲁宾逊归结原理 3.6 归结反演 3.7 应用归结反演求解问题 3.6 归结反演 应用归结原理证明定理的过程称为归结反演。 用归结反演证明的步骤是： （1）将已知前提表示为谓词公式F。 （2）将待证明的结论表示为谓词公式Q，并否定得到﹁ Q 。 （3）把谓词公式集{F， Q} 化为子句集S。 （4）应用归结原理对子句集S中的子句进行归结，并把每次 归结得到的归结式都并入到S中。如此反复进行，若出 现了空子句，则停止归结，此时就证明了Q为真。 3.6 归结反演 例6 某公司招聘工作人员，A，B ，C 三人应试，经面试后公司表示如下想法： （1）?三人中至少录取一人。 （2）?如果录取 A 而不录取 B ，则一定录取 C。 （3） 如果录取 B ，则一定录取 C 。 求证：公司一定录取 C。 3.6 归结反演 证明：公司的想法用谓词公式表示： 。 把要求证的结论用谓词公式表示出来并否定，得： （1） （2） （3） （4） 把上述公式化成子句集： （1） （2） （3） （4） 3.6 归结反演 P(A)?P(B)?P(C) ?P(A)?P(B)?P(C) P(B)?P(C) ? P(B)?P(C) P(C) ? P(C) NIL 应用归结原理进行归结： （1） （2） （3） （4） 3.6 归结反演 例7 已知： 规则1：任何人的兄弟不是女性； 规则2：任何人的姐妹必是女性。 事 实：Mary 是 Bill 的姐妹。 求证： Mary 不是 Tom 的兄弟。 证明：定义谓词 brother ( x, y ) : x 是 y 的兄弟 sister ( x, y ) : x 是 y 的姐妹 woman ( x ) : x 是女性 证明：将规则与事实用谓词公式表示： 把要求证的结论用谓词公式表示出来并否定，得： 把上述公式化成子句集： （1） （2） （3） （4） 3.6 归结反演 （1） （2） （3） （1） （2） （3） 3.6 归结反演 ? sisiter(x,y)?woman(x) sister(Mary,Bill) woman(Mary) ?brother(x,y) ? ?woman(x) ?brother(Mary,y) brother(Mary,Tom) NIL ?={Mary/x} ?={Mary/x} 将子句集进行归结： （C2） （C3） （C1） （C4） 归 结 演 绎 推 理 第3章 确定性推理方法 3.1 推理的基本概念 3.2 自然演绎推理 3.3 谓词公式化为子句集的方法 3.4 海伯伦定理 3.5 鲁宾逊归结原理 3.6 归结反演 3.7 应用归结反演求解问题 3.7 应用归结原理求解问题 应用归结原理求解问题的步骤： （1）已知前提 F 用谓词公式表示，并化为子句集 S ； （3）把（﹁ Q∨ ANSWER） 化为子句集，并入到子句集 S中，得到子句集 ； （4）对 应用归结原理进行归结； （5）若得到归结式 ANSWER ，则答案就在 ANSWER 中。 （2）把待求解的问题 Q 用谓词公式表示，并否定 Q，再与 ANSWER 构成析取式（﹁ Q ∨ ANSWER ）； 例8 已知： ：王（Wang）先生是小李（Li）的老师。 ：小李与小张（Zhang）是同班同学。 ：如果 x 与y 是同班同学，则 x的老师也是 y的老师。 求：小张的老师是谁？ 3.7 应用归结原理求解问题 3.7 应用归结原理求解问题 解： 定义谓词： ： 是 的老师。 ： 与 是同班同学。 把已知前提表示成谓词公式： 把目标表示成谓词公式，并把它否定后与 ANSWER 析取： F1：王（Wang）先生是小李（Li）的老师。 F2：小李与小张（Zhang）是同班同学。 F3：如果 x与 y 是同班同学，则 x的老师也是 y的 老师。 求：小张的老师是谁？ 把上述公式化为子句集：