第三章 确定性推理方法.pptVIP

归 结 演 绎 推 理 第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