《人工智能导论》试卷库

来源：用户分享时间：2025/9/13 10:31:25 本文由

loading 分享下载这篇文档手机版

说明：文章内容仅供预览，部分内容可能不全，需要完整文档或者需要复制内容，请下载word后使用。下载word有问题请添加微信号:xxxxxxx或QQ：xxxxxx 处理（尽可能给您提供完整文档），感谢您的支持与谅解。

对和说的话作相同的处理可得

把上面这些公式化成子句集得到

下面首先求谁是老实人。把并入得到。即比多如下一个子句

应用消解原理对进行消解

所以是老实人即从不说假话

除此之外无论如何对进行消解都推不出ANSWER(B)和ANSWER(A)。下面来证明和不是老实人。

设不是老实人则有把它否定并入中得到子句集即比多如下一个子句

应用消解原理对2进行消解

所以不是老实人。

同理可以证明也不是老实人。 2. 设已知:

(1)能阅读者是识字的; (2)海豚不识字;

(3)有些海豚是聪明的;

求证:有些聪明者并不能阅读. (15分) 证:定义如下命题: R(x):x能阅读; L(x):x识字; I(x):x是聪明的; D(x):x是海豚;

把已知条件及求证结论翻译成谓词公式为 x(R(x)→L(x))...已知 x(D(x)→L(x))...已知 x(D(x)∧I(x))...已知

x(I(x)∧R(x))...求证结论

将已知条件,求证结论的反化成子句集 ①R(x)∨L(x) ②D(y)∨L(y) ③D(a) ④I(a)

⑤I(z)∨R(z)

⑥L(a)......2,3归结a/y ⑦R(a)......1,6归结a/x ⑧R(a)......4,5归结a/z ⑨□......7,8归结

得证.

www.docin.com www.docin.com

《人工智能导论》试卷库.doc 将本文的Word文档下载到电脑，方便复制、编辑、收藏和打印