溯因推理是人们日常生活中常常使用的一种推理形式,在科学发现等方面的作用也十分重要。溯因推理是一种或然性推理,具有非单调性特点,其结论具有可废止性。而传统的溯因推理模型并不能体现溯因推理的这一特点。为弥补这个缺陷,本文的思路是基于论辩理论(一种非单调推理方法)来研究溯因推理。文中从论辩系统的表示(基于可废止逻辑的方法)、论辩的语义(基于外延的方法)和论辩系统语义求解(基于论证博弈)三个方面介绍了所要使用的论辩理论。在论辩理论的基础上,本文以一个简单的常识推理和一个法律案例中一件证据的分析过程为例,尝试刻画出其中的溯因推理机制并进行推理,以期借助论辩系统的诸多优点弥补传统溯因模式的一些不足。文中案例分析的主要思路是：首先,根据溯因推理的特点,从观察信息和解释性假设出发,结合推理规则,构造论证；然后,先比较相互冲突的论证间的强弱关系,决定哪些论证是站得住脚的,拒绝那些无法防御的论证；最后,基于溯因推理的三条评估标准,评估假设是否可取、孰为更优,择出“最佳解释”。其中还有许多需要更进一步探讨的地方,如怎样将溯因推理的评估标准融入论证强弱的评估标准当中,使溯因推理的特点与论辩的方法结合得更紧密。本文对两个案例的分析只是一项初步的尝试,因此,在许多复杂问题上尚缺乏深入研究。本文在最后一章指出了研究中的不足之处,并提出了对未来进—步研究的展望。