计算机科学起源于那两个学科,人工智能经典习题集及各章总结(期末考试必备)...

所以，本题的盗窃犯是两个人：钱和孙。

2 任何兄弟都有同一个父亲，John和Peter是兄弟，且John的父亲是David，问Peter的父亲是谁？

解：第一步：将已知条件用谓词公式表示出来，并化成子句集。那么，要先定义谓词。

(1)定义谓词：

设Father(x,y)表示x是y的父亲。

设Brother(x,y)表示x和y是兄弟。

(2)将已知事实用谓词公式表示出来：

F1: 任何兄弟都有同一个父亲。

???

( x)( y)( z)( Brother(x,y)∧Father(z,x)→Father(z,y))

F2: John和Peter是兄弟。

Brother(John, Peter)

F3: John的父亲是David。

Father(David, John)

(3)将它们化成子句集，得

S1={﹁Brother(x,y)∨﹁Father(z,x)∨Father(z,y), Brother(John, Peter), Father(David, John)} 第二步：把问题用谓词公式表示出来，并将其否定与谓词ANSWER做析取。

设Peter的父亲是u，则有：Father(u, Peter)

将其否定与ANSWER做析取，得

G: ﹁Father(u, Peter) ∨ANSWER(u)

第三步：将上述公式G化为子句集S2，并将S1和S2合并到S。

S2={﹁Father(u, Peter) ∨ANSWER(u)}