解决方案和不完整的知识库

Question

假设我有一个不完整的知识库，例如：

(rich(dave), poor(dave))  // dave is either poor or rich

(not rich(dave), not poor(dave))  // dave is not poor and rich at the same time.

我的问题是：1。如果我在上述条款上进行解决，我会得到空的子句吗？ 2.如果是，这是否意味着我的知识基础不一致？

Answer 1

该理论并不是不一致的，并且在琐碎的情况下接受了两个不同的模型：

• 戴夫（Dave）富有但不是贫穷的第一个。
• 戴夫（Dave）贫穷但不富有的第二个。

您可能会混淆“空子句”，它不包含字面意思，因此总是错误的，而“真实子句”既包含字面意思又是其否定，因此始终是真实的。应用分辨率导致“真实子句”分解，而不是“空子句”。