溯因推理
维基百科,自由的 encyclopedia
溯因法或溯因推理(英语:abductive reasoning,也译作反绎推理、反向推理),是从事实推理到最佳解释的过程。换句话说,它是开始于事实的集合,并推导出其最佳解释的推理过程。有时使用术语溯因(abduction)意味生成假设来解释观察或结论,但是前者定义在哲学和计算二者中更常见。
演绎和溯因区别在于推理中使用“ 蕴涵”这种规则的方向(与归纳的比较请参见逻辑推理):
(以下b=结果)。(a=原因)
- 演绎:允许推导作为的结论,换句话说,演绎是推导已知事物的推论;
- 溯因:允许推导作为的解释,溯因同演绎反向,通过允许“蕴涵”的前件推导自结论;换句话说,溯因是解释已知事物的过程。
在罕见的场合,使用表达“解释结论”而不是“解释”来指名溯因过程的结果。