| 中文摘要 | 第1-4页 |
| 英文摘要 | 第4-7页 |
| 引言 | 第7-8页 |
| 第一章 绪论 | 第8-13页 |
| 1．1 人工智能简介 | 第8-9页 |
| 1．2 非单调逻辑 | 第9-10页 |
| 1．3 从非单调推理到常识推理 | 第10-11页 |
| 1．4 常识推理中的信念修正问题 | 第11-13页 |
| 第二章 几种迭代修正方法的比较 | 第13-21页 |
| 2．1 引言 | 第13-14页 |
| 2．2 几种典型的迭代修正方法 | 第14-18页 |
| 2．3 几种迭代修正方法的比较 | 第18-20页 |
| 2．4 小结 | 第20-21页 |
| 第三章 定量非修正方法与AGM公设 | 第21-29页 |
| 3．1 AGM理论 | 第21-22页 |
| 3．2 定量非修正方法 | 第22-24页 |
| 3．3 非修正方法满足AGM公设情况的讨论 | 第24-28页 |
| 3．4 小结 | 第28-29页 |
| 第四章 定量非修正方法在命题逻辑意义下实现算法 | 第29-46页 |
| 4．1 算法原理 | 第29-30页 |
| 4．2 算法描述 | 第30-41页 |
| 4．3 实例 | 第41-45页 |
| 4．4 小结 | 第45-46页 |
| 结论与展望 | 第46-48页 |
| 参考文献 | 第48-50页 |
| 附录 | 第50-53页 |
| 致谢 | 第53页 |