非单调推理的逻辑研究
| 1 引论 | 第1-11页 |
| 1．1 经典逻辑的局限性 | 第6-8页 |
| 1．2 相信与合理性 | 第8-9页 |
| 1．3 非单调逻辑的研究概述 | 第9-11页 |
| 2 模态非单调逻辑 | 第11-34页 |
| 2．1 非单调逻辑Ⅰ | 第11-15页 |
| 2．2 非单调逻辑Ⅱ | 第15-20页 |
| 2．3 自认知逻辑 | 第20-34页 |
| 2．3．1 缺省推理和自认知推理 | 第20-22页 |
| 2．3．2 基本的语义概念 | 第22-24页 |
| 2．3．3 AE扩张的语法性质 | 第24-29页 |
| 2．3．4 可能世界语义 | 第29-32页 |
| 2．3．5 非单调逻辑与、自认知逻辑与K45 | 第32-34页 |
| 3 缺省逻辑 | 第34-44页 |
| 3．1 基本定义 | 第34-36页 |
| 3．2 缺省理论的一般性质 | 第36-39页 |
| 3．3 正规缺省理论 | 第39-41页 |
| 3．4 闭正规缺省理论的证明论 | 第41-44页 |
| 4 非单调推理关系 | 第44-51页 |
| 4．1 基本性质：纯条件 | 第45-47页 |
| 4．2 基本性质：与真值函项联结词的相互关系 | 第47-50页 |
| 4．3 对缺省逻辑的分析 | 第50-51页 |
| 5 优先模型 | 第51-59页 |
| 5．1 优先模型的构造 | 第51-54页 |
| 5．2 非单调逻辑的回顾 | 第54-59页 |
| 5．2．1 限制推理 | 第54-55页 |
| 5．2．2 模态非单调逻辑 | 第55-56页 |
| 5．2．3 缺省逻辑 | 第56-57页 |
| 5．2．4 Bossu和Siegel的方法 | 第57-59页 |
| 参考文献 | 第59-61页 |
| 后记 | 第61页 |
