Logic 语义推理的合理性意味着什么？

许多关于语义推理机的文章都将稳健性作为推理机或推理算法的特征。 然而，从维基百科对健全性的定义来看(http://en.wikipedia.org/wiki/Soundness)我知道可靠性是我的模型的一个属性，独立于我应用于它的推理算法。 例如，模型：

All organisms with wings can fly. 
Penguins have wings.

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

Penguins can fly.

所以当我把这个模型给一个基于Tableaux的算法，或者KAON2推理机，它们都被认为是合理的，它们仍然会给我这个不合理的结果。

---

那么你能给我描述一下到底什么是稳健性吗？它是模型或建模语言或推理方法的特征，还是仅仅是推理结果

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

---

我认为推理者无法判断你的前提是否正确——如果可以，那么这将是一个革命性的结果：）

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

---

我认为推理者无法判断你的前提是否正确——如果可以，那么这将是一个革命性的结果：）

它基本上意味着正确。声音意味着推理者将只返回正确的结果，也就是说，在知识库中是明确的，或者从其内容中得到的结果。Unsound意味着推理器返回的结果在知识库中既不明确，也不包含任何公理，即不正确的结果

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

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

---

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

它基本上意味着正确。声音意味着推理者将只返回正确的结果，也就是说，在知识库中是明确的，或者从其内容中得到的结果。Unsound意味着推理器返回的结果在知识库中既不明确，也不包含任何公理，即不正确的结果

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

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

---

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

它不是声音，因为它是写的。如果你大声读出来，就会是声音。所有有翅膀的生物都会飞吗？对我来说，这听起来并不合理。是的，“合理性”是用来描述推理算法的。模型是从句子到真值的映射。“所有有翅膀的生物都能飞。企鹅有翅膀。”在我看来，这不像是一个模型。@nawfal是的，这也是我的观点。这里的模型不健全。因此，可靠性应该是模型的特征，而不是建模语言或推理算法。那么为什么说Tableaux算法或KAON2推理机是合理的呢？它不是合理的，因为它是书面的。如果你大声读出来，就会是声音。所有有翅膀的生物都会飞吗？对我来说，这听起来并不合理。是的，“合理性”是用来描述推理算法的。模型是从句子到真值的映射。“所有有翅膀的生物都能飞。企鹅有翅膀。”在我看来，这不像是一个模型。@nawfal是的，这也是我的观点。这里的模型不健全。因此，可靠性应该是模型的特征，而不是建模语言或推理算法。那么，为什么说Tableaux算法或KAON2推理机是可靠的呢？这意味着什么：“……大多数基本推理方法已被证明是可靠和完整的。Tableaux和hypertableaux算法是可靠和完整的……”。作为这里@zardosht的一个例子，我认为这意味着算法本身只包含合理的推理。也就是说，它们是“可证明正确的”。这意味着什么：“……大多数基本推理方法已被证明是合理和完整的。tableaux和hypertableaux计算是合理和完整的……”。作为这里@zardosht的一个例子，我认为这意味着算法本身只包含合理的推理。也就是说，他们是“可以证明是正确的”。谢谢。我想这基本上回答了我的问题。推理机的可靠性意味着它不会返回不正确的结果，即KB中没有明确的结果或可以从其公理中推断出来的结果。因此，可靠性可以是模型、推理结果和推理者的特征。这取决于你从哪个角度看它。如果我错了，请纠正我。谢谢。我想这基本上回答了我的问题。推理机的可靠性意味着它不会返回不正确的结果，即KB中没有明确的结果或可以从其公理中推断出来的结果。因此，可靠性可以是模型、推理结果和推理者的特征。这取决于你从哪个角度看它。如果我错了，请纠正我。