语义推理器的可靠性是什么意思？
语义推理器的可靠性是什么意思？
提问于 2012-12-27 02:34:59
许多关于语义推理器的文章，都将稳健性作为推理器或推理算法的特征。然而，从维基百科(http://en.wikipedia.org/wiki/Soundness)对soundness的定义中，我了解到soundness是我的模型的一个属性，独立于我应用于它的推理算法。以模型为例：
All organisms with wings can fly.
Penguins have wings.导致以下有效(可证明？)但不合理的结果是：
Penguins can fly.因此，当我把这个模型给一个例如基于Tableaux的算法，或者KAON2推理器，这两个都是合理的，他们仍然会给我这个不合理的结果。那么你能给我描述一下到底什么是可靠吗？它是模型的特征，还是建模语言或推理方法的特征，还是仅仅是推理结果？
回答 2
Stack Overflow用户
回答已采纳
发布于 2012-12-27 20:38:15
基本上就是正确的意思。声音意味着推理器将只返回正确的结果，即知识库中显式的或从其内容中隐含的结果。不可靠意味着推理器返回的结果在知识库中既不明确，也不受任何公理的影响，即不正确的结果。
Complete表示返回所有答案。你可以在不完整的情况下保持健全，也就是说，返回所有正确答案的子集。在某些用例中，这可能是可取的。
您也可以是完整的，但不健全；您返回所有正确的答案，也有一些不正确的答案。
在您的示例中，结果对您来说是不合理的，因为您有KB没有的信息，即企鹅不能飞行。从推理者的角度来看，这是一个合理的结果。它不能确认它所给出的事实的真实性，它只是利用它们来产生新的事实。
Stack Overflow用户
发布于 2012-12-27 02:49:17
这个论点是有效的，但其中一个前提是不正确的。因此，这个论点是不合理的。
我不认为推理者可以决定你的前提是否正确-如果它可以，那么这将是相当革命性的:)
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/14044673
复制相关文章
相似问题
腾讯云开发者
