超协调描述逻辑
| 摘要 | 第1-4页 |
| Abstract | 第4-9页 |
| 第一章 绪论 | 第9-19页 |
| ·研究背景 | 第9-12页 |
| ·问题陈述 | 第12-14页 |
| ·主要工作 | 第14-16页 |
| ·文章结构 | 第16-19页 |
| 第二章 描述逻辑和超协调逻辑 | 第19-47页 |
| ·描述逻辑 | 第19-33页 |
| ·描述逻辑的语法语义 | 第19-23页 |
| ·低计算复杂度的描述逻辑 | 第23-25页 |
| ·描述逻辑的推理问题及其表演算 | 第25-33页 |
| ·超协调逻辑 | 第33-47页 |
| ·多值逻辑 | 第33-37页 |
| ·准经典逻辑 | 第37-39页 |
| ·辩论逻辑 | 第39-47页 |
| 第三章 多值描述逻辑 | 第47-65页 |
| ·四值描述逻辑 | 第47-55页 |
| ·强表达能力的四值描述逻辑族 | 第47-53页 |
| ·易处理的四值描述逻辑 | 第53-55页 |
| ·悖论描述逻辑 | 第55-65页 |
| ·描述逻辑的悖论语义 | 第56-61页 |
| ·悖论描述逻辑的表演算 | 第61-65页 |
| 第四章 准经典描述逻辑 | 第65-99页 |
| ·准经典描述逻辑的语法与语义 | 第65-77页 |
| ·准经典描述逻辑的弱满足关系与强满足关系 | 第66-73页 |
| ·准经典描述逻辑的准经典模型 | 第73-75页 |
| ·准经典描述逻辑的推论问题 | 第75-77页 |
| ·准经典描述逻辑的推理算法 | 第77-95页 |
| ·准经典描述逻辑的表演算 | 第77-88页 |
| ·准经典描述逻辑的归约算法及实现 | 第88-95页 |
| ·相关工作 | 第95-99页 |
| 第五章 极小悖论描述逻辑 | 第99-111页 |
| ·悖论描述逻辑的极小不协调语义 | 第99-103页 |
| ·极小悖论描述逻辑的表演算 | 第103-106页 |
| ·相关工作 | 第106-111页 |
| 第六章 辩论描述逻辑 | 第111-135页 |
| ·描述逻辑的辩论框架 | 第111-120页 |
| ·描述逻辑的辩元 | 第112-116页 |
| ·描述逻辑的辩论框架 | 第116-120页 |
| ·描述逻辑的推理服务 | 第120-132页 |
| ·描述逻辑的蕴含关系 | 第120-122页 |
| ·辩论描述逻辑的推理算法 | 第122-132页 |
| ·相关工作 | 第132-135页 |
| 第七章 总结和展望 | 第135-137页 |
| ·工作总结 | 第135页 |
| ·工作展望 | 第135-137页 |
| 参考文献 | 第137-153页 |
| 附录一 个人简历、在学期间的研究成果 | 第153-155页 |
| 附录二 中英文术语、记号 | 第155-161页 |
| 致谢 | 第161-163页 |
| 后记 | 第163-164页 |
