【人工智能导论】基于谓词逻辑的推理方法作业：证明“有些聪明者并不能阅读“

题目内容：

‏已知:

‏(1)能阅读者是识字的;

‏(2)海豚不识字;

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

‏已知谓词R（x）表示x能阅读, L(x)表示识字，D（x）表示x是海豚，I（x）表示聪明的，请用归结原理证明：有些聪明者并不能阅读。

本人依据王万良讲师在MOOC上的人工智能导论课程教学，给出的最终解法如下：

证明:

已知谓词:R（x）表示x能阅读, L(x)表示识字，D（x）表示x是海豚，I（x）表示聪明的。



则将条件与目标用谓词公式表示：

(1) ∀x(R(x)→L(x))

(2) ∀x(D(x)→¬L(x))

(3) ∃x(D(x)∧I(x))

把要求证的结论用谓词公式表示出来并否定，得：

(4) ∃x(I(x)∧¬R(x))



把上述公式化成子句集：

(1) ¬R(x)∨L(x)

(2) ¬D(y)∨¬L(y)

(3) D(a)

(4) I(a)

(5) ¬I(z)∨R(z)

应用归结原理进行归结：

(6) ¬L(a)      (2),(3)归结

(7) ¬R(a)      (1),(6)归结

(8) R(a)       (4),(5)归结

(9) NIL        (7),(8)归结



故得证

本人拙作，请大佬们点评。