人工智能复习汇总(9)

（6）------（4）（5）归结

最终归结为：?workmate(wang,liu)?ANSWER(zhang).

（7）-------（2）（6）归结 最终归结为：ANSWER(zhang).

由ANSWER(zhang)可得出：小刘的上司是张先生。

2．已知：能阅读的人是识字的；海豚不识字；有些海豚是很聪明的。 用归结策略证明：有些很聪明的人并不识字

解： 证明：首先定义谓词和常量：（2 分） Read(x)表示x 是能阅读的； Know(y)表示y 是识字的； Wise(z)表示z 是很聪 明的； r 表示人类，h 表示海豚。

然后将已知事实和目标的否定用谓词公式表示出来，并将它们化成子句集：（2 分） (1) ～Read(r)∨Know(r)