应用归结原理例讲课.pptxVIP

应用归结原理的习题在谓词逻辑中，对子句进行归结推理时，要注意以下几个问题：（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喜欢yA1: ?x (P(x) ? ?y(D(y)?L(x, y)))A2: ?x(P(x) ??y(Q(y) ?～L(x, y)))B: ?x(D(x) ?～Q(x))我们要证明B是A1和A2的逻辑结果，即公式A1?A2?～B是不可满足的。 A1=?x (P(x) ? ?y(～D(y) ? L(x, y))) =?x ?y (P(x) ? (～D(y) ? L(x, y))) ---? ?y (P(a) ? (～D(y) ? L(a, y)))A2=?x(P(x) ??y(～Q(y) ?～L(x, y))) =?x(～P(x) ??y(～Q(y) ?～L(x, y))) =?x?y (～P(x) ?～Q(y) ?～L(x, y))～B=～(?x(D(x) ?～Q(x))) =?x (D(x) ?Q(x))---? D(b) ?Q(b)因此，公式A1?A2?～B的子句集为S＝｛P(a),～D(y)?L(a,y),～P(x)?～Q(y)?～L(x, y),D(b),Q(b)｝S不可满足的归结演绎序列为：P(a)～D(y) ? L(a, y)～P(x) ?～Q(y) ?～L(x, y)D(b)Q(b)L(a, b)由(2)、(4) mgu:{b/y}～Q(y) ? ～L(a, y)由(1)、(3) mgu:{a/x}～L(a, b)由(5)、(7) mgu:{b/y}? 由(6)、(8)应用归结原理进行定理证明-习题2练习：设有下列知识：F1：自然数都是大于等于零的整数；F2：所有整数不是偶数就是奇数；F3：偶数除以2是整数。求证：所有自然数不是奇数就是其一半为整数的数。定义谓词：N(x)：x是自然数；I(x)：x是整数；GZ(x):x大于等于零;E(x)：x是偶数; O(x)：x是奇数。定义函数f(x)：x除以2。应用归结原理进行定理证明-习题3练习：(1)马科斯(Marcus)是男人；(2)马科斯是庞贝人；(3)所有庞贝人都是罗马人；(4)恺撒(Caesar)是一位统治者；(5)所有罗马人忠于或仇恨恺撒；(6)每个人都忠于某个人；(7)男人们只想暗杀他们不忠于的统治者；(8)马科斯试图暗杀恺撒。证明：马科斯仇恨恺撒。定义谓词：Man(x)：x是男人；Pompeian(x)：x是庞贝人；Roman(x):x是罗马人; Ruler(x):x是统治者;Loyalto(x,y):x忠于y; Hate(x,y):x仇恨y;Tryassassinate(x,y):x试图暗杀y。应用归结原理进行定理证明 -习题4练习：“快乐学生”问题假设：任何通过计算机考试并获奖的人都是快乐的； 任何肯学习或幸运的人都可以通过所有考试； 张不肯学习但他是幸运的； 任何幸运的人都能获奖。证明：张是快乐的。定义谓词Pass(x,y):x通过考试y;Win(x,prize):x获奖;Happy(x):x快乐；Study(x):x肯学习; Lucky(x):x幸运。应用归结原理进行定理证明-习题5 练习--“激动人心的生活”问题假设： 所有不贫穷并且聪明的人都是快乐的； 那些看书的人是聪明的； 李明能看书且不贫穷； 快乐的人过着激动人心的生活。求证：李明过着激动人心的生活。定义谓词：Poor(x):x贫穷；Smart(x):x聪明； Happy(x):x快乐；Read(x):x看书； Exciting(x):x过着激动人心的生活。（二）利用归结原理求取问题答案利用归结原理求取问题答案的步骤：（1）把已知前提条件用谓词公式表示出来，并化成相应的子句集，设该子