| 致谢 | 第4-5页 |
| 摘要 | 第5-6页 |
| Abstract | 第6页 |
| 目录 | 第7-9页 |
| 图目录 | 第9-10页 |
| 1 绪论 | 第10-21页 |
| 1.1 溯因推理研究概况 | 第11-14页 |
| 1.2 溯因推理与人工智能 | 第14-17页 |
| 1.3 传统溯因推理的问题及本文的思路 | 第17-20页 |
| 1.3.1 传统溯因推理的问题 | 第17-18页 |
| 1.3.2 本文思路 | 第18-20页 |
| 1.4 本文的结构 | 第20-21页 |
| 2 论辩理论介绍 | 第21-32页 |
| 2.1 论辩系统的表示——基于可废止规则的方法 | 第22-25页 |
| 2.1.1 可废止理论 | 第22-23页 |
| 2.1.2 论证的构造 | 第23-25页 |
| 2.2 邓格的论辩理论 | 第25-30页 |
| 2.2.1 邓格的核心理念 | 第25-28页 |
| 2.2.2 论辩框架理论 | 第28-30页 |
| 2.3 基于论证博弈的论辩系统语义求解 | 第30-32页 |
| 3 论辩理论与溯因推理的结合及案例分析 | 第32-50页 |
| 3.1 论辩理论与溯因推理结合的思路 | 第32-34页 |
| 3.2 基于论辩理论的溯因推理案例分析 | 第34-50页 |
| 3.2.1 一个常识推理的论辩-溯因重构 | 第34-37页 |
| 3.2.2 一个法律案件中证据分析的论辩-溯因重构 | 第37-50页 |
| 3.2.2.1 案例描述 | 第38-40页 |
| 3.2.2.2 案例的重构与分析 | 第40-48页 |
| 3.2.2.3 小结 | 第48-50页 |
| 4 结语 | 第50-52页 |
| 4.1 总结 | 第50页 |
| 4.2 本文的不足之处和未来的工作 | 第50-52页 |
| 参考文献 | 第52-56页 |
| 作者简历 | 第56页 |