| 前言 | 第1-13页 |
| 第一章 引言和预备知识 | 第13-23页 |
| §1.1 缺省逻辑的背景及主要问题 | 第13-16页 |
| §1.2 预备知识 | 第16-18页 |
| §1.3 缺省扩充 | 第18-23页 |
| 第二章 无前提正规闭缺省理论的扩充的构造性 | 第23-33页 |
| §2.1 无前提正规闭缺省理论的分类 | 第24-25页 |
| §2.2 关于无前提正规闭缺省理论的扩充的若干定理 | 第25-28页 |
| §2.3 制作无前提正规闭缺省理论扩充的一种准构造性方法 | 第28-30页 |
| §2.4 无前提正规闭缺省理论扩充的个数估计 | 第30-33页 |
| 第三章 扩充与缺省规则的简化和分类 | 第33-51页 |
| §3.1 缺省逻辑的可表示性 | 第33-37页 |
| §3.2 缺省逻辑的Roos-扩充 | 第37-44页 |
| §3.3 扩充与缺省规则的简化和分类 | 第44-51页 |
| 第四章 累积缺省逻辑的扩充 | 第51-64页 |
| §4.1 预备知识 | 第51-52页 |
| §4.2 断言缺省理论(ADT)的CDL扩充 | 第52-55页 |
| §4.3 CADL扩充 | 第55-58页 |
| §4.4 QDL扩充 | 第58-60页 |
| §4.5 几种断言缺省理论扩充的算法 | 第60-64页 |
| 第五章 统计缺省逻辑的扩充 | 第64-81页 |
| §5.1 预备知识 | 第65-66页 |
| §5.2 统计缺省扩充的计算 | 第66-73页 |
| §5.3 闭正规统计缺省理论 | 第73-81页 |
| 总结 | 第81-83页 |
| 参考文献 | 第83-91页 |
| 致谢 | 第91-92页 |
| 攻读博士学位期间的研究成果 | 第92-93页 |