人工智能经典试题及答案(10)

人工智能经典 试题及答案

解：(1) 先定义谓词和常量

设C(x)表示x作案，Z表示赵，Q表示钱，S表示孙，L表示李 (2) 将已知事实用谓词公式表示出来 赵与钱中至少有一个人作案：C(Z)∨C(Q) 钱与孙中至少有一个人作案：C(Q)∨C(S) 孙与李中至少有一个人作案：C(S)∨C(L)

赵与孙中至少有一个人与此案无关：¬ (C (Z)∧C(S))，即 ¬C (Z) ∨¬C(S) 钱与李中至少有一个人与此案无关：¬ (C (Q)∧C(L))，即 ¬C (Q) ∨¬C(L) (3) 将所要求的问题用谓词公式表示出来，并与其否定取析取。 设作案者为u，则要求的结论是C(u)。将其与其否)取析取，得：

¬ C(u) ∨C(u)

(4) 对上述扩充的子句集，按归结原理进行归结，其修改的证明树如下：

因此，钱是盗窃犯。实际上，本案的盗窃犯不止一人。根据归结原理还可以得出：

因此，孙也是盗窃犯。

3.18 设有子句集：