解析反驳的定理解

Question

我有以下问题需要通过人工智能中的解决方法来解决

我不明白为什么在第一个条款中添加了对狗（x）的否定，在第四个条款中添加了/// y为什么添加了对动物（Y）的否定...

我的意思是那里需要否定的是什么？

Answer 1

回想一下逻辑蕴涵P → Q等同于¬P ∨ Q。您可以通过查看真值表来验证这一点：

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

现在显然dog(X) → animal(X)相当于¬dog(X) ∨ animal(X)，这是文字的分离，因此是一个子句。

同样的推理适用于animal(Y) → die(Y)。

只要你有一套与你的输入知识库相同的句子形式的公式，你就可以应用二进制解析来检查你的知识库是否一致，或者证明一个目标。

为了证明一个目标，你可以在你的一致知识库中添加对它的否定，看看增加了否定目标的知识库是否会变得不一致。