| 第一章 绪论 | 第1-11页 |
| ·人工智能与常识问题 | 第7页 |
| ·常识推理的非单调性 | 第7-8页 |
| ·信念修正 | 第8-9页 |
| ·本文工作及全文安排 | 第9-11页 |
| 第二章 信念修正的几种模型 | 第11-26页 |
| ·AGM假设系统 | 第11-15页 |
| ·AGM的扩充算子 | 第12页 |
| ·AGM的修正算子 | 第12-13页 |
| ·AGM的收缩算子 | 第13-15页 |
| ·Levi恒等式与Harper恒等式 | 第15页 |
| ·广义信念修正 | 第15-18页 |
| ·广义扩充 | 第16-17页 |
| ·广义信念修正 | 第17页 |
| ·广义信念收缩 | 第17-18页 |
| ·算子的构造 | 第18-24页 |
| ·部分交收缩(partial meet contraction) | 第18-20页 |
| ·安全收缩(safe contraction) | 第20-21页 |
| ·认知信度(epistemic entrenchment)与信念收缩 | 第21-23页 |
| ·信念收缩与收缩后承 | 第23-24页 |
| ·由基本集生成的理论上的收缩算子 | 第24-26页 |
| 第三章 包-核收缩算子 | 第26-39页 |
| ·多收缩 | 第26-27页 |
| ·单语句下的核收缩 | 第27-29页 |
| ·包-核收缩算子 | 第29-39页 |
| ·基本定义 | 第29-31页 |
| ·包-核收缩算子的表示定理 | 第31-33页 |
| ·平滑的包-核收缩及其表示定理 | 第33-35页 |
| ·饱和的包-核收缩 | 第35-36页 |
| ·平滑的包-核收缩和基于部分交收缩的包收缩 | 第36-39页 |
| 第四章 选择-核收缩与子核收缩 | 第39-47页 |
| ·基本概念 | 第39-40页 |
| ·选择-核收缩算子的表示定理 | 第40-43页 |
| ·子核收缩 | 第43-47页 |
| 第五章 总结 | 第47-48页 |
| ·全文总结 | 第47页 |
| ·进一步的研究内容 | 第47-48页 |
| 致谢 | 第48-49页 |
| 学习期间的研究成果 | 第49-50页 |
| 参考文献 | 第50-51页 |