45 已知知识如下：.pptVIP

4．5 已知知识如下： (1)桌子上的每一本书均是杰作； (2)写出杰作的人是天才； (3)某个不出名的人写了桌上某本书； 结论：某个不出名的人是天才。 (1)试用归结原理证明之。 4.5 (1)解： 令：P(e)表示 e为人， A(e) 表示e为桌子上的书， B(e)表示 e为杰作， W(e1, e2)表示 e1写了e2， C(e)表示 e出名， D(e) 表示e为天才， 则已知知识可以符号化翻译如下： (1) ?x(A(x)?B(x)) (2) ?x((P(x)? ? y(B(y)? W(x，y)))?D(x)) ? ?x ?y(P(x)?B(y)? W(x，y))?D(x)) (3)?x?y(P(x)? A(y)? ?C(x)? W(x，y)) 结论：?x(P(x)? ?C(x)? D(x)) 4.5 (1) 解: 从前提(1)得到1个子句： ?A(x1)? B(x1) 从前提(2)得到1个子句： ?P(x2)??B(x2)??W(x2,y)?D(x2) 从前提(3)得到4个子句： P(a), A(b), ?C(a), W(a，b) 否定结论得到 ??x(P(x)??C(x)?D(x)) = ?x (?P(x)?C(x)??D(x