| 中文摘要 | 第3-5页 |
| Abstract | 第5-6页 |
| 引言 | 第8-10页 |
| 一、什么是溯因?从皮尔士说起 | 第10-19页 |
| (一) 皮尔士的逻辑观 | 第10-11页 |
| (二) 作为逻辑学的溯因推理研究 | 第11-15页 |
| (三) 溯因研究的跨学科意义 | 第15-19页 |
| 二、莱拉溯因研究主体——逻辑树程序 | 第19-34页 |
| (一) AI程序基础 | 第19-20页 |
| (二) 莱拉的溯因三元体系刻画 | 第20-22页 |
| (三) 用逻辑树的方法验证溯因推理 | 第22-29页 |
| (四) 不同溯因种类的运算程序 | 第29-33页 |
| (五) 逻辑树方法是完美的吗? | 第33-34页 |
| 三、莱拉论溯因中信念修正的global与local算法 | 第34-45页 |
| (一) 信念修正理论 | 第34-35页 |
| (二) D—N模型与I—S模型 | 第35-39页 |
| (三) 背景理论修改：信念修正的global与local算法 | 第39-45页 |
| 四、几点批判性思考 | 第45-53页 |
| (一) 皮尔士理论的缺陷 | 第45-47页 |
| (二) 对莱拉溯因研究的几点认识 | 第47-49页 |
| (三) 对于溯因研究的进一步思考 | 第49-53页 |
| 结语 | 第53-55页 |
| 参考文献 | 第55-58页 |
| 后记 | 第58-61页 |