2

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

All organisms with wings can fly. 
Penguins have wings.

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

Penguins can fly.

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

4

2 回答 2

3

它基本上意味着正确。声音意味着推理器将仅返回正确的结果，即在知识库中明确显示或从其内容中包含的结果。不健全意味着推理器返回的结果在您的知识库中既不明确，也不包含任何公理，即不正确的结果。

完成意味着它返回所有答案。您可以在不完整的情况下保持健全，即返回所有正确答案的子集。在某些用例中，这可能是可取的。

你也可以是完整的，但不健全；您返回所有正确的答案，以及一些不正确的答案。

在您的示例中，结果对您来说只是不合理的，因为您有知识库没有的信息，即企鹅不能飞。从推理者的角度来看，这是一个合理的结果。它不能证实它所提供的事实的真实性，它只是用它们来暗示新的事实。

于 2012-12-27T12:38:15.073 回答
1

论证是有效的，但前提之一是不正确的。所以这个论点是不成立的。

我认为推理者无法确定您的前提是否正确-如果可以，那将是非常具有革命性的:)

于 2012-12-26T18:49:16.550 回答