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

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

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

在罕见的场合，使用表达"解释结论"而不是"解释"来指名溯因过程的结果。

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

Abductive reasoning (also called abduction, abductive inference or retroduction) is a form of logical inference which goes from an observation to a theory which accounts for the observation, ideally seeking to find the simplest and most likely explanation. In abductive reasoning, unlike in deductive reasoning, the premises do not guarantee the conclusion. One can understand abductive reasoning as "inference to the best explanation".