第一章 谓词逻辑 1
1.1 谓词逻辑的语构 1
1.2 谓词逻辑的语义 3
1.3 证明理论 7
第二章 引言和预备知识 9
2.1 缺省逻辑的背景和主要形式 9
2.2 预备知识 14
2.3 缺省扩充 17
2.4 缺省证明 21
第三章 无前提正规闭缺省理论的扩充的构造性 29
3.1 无前提正规闭缺省理论的分类 30
3.2 关于无前提正规闭缺省理论的扩充的若干定理 32
3.3 制作无前提正规闭缺省理论扩充的一种准构造性方法 35
3.4 无前提正规闭缺省理论扩充的个数估计 38
第四章 扩充与缺省规则的简化和分类 40
4.1 缺省逻辑的可表示性 40
4.2 缺省逻辑的Roos扩充 45
4.3 扩充与缺省规则的简化和分类 52
第五章 累积缺省逻辑的扩充 60
5.1 预备知识 60
5.2 断言缺省理论的CDL扩充 61
5.3 CADL扩充 65
5.4 QDL扩充 68
5.5 几种断言缺省理论扩充的算法 71
第六章 统计缺省逻辑的扩充 75
6.1 预备知识 76
6.2 统计缺省扩充的计算 77
6.3 闭正规统计缺省理论 86
第七章 其他非单调逻辑的扩充 94
7.1 闭World假设 94
7.2 自认知逻辑 98
7.3 约束 104
后记 108
参考文献 110