Artificial intelligence 解析反驳定理解

我有以下问题，我需要用人工智能中的分解方法来解决

我不明白为什么在第一句中加上dog（x）的否定，在第四句中加上///y的否定，为什么加上animal（y）的否定

---

我的意思是否定的必要性是什么

回想一下逻辑含义

p→ Q

相当于

-P∨ Q

。您可以通过查看真值表来验证这一点：

   P Q  P → Q
   0 0    1
   1 0    0
   0 1    1
   1 1    1

现在清楚地

dog（X）→ 动物（X）

相当于狗（X）∨ animal（X）是文字的析取，因此是子句

同样的推理也适用于

动物（Y）→ 模具（Y）

一旦你得到了一组与你输入的知识库等价的小句形式的公式，你就可以应用二进制解析来检查你的知识库是否一致，或者证明一个目标

---

要证明一个目标，你需要在你的一致性知识库中添加一个否定，然后看看添加了否定目标的知识库是否变得不一致。

检查这个答案：这是哪本书？@JerzyDziewierz Luger的《人工智能》