应用归结原理例–讲课.pptVIP

应用归结原理的习题 在谓词逻辑中，对子句进行归结推理时，要注意以下几个问题： （1）若被归结的子句C1 和C2中具有相同的变元时，需要将其中一个子句的变元更名，否则可能无法合一，从而没有办法进行归结。 （2）在求归结式时，不能同时消去两个互补文字对，消去两个互补文字对所得的结果不是两个亲本子句的逻辑推论。 （3）如果在参加归结的子句内含有可合一的文字，则在进行归结之前，应对这些文字进行合一，以实现这些子句内部的化简。 （一）应用归结原理进行定理证明 应用归结原理进行定理证明的步骤： 设要被证明的定理可用谓词公式表示为如下的形式： A1∧A2∧…∧An→B (1)首先否定结论B，并将否定后的公式～B与前提公式集组成如下形式的谓词公式： G= A1∧A2∧…∧An∧～B (2)??求谓词公式G的子句集S。 (3)??应用归结原理，证明子句集S的不可满足性。 应用归结原理进行定理证明-习题1 例.已知:某些病人喜欢所有的医生， 没有一个病人喜欢任意一个骗子。 证明: 任意一个医生都不是骗子。 证明: 知识表示：令 P(x)：x是病人 D(x)：x是医生 Q(x)：x是骗子 L(x, y)：x喜欢y A1: ?x (P(x) ? ?y(D(y)?L