我有一个问题，即知识库的一致性和完整性意味着什么。我一直在从 Hector Levesque 和 Ronald J. Brachman 的“知识表示和推理”一书中研究非单调逻辑和不同的形式，但有些事情让我感到困惑。
他们说：
如果没有句子，我们说 KB 展示了一致的知识这样既和是已知的。这与要求 KB 是可满足的相同。我们也说一个知识库展示了完整的知识当且仅当当当（在其词汇范围内）或者已知
然后，他们似乎暗示“已知”是指“被邀请”。他们说
当然，一般来说，知识可能是不完整的。例如，假设 KB 由一个句子（或者）。那么 KB 也不需要或者，因此展示了不完整的知识。
但是在处理句子集时，我通常将这些术语定义为可推导而不是蕴涵。
所以我的问题是，这些作者在上述引文中所说的“已知”到底是什么意思？
编辑：这篇文章有助于澄清事情。
似乎他们在声明一个知识库是一致的，当且仅当它从不断言某个特定 P 的真值和否定的真值时。换句话说，如果一个知识库从不自相矛盾，它就是一致的。它们的定义允许不完整的知识库被认为是一致的；根据他们的定义，一个空的知识库仍然被认为是一个一致的知识库。
我不认为他们的意思是“已知”等同于“包含”——在一个相当复杂的系统中，不能期望知道每个包含的句子。也许他们的例子只是有点缺乏。
我想在这种情况下，“已知”意味着什么或者在 KB 中；此外，这两个中的一个恰好需要在 KB 中。
想想如果这意味着什么和都在 KB 中，那么 KB 显然是不一致的。
如果这两个句子都不在 KB 中，则根本无法从 KB 中检索到任何信息，尚不清楚是否或者应该是真实的陈述；因此是“未知的”。
但是，如果这两个中的一个恰好在 KB 中，那么一个拥有所有需要的信息（由于排中）；是“已知的”并且是一致的。