| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第1章 绪论 | 第10-15页 |
| ·引言 | 第10页 |
| ·国内外研究综述 | 第10-12页 |
| ·主要研究工作 | 第12-14页 |
| ·论文组织结构 | 第14-15页 |
| 第2章 信念静态非修正理论 | 第15-22页 |
| ·常识与非单调推理 | 第15-16页 |
| ·信念修正理论的发展 | 第16-19页 |
| ·信念非修正理论及其发展 | 第19-22页 |
| 第3章 加权子句型信念集的静态非修正处理方法 | 第22-42页 |
| ·加权子句型信念集的静态非修正方法的理论基础 | 第22-26页 |
| ·一阶逻辑中的基本概念 | 第23-24页 |
| ·一阶逻辑中的归结原理 | 第24-26页 |
| ·偏序集与格 | 第26-29页 |
| ·偏序集的基本概念 | 第26-27页 |
| ·格的基本概念 | 第27-28页 |
| ·几种特殊的格 | 第28-29页 |
| ·假说扩充的定义 | 第29-31页 |
| ·假说扩充的基本性质 | 第31-41页 |
| ·对假说扩充一致性的讨论 | 第32-35页 |
| ·演绎封闭性 | 第35-37页 |
| ·外延性 | 第37-38页 |
| ·唯一性 | 第38-39页 |
| ·累积性 | 第39-41页 |
| ·小结 | 第41-42页 |
| 第4章 基于静态非修正方法的加权子句型信念集的认识进程 | 第42-50页 |
| ·认识进程理论 | 第42-43页 |
| ·加权子句型假说的认识进程 | 第43-47页 |
| ·信念修正方法与信念非修正方法的比较 | 第47-48页 |
| ·信念修正方法与信念非修正方法的应用 | 第48-49页 |
| ·小结 | 第49-50页 |
| 第5章 总结与展望 | 第50-52页 |
| ·论文总结 | 第50-51页 |
| ·工作展望 | 第51-52页 |
| 参考文献 | 第52-55页 |
| 致谢 | 第55页 |