**溯因法**或**溯因推理**（英语：，也译作**反绎**推理、**反向推理**），是從事實推理到最佳解释的过程。换句话说，它是开始于事实的集合，并推导出其最佳解释的推理过程。有时使用术语*溯因*（abduction）意味生成假设来解释观察或结论，但是前者定义在哲学和计算二者中更常见。

演绎和溯因区别在于推理中使用"a 蕴涵b"这种规则的方向（与归纳的比较请参见逻辑推理）:

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

演绎：允许推导b作为a的结论，换句话说，演绎是推导已知事物的推论；
溯因：允许推导a作为b的解释，溯因同演绎反向，通过允许"a蕴涵b"的前件a推导自结论b；换句话说，溯因是解释已知事物的过程。
在罕见的场合，使用表达「解释结论」而不是「解释」来指名溯因过程的结果。

应用于人工智能中，包括故障诊断、信念修正和自动计划。

基于逻辑的溯因
-------

在逻辑中，溯因法通过表示领域的逻辑理论T和观察的集合O进行的。溯因是依据T推导O的解释的集合。E要成为O依据T的解释，它应当满足两个条件：

* O推导自E和T；

* E相容于T。

在形式逻辑中，假定O和E为文字的集合。E是O依据理论T的解释的两个条件則形式化为：

T\cup E\models O；
T\cup E是相容的。
在满足这两个条件的可能的解释E之中，通常施加一些其他的最小性条件来避免无关的事实（对O的蕴涵没有贡献）包含在解释中。

集合覆盖溯因
------

溯因法的一种不同的形式化是基于逆转计算假设的可见效果的函数。形式化的说，我们给出假设的集合H和表现（manifestation）的集合M；它们相关于领域知识，并以函数e所表示，这个函数接受假设的集合作为参数并给出对应的表现的集合作为结果。换句话说，对于假设的所有子集H'\subseteq H，它们的效果通过e(H')来知道。

溯因法通过找到一个集合H'\subseteq H，使得M\subseteq e(H')进行的。换句话说，溯因是通过找到假设的集合H'，使得它们的效果e(H')包含所有的观察M来进行的。

公共的假定是假设的效果是独立的，就是说，对于所有的H'\subseteq H，e(H')=\bigcup \_{{h\in H'}}e(\{h\})成立。如果这些条件满足，溯因法就可看作集合覆盖的一种形式。

概念的历史
-----

哲学家查尔斯·桑德斯·皮尔士把溯因法引入至现代逻辑。在他1900年前的工作中，他主要使用这个术语来意味使用规则来解释观察，比如"如果下雨则草地是湿的"是用来解释草地是湿的的已知规则。

他后来使用这个术语来意味建立解释新观察的新规则，强调溯因法是实际上建立任何新东西的唯一逻辑过程。也就是，他把科学的过程描述为溯因、演绎和蕴涵的组合，强调新知识只能通过溯因建立。

这与在社会科学和人工智能中使用旧含义溯因的常见用法相反。皮爾士声称产生新规则的实际过程不受逻辑规则的"牵制"。他指出人们拥有先天能力来正确的做推理；將拥有这种能力解释为进化带来的好处。皮爾士对"溯因"的第二种用法类似于归纳法。

应用
--

溯因法已经应用于人工智能的各种任务。溯因法的最直接的应用是自动检测系统中的故障：给出与有关故障和表现的理论和一组故障（故障的可见效果），可以使用溯因法来推导故障的某个集合好像是问题的原因。

溯因法也用于建模自动计划。给定与动作事件和它们的效果（例如事件演算的公式）有关的逻辑理论，找到达到一个状态的计划的问题可以建模为溯因蕴涵着最终状态是目的状态的文字的序列的问题。

信念修正，由于新信息而调整信仰的过程，是应用溯因法的另一个领域。信仰修正的主要问题是新信息可能与信仰的结集相矛盾，但是结合的结果不能是矛盾的。这个过程可以通过使用溯因法来完成：一旦对观察的一个解释已经找到，整合它不产生矛盾。溯因的这种用法不是直接的，因为向其他命题公式集增加命题公式只能使矛盾更糟糕。转而，溯因是在排序可能世界的优先级的层次上进行的。

参见
--

* 查尔斯·桑德斯·皮尔士
* 演绎推理
* 可废止推理
* 归纳推理
* 逻辑
* 逻辑推理
* 推理过程
* 歸謬法

引用
--

* T. Eiter and G. Gottlob (1995). The complexity of logic-based abduction. *Journal of the ACM*, 42 (1):3-42.

* T. Menzies. Applications of abduction: knowledge-level modelling. *International Journal of Human-Computer Studies*（1996）, 45 (3):305-335.

* Josephson, John R. and Josephson, Susan G.（ed.，1994）Abductive Inference: Computation, Philosophy, Technology, Cambridge University Press.

外部链接
----

* John Josephson's page on abduction
* Is there a Logic of Exploratory Data Analysis?

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
逻辑 |
| --- |
|  |
| 

|  概要 |
| --- |
|  |
| 

|  |  |
| --- | --- |
| 学术领域 | 
* 辩论法
* 价值论
* 审辩式思维
* 可计算性理论
* 形式语义学
* 逻辑史
* 非形式逻辑
* 计算器逻辑
* 数理逻辑
* 数学
* 元逻辑
* 元数学
* 模型论
* 哲学逻辑
* 哲学
* 逻辑哲学
* 数学哲学
* 证明论
* 集合论

 |
|  |
| 基础概念 | 
* 溯因推理
* 分析真理
* 二律背反
* 先验
* 演绎推理
* 定义
* 描述
* 蕰涵
* 归纳推理
* 推论
* 逻辑结论
* 逻辑形式
* 逻辑蕰涵
* 逻辑真理
* 名称
* 充分条件
* 意义
* 悖论
* 可能世界
* 假定
* 机率
* 理智
* 推理
* 指涉
* 语义学
* 语句
* 严格条件
* 交换区
* 语法学
* 真理
* 真值
* 有效性

 |

 |

 |
|  |
| 

|  哲学逻辑 |
| --- |
|  |
| 

|  |  |
| --- | --- |
| 审辩式思维和非形式逻辑 | 
* 分析
* 歧义性
* 论证
* 信仰
* 偏见
* 公信力
* 证据
* 解释
* 解释力
* 事实
* 谬论
* 探究
* 意见
* 奥卡姆剃刀
* 前提
* 政治宣传
* 审慎
* 推理
* 关联
* 修辞学
* 严格
* 含糊

 |
|  |
| 演绎理论 | 
* 结构主义
* 双面真理说
* 虚构主义
* 有限主义
* 形式主义
* 直觉主义
* 逻辑原子论
* 逻辑主义
* 唯名论
* 柏拉图唯实论
* 实用主义
* 唯实论

 |

 |

 |
|  |
| 

|  元逻辑（英语：）和元数学 |
| --- |
|  |
| 
* 康托尔定理
* 可判定性
* 邱奇-图灵论题
* 兼容性
* 有效方法
* 数学基础
* 哥德尔完备性定理
* 哥德尔不完备定理
* 可靠性
* 完备性
* 可判定性
* 解释
* 勒文海姆–斯科伦定理
* 元定理
* 可满足性
* 独立性
* 类型-记号区别
* 使用-提及区别

 |

 |
|  |
| 

|  非传统逻辑 |
| --- |
|  |
| 

|  |  |
| --- | --- |
| 模态逻辑 | 
* 真性逻辑
* 价值逻辑
* 道义逻辑
* 信念逻辑
* 认识逻辑
* 时间逻辑

 |
|  |
| 直觉主义 | 
* 直觉主义逻辑
* 结构分析
* 海廷算术
* 直觉类型论
* 结构集合论

 |
|  |
| 模糊逻辑 | 
* 真实度
* 模糊规则
* 模糊集
* 模糊有限元素
* 模糊集合运算

 |
|  |
| 亚结构逻辑 | 
* 结构规则
* 相干逻辑
* 线性逻辑

 |
|  |
| 次协调逻辑 | 
* 双面真理说

 |
|  |
| 描述逻辑 | 
* 本体论
* 本体语言

 |

 |

 |
|  |
| 

|  逻辑学家 |
| --- |
|  |
| 
* 安德逊
* 亚里斯多德
* 鲁世德
* 西那
* 贝恩
* 巴威斯
* 博内斯
* 布尔
* 布勒斯
* 康托尔
* 卡尔纳普
* 邱奇
* 克吕西波
* 加里
* 德摩根
* 弗雷格
* 吉奇
* 根岑
* 哥德尔
* 希尔伯特
* 克莱尼
* 克里普克
* 莱布尼兹
* 勒文海姆
* 皮亚诺
* 皮尔士
* 普特南
* 奎因
* 罗素
* 施罗德
* 司各脱
* 斯科伦
* 史慕扬
* 塔斯基
* 图灵
* 怀特黑德
* 奥卡姆的威廉
* 维根斯坦
* 策梅洛

 |

 |
|  |
| 

|  列表 |
| --- |
|  |
| 

|  |  |
| --- | --- |
| 主题 | 
* 逻辑概要
* 数理逻辑
* 布尔代数
* 集合论

 |
|  |
| 其它 | 
* 逻辑学家
* 推理规则
* 悖论
* 谬论
* 逻辑符号

 |

 |

 |
|  |
| 

|  常见逻辑符号 |
| --- |
|  |
| 
&   
∨   
¬   
~   
→   
⊃   
≡   
|   
∀   
∃   
⊤   
⊥   
⊢   
⊨   
∴   
∵
 |

 |
|  |
| * 参见： 哲学主题
* 分类分类
 |

 |

本條目部分或全部内容出自以GFDL授權發佈的《自由線上電腦詞典》（FOLDOC）。