《离散数学第四章 谓词演算的推理理论-归结推理系统.pptVIP

补充习题 任何人如果喜欢步行，他就不喜欢乘汽车；每个人或者喜欢乘汽车，或者喜欢骑自行车；有的人不喜欢骑自行车，因而有的人不爱步行。试用归结原理证明之。 证明(续) 则已知知识可以翻译为： （1） ?x(P(x) →(W(x) → ?D(x))) （2） ?x(P(x) →(D(x) ∨ R(x))) （3） ?x(P(x) ∧ ?R(x)) 结论为： ?x(P(x) ∧ ? W(x) ) 结论的否定为： ? x(? P(x) ∨ W(x)) 子句的性质 (1) Q1，Q2，…，Qm?，等价于Q1?Q2?…?Qm； 而? P1，P2，…，Pn等价于?P1??P2?…??Pn。 当m=n=0时，表示空子句。 (2)当子句C： Q1，Q2，…，Qm? P1，P2，…，Pn 和子句C ?： Q1 ?，Q2 ?，…，Qs ?? P1 ?，P2 ?，…，Pt ? 中有Qi和Pj ?，(或Pi和Qj ?)相同，则C和C ?可进行归结。 (3)要证明定理 A1?A2?…?An?B， 只要将 A1?A2?…?An??B 化为子句集，并证明其不可满足，即用以上方式归结出空子句。 二、霍恩子句逻辑程序 定义1：子句 L