溯因推理檢視原始碼討論檢視歷史
| 溯因推理 |
|
溯因推理是美國漢森用語。指用假設的理論去與經驗相對照，以證明理論的正確性。古希臘亞里士多德初步提出，其原詞譯為還原。美國皮爾斯譯為逆因（abduction）或回溯（retroduction）。漢森用以說明其觀察中已有理論的觀點。認為歸納法是從觀察現象中推出假設，演繹法是企圖從高一層的假設中推出觀察現象的合理性。[1]
簡介
溯因法或溯因推理是推理到最佳解釋的過程。換句話說，它是開始於事實的集合，並推導出其最佳解釋的推理過程。有時使用術語溯因（abduction）意味生成假設來解釋觀察或結論，但是前者定義在哲學和計算二者中更常見。 蘊涵」這種規則的方向（與歸納的比較請參見邏輯推理）: （以下b=結果）。（a=原因） 演繹：允許推導的結論，換句話說，演繹是推導已知事物的推論； ；換句話說，溯因是解釋已知事物的過程。 在罕見的場合，使用表達「解釋結論」而不是「解釋」來指名溯因過程的結果。 應用於人工智能中，包括故障診斷、信念修正和自動計劃。
基於邏輯的溯因
在邏輯中，溯因法通過表示領域的邏輯理論的解釋，它應當滿足兩個條件： ；。 在形式邏輯中，假定的解釋的兩個條件則形式化為： ； 是相容的。 在滿足這兩個條件的可能的解釋的蘊涵沒有貢獻）包含在解釋中。
集合覆蓋溯因
溯因法的一種不同的形式化是基於逆轉計算假設的可見效果的函數。形式化的說，我們給出假設的集合來知道。 溯因法通過找到一個集合來進行的。 公共的假定是假設的效果是獨立的，就是說，對於所有的成立。如果這些條件滿足，溯因法就可看作集合覆蓋的一種形式。
概念的歷史
哲學家查爾斯·桑德斯·皮爾士把溯因法引入至現代邏輯。在他1900年前的工作中，他主要使用這個術語來意味使用規則來解釋觀察，比如「如果下雨則草地是濕的」是用來解釋草地是濕的的已知規則。 他後來使用這個術語來意味建立解釋新觀察的新規則，強調溯因法是實際上建立任何新東西的唯一邏輯過程。也就是，他把科學的過程描述為溯因、演繹和蘊涵的組合，強調新知識只能通過溯因建立。 這與在社會科學和人工智能中使用舊含義溯因的常見用法相反。皮爾士聲稱產生新規則的實際過程不受邏輯規則的「牽制」。他指出人們擁有先天能力來正確的做推理；將擁有這種能力解釋為進化帶來的好處。皮爾士對「溯因」的第二種用法類似于歸納法。
應用
溯因法已經應用於人工智能的各種任務。溯因法的最直接的應用是自動檢測系統中的故障：給出與有關故障和表現的理論和一組故障（故障的可見效果），可以使用溯因法來推導故障的某個集合好像是問題的原因。 溯因法也用於建模自動計劃。給定與動作事件和它們的效果（例如事件演算的公式）有關的邏輯理論，找到達到一個狀態的計劃的問題可以建模為溯因蘊涵着最終狀態是目的狀態的文字的序列的問題。 信念修正，由於新信息而調整信仰的過程，是應用溯因法的另一個領域。信仰修正的主要問題是新信息可能與信仰的結集相矛盾，但是結合的結果不能是矛盾的。這個過程可以通過使用溯因法來完成：一旦對觀察的一個解釋已經找到，整合它不產生矛盾。溯因的這種用法不是直接的，因為向其他命題公式集增加命題公式只能使矛盾更糟糕。轉而，溯因是在排序可能世界的優先級的層次上進行的。