溯因推理

溯因推理是美國漢森用語。指用假設的理論去與經驗相對照，以證明理論的正確性。古希臘亞里士多德初步提出，其原詞譯為還原。美國皮爾斯譯為逆因( abduction)或回溯(retroduction)。漢森用以說明其觀察中已有理論的觀點。認為歸納法是從觀察現象中推出假設，演繹法是企圖從高一層的假設中推出觀察現象的合理性。

簡介

溯因法或溯因推理是推理到最佳解釋的過程。換句話說，它是開始於事實的集合，並推匯出其最佳解釋的推理過程。有時使用術語溯因（abduction）意味生成假設來解釋觀察或結論，但是前者定義在哲學和計算二者中更常見。

 演繹和溯因區別在於推理中使用“

（以下b=結果）。（a=原因）

演繹：允許推導  作為 的結論，換句話說，演繹是推導已知事物的推論；

 溯因：允許推導 作為 的解釋，溯因同演繹反向，通過允許“ 蘊涵 ”的前件推導自結論  ；換句話說，溯因是解釋已知事物的過程。

在罕見的場合，使用表達“解釋結論”而不是“解釋”來指名溯因過程的結果。