应用归结原理例.pptx

4/16/20251应用归结原理的习题

4/16/2025（一）应用归结原理进行定理证明应用归结原理进行定理证明的步骤：设要被证明的定理表示为：A1∧A2∧…∧An?B首先否定结论B，并将否定后的公式～B与前提公式集组成如下形式的谓词公式：G=A1∧A2∧…∧An∧～B词公式G的子句集S。归结原理，证明子句集S的不可满足性。

4/16/20253应用归结原理进行定理证明-习题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是不可满足的。

4/16/20254A1=?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)｝

4/16/20255S不可满足的归结演绎序列为：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)

4/16/2025应用归结原理进行定理证明-习题2F1：自然数都是大于等于零的整数；F2：所有整数不是偶数就是奇数；F3：偶数除以2是整数。练习：设有下列知识：单击此处添加正文，文字是您思想的提炼，为了演示发布的良好效果，请言简意赅地阐述您的观点。您的内容已经简明扼要，字字珠玑，但信息却千丝万缕、错综复杂，需要用更多的文字来表述；但请您尽可能提炼思想的精髓，否则容易造成观者的阅读压力，适得其反。正如我们都希望改变世界，希望给别人带去光明，但更多时候我们只需要播下一颗种子，自然有微风吹拂，雨露滋养。恰如其分地表达观点，往往事半功倍。当您的内容到达这个限度时，或许已经不纯粹作用于演示，极大可能运用于阅读领域；无论是传播观点、知识分享还是汇报工作，内容的详尽固然重要，但请一定注意信息框架的清晰，这样才能使内容层次分明，页面简洁易读。如果您的内容确实非常重要又难以精简，也请使用分段处理，对内容进行简单的梳理和提炼，这样会使逻辑框架相对清晰。求证：所有自然数不是奇数就是其一半为整数的数。N(x)：x是自然数；I(x)：x是整数；GZ(x):x大于等于零;E(x)：x是偶数;O(x)：x是奇数。定义谓词：单击此处添加正文，文字是您思想的提炼，为了演示发布的良好效果，请言简意赅地阐述您的观点。您的内容已经简明扼要，字字珠玑，但信息却千丝万缕、错综复杂，需要用更多的文字来表述；但请您尽可能提炼思想的精髓，否则容易造成观者的阅读压力，适得其反。正如我们都希望改变世界，希望给别人带去光明，但更多时候我们只需要播下一颗种子，自然有微风吹拂，雨露滋养。恰如其分地表达观点，往往事半功倍。当您的内容到达这个限度时，或许已经不纯粹作用于演示，极大可能运用于阅读领域；无论是传播观点、知识分享还是汇报工作，内容的详尽固然重要，但请一定注意信息框架的清晰，这样才能使内容层次分明，页面简洁易读。如果您的内容确实非常重要又难以精简，也请使用分段处理，对内容进行简单的梳理和提炼，这样会使逻辑框架相对清晰。定义函数f(x)：x除以2。

4/16/20257应用归结原理进行定理证明-习题3练习：(1)马科斯(Marcus)是