語義推理器的健全性是什麼意思？

許多關於語義推理者的文章都把健全性當作推理者或推理算法的特徵。但是，根據維基百科的健全性定義（http://en.wikipedia.org/wiki/Soundness），我明白健全性是我的模型的一個屬性，並且獨立於我應用於此的推理算法。例如型號：語義推理器的健全性是什麼意思？

All organisms with wings can fly. 
Penguins have wings.

導致了以下有效（可證明的？），但不健全的結果：

Penguins can fly.

所以，當我把這個模型到基於靜態畫面，例如算法，或KAON2推理者說，他們都說是健全的，他們仍然會給我這個不合理的結果。所以，你可以請向我描述一下究竟是什麼？如果它是模型或建模語言或推理方法的特性還是僅僅是推理結果？

來源

2012-12-26 zardosht

這聽起來不正確，因爲它被寫入。如果你大聲讀出來，它會很健康。 – 2012-12-26 18:36:52

有翅膀的所有生物都飛嗎？那聽起來對我來說聽起來沒有什麼。 – nawfal

是的，「健全性」用於描述推理算法。模型是從句子到真值的映射。「所有有翅膀的生物都可以飛翔。企鵝有翅膀「，這看起來不像我的模特。 –

它主要是指正確的。聲音意味着推理者只會返回正確的結果，也就是說，知識庫中顯式的結果或從其內容中獲得的結果。不健全將意味着推理者返回的結果在您的知識庫中不是明確的，也不是由任何公理引起的，即不正確的結果。

完整意味着它返回全部的答案。你可以沒有完整的聲音，也就是返回所有正確答案的子集。這在某些使用情況下可能是可取的。

您也可以完整但不完善;你返回所有正確的答案，以及一些不正確的答案。

在你的例子中，結果只對你不合適，因爲你知道KB沒有的信息，即企鵝不能飛。從推理人的角度來看，這是一個良好的結果。它無法證實它給出的事實的真實性，它只是用它們來引發新的事實。

來源

2012-12-27 12:38:15 Michael

謝謝。我認爲這基本上回答了我的問題。推理者的健全性意味着它不會返回不正確的結果，即結果不明確地在KB中或可能從其公理中引出。因此，健全性可以是模型，推論結果和推理者的特徵。這取決於你從哪個角度看待它。如果我錯了，請糾正我。 – zardosht

該參數是有效的，但其中一個前提不正確。因此，這個爭論並不健全。

我不認爲推理可以決定，如果你的前提是真實的 - 如果能，那麼這將是非常革命性的:)

來源

2012-12-26 18:49:16

這是什麼意思：「......大多數潛在的推理方法已經被證明是完善的，tableaux和hypertableaux結石是完整的......」。作爲一個例子從這裏[http://www.semantic-web-journal.net/sites/default/files/swj120_2.pdf](http://www.semantic-web-journal.net/sites/default /files/swj120_2.pdf） – zardosht

@zardosht - 我想這意味着算法本身只包含合理的推理。那就是他們「證明是正確的」。 –

語義推理器的健全性是什麼意思？

回答

相關問題