Can you summarize the following document?
        
  在邏輯中,溯因法通過表示領域的邏輯理論formula_11和觀察的集合formula_12進行的。溯因是依據formula_11推導formula_12的解釋的集合。formula_15要成為formula_12依據formula_11的解釋,它應當滿足兩個條件:  在形式邏輯中,假定formula_12和formula_15為文字的集合。formula_15是formula_12依據理論formula_11的解釋的兩個條件則形式化為:  在滿足這兩個條件的可能的解釋formula_15之中,通常施加一些其他的最小性條件來避免無關的事實(對formula_12的蘊涵沒有貢獻)包含在解釋中。

  溯因法的一種不同的形式化是基於逆轉計算假設的可見效果的函式。形式化的說,我們給出假設的集合formula_32和表現(manifestation)的集合formula_33;它們相關於領域知識,並以函式formula_34所表示,這個函式接受假設的集合作為引數並給出對應的表現的集合作為結果。換句話說,對於假設的所有子集formula_35,它們的效果通過formula_36來知道。  溯因法通過找到一個集合formula_35,使得formula_38進行的。換句話說,溯因是通過找到假設的集合formula_39,使得它們的效果formula_36包含所有的觀察formula_33來進行的。  公共的假定是假設的效果是獨立的,就是說,對於所有的formula_35,formula_43成立。如果這些條件滿足,溯因法就可看作集合覆蓋的一種形式。

  哲學家查爾斯·桑德斯·皮爾士把溯因法引入至現代邏輯。在他1900年前的工作中,他主要使用這個術語來意味使用規則來解釋觀察,比如“如果下雨則草地是溼的”是用來解釋草地是溼的的已知規則。  他後來使用這個術語來意味建立解釋新觀察的新規則,強調溯因法是實際上建立任何新東西的唯一邏輯過程。也就是,他把科學的過程描述為溯因、演繹和蘊涵的組合,強調新知識只能通過溯因建立。  這與在社會科學和人工智慧中使用舊含義溯因的常見用法相反。皮爾士聲稱產生新規則的實際過程不受邏輯規則的“牽制”。他指出人們擁有先天能力來正確的做推理;將擁有這種能力解釋為進化帶來的好處。皮爾士對“溯因”的第二種用法類似於歸納法。

  溯因法已經應用於人工智慧的各種任務。溯因法的最直接的應用是自動檢測系統中的故障:給出與有關故障和表現的理論和一組故障(故障的可見效果),可以使用溯因法來推導故障的某個集合好像是問題的原因。  溯因法也用於建模自動計劃。給定與動作事件和它們的效果(例如事件演算的公式)有關的邏輯理論,找到達到一個狀態的計劃的問題可以建模為溯因蘊涵著最終狀態是目的狀態的文字的序列的問題。  信念修正,由於新資訊而調整信仰的過程,是應用溯因法的另一個領域。信仰修正的主要問題是新資訊可能與信仰的結集相矛盾,但是結合的結果不能是矛盾的。這個過程可以通過使用溯因法來完成:一旦對觀察的一個解釋已經找到,整合它不產生矛盾。溯因的這種用法不是直接的,因為向其他命題公式集增加命題公式只能使矛盾更糟糕。轉而,溯因是在排序可能世界的優先順序的層次上進行的。
溯因法或溯因推理(英語:英語:abductive reasoning,也譯作反繹推理、反向推理),是推理到最佳解釋的過程。換句話說,它是開始於事實的集合,並推匯出其最佳解釋的推理過程。有時使用術語"溯因"(abduction)意味生成假設來解釋觀察或結論,但是前者定義在哲學和計算二者中更常見。