Question

许多关于语义推理器的文章，将健全性称为推理者或推理算法的特征。然而，根据维基百科（http://en.wikipedia.org/wiki/Soundness）的健全性定义，我理解健全性是我的模型的属性，并且独立于我应用于它的推理算法。例如模型：

All organisms with wings can fly. 
Penguins have wings.

导致以下有效（可证明？）但结果不合理：

Penguins can fly.

因此，当我将此模型提供给例如基于Tableaux的算法或KAON2推理器时，它们都被认为是合理的，它们仍然会给我这个不健全的结果。所以，请你详细描述一下完整性是什么？如果它是模型或建模语言或推理方法的特征或仅仅是推理结果？

Answer 1

它基本上意味着正确。声音意味着推理器将仅返回正确的结果，即，在知识库中明确或者从其内容中获得的结果。不合理意味着推理器会返回一个结果，该结果在您的KB中都不是明确的，并且不会被任何公理所引起，即结果不正确。

完成意味着它返回所有答案。你可以声音而不是完整的，也就是说，返回所有正确答案的子集。在某些用例中这是可取的。

你也可以完整，但不健全;你会返回所有正确的答案，还有一些不正确的答案。

在您的示例中，结果只对您不合理，因为您有KB没有的信息，即企鹅无法飞行。从推理者的角度来看，这是一个合理的结果。它无法证实它所给出的事实的真实性，它只是用它们来引导新事物。

Answer 2

这个论点是有效的，但其中一个前提是不正确的。因此论证不合理。

我不认为推理者可以决定你的前提是否属实 - 如果可以的话，那将是非常具有革命性的：）