第二章基于谓词逻辑的机器推理学案.ppt

* [例] 已知某些病人喜欢所有的医生，没有一个病人喜欢任意一个骗子。证明：任意一个医生都不是骗子。 证明：令：P(x):x是病人 D(x):x是医生 Q(x):x是骗子 L(x,y):x喜欢y A1:?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)) 任意一个医生都不是骗子 为证明公式A1? A2 ?~B是不可满足的，先求出A1? A2 ?~B的子句集。 A1 =?x(P(x)??y(D(y)?L(x,y))) =?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(~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)) = ? x ~(~D(x) ? ~Q(x