溯因推理是美国汉森用语。指用假设的理论去与经验相对照，以证明理论的正确性。古希腊亚里士多德初步提出，其原词译为还原。美国皮尔斯译为逆因（abduction）或回溯（retroduction）。汉森用以说明其观察中已有理论的观点。认为归纳法是从观察现象中推出假设，演绎法是企图从高一层的假设中推出观察现象的合理性。溯因法或溯因推理是推理到最佳解释的过程。换句话说，它是开始于事实的集合，并推导出其最佳解释的推理过程。有时使用术语溯因（abduction）意味生成假设来解释观察或结论，但是前者定义在哲学和计算二者中更常见。