溯因推理

溯因推理
术语名称	溯因推理
英语名称	abductive reasoning
别名	溯因法, 回溯推理, abductive inference

溯因
术语名称	溯因
英语名称	abduction

溯因推理(abductive reasoning)或溯因法，指从观察事实到合理解释或成因的推理。溯因推理归类为合情推理、或然性推理，只能给出一个最合理的解释。

形式

溯因推理中，往往有一个由一些事先知道的条件命题，形如 [math]\displaystyle{ H\rightarrow O }[/math] 的，构成的一个理论 [math]\displaystyle{ T }[/math] ；然后，在观察到 [math]\displaystyle{ O }[/math] 发生时，推断 [math]\displaystyle{ H }[/math] 有可能也发生了。

由于理论中可能存在 [math]\displaystyle{ H_1\rightarrow O, H_2\rightarrow O, \cdots }[/math] ，溯因推理只能得到 [math]\displaystyle{ H_1,H_2\cdots }[/math] 等候选解释，并在候选解释中找出最合理的一个作为假说。如果观察到新的事实，可能会推翻候选解释中部分解释，也可能会改变候选解释之间的可信度关系，最终最佳解释的选择也可能被改变。

衡量标准

解释的最佳性没有绝对标准，一般要求解释力强（能完全解释观察到的事实）、简洁（需要的假设更少，即“Occam 剃刀”），一致（不与已知背景知识冲突），可验证（能观察这一解释可能引起的其他现象，进一步进行后续观察验证）。

特征

溯因推理是合情推理，在给定的正确前提下，为其提出多种解释，这不意味着溯因推理一定能提出正确解释作为候选解释，或者从候选解释中找到正确的解释。一般来说，溯因推理会选择更容易发生的原因，比如简单事件比复杂事件更容易发生，有更少假设的理论比有更多假设的理论更容易发生，符合现有知识的理论比存在对未知知识猜测的更容易发生，但是这不意味着后者不可能是真实的原因。

溯因推理是针对某个特定事件推断其发生原因的，广泛存在于日常问题，如医学诊断、刑侦学搜查等不同场景下都是根据现有现象进行溯因的过程。在自然科学不发达的年代，玄学算命也可以看作是因为人们已有知识的理论体系不同所产生的另一种溯因。

溯因通常需要基于一般性的解释，而这种解释需要来自归纳过程，并且也可能在确定唯一解释后作为这一个解释归纳过程中的新的特例，所以有时也会有人混淆溯因和归纳的范围。

传统逻辑
推理的传统分类
推理方向	一般到特殊	特殊到一般		特殊到特殊	现象到解释
推理过程	演绎	归纳（广义）		类比	溯因
推理方法	演绎法	完全归纳法 （含数学归纳法等）	归纳法（狭义） （不完全归纳法）	类比法	溯因法
推理分类	演绎推理/必然性推理		归纳推理	类比推理	溯因推理
			合情推理/概然性推理/或然性推理
命题及其演绎推理的传统分类
直言命题	直接推理（对当关系推理、换质推理、换位推理）、三段论（直言三段论）
假言命题	假言推理（肯定前件、否定后件、逆否命题推理）、假言三段论
选言命题	选言推理（选言三段论）
-	选言假言推理（构成式二难推理、破斥式二难推理）