| 摘要 | 第1-7页 |
| ABSTRACT | 第7-9页 |
| 目录 | 第9-11页 |
| 第一章 绪论 | 第11-20页 |
| ·研究背景 | 第11页 |
| ·国内外研究现状 | 第11-18页 |
| ·定性空间表示的研究现状 | 第11-16页 |
| ·定性空间推理的研究现状 | 第16-18页 |
| ·本文的研究内容 | 第18页 |
| ·本文的内容安排 | 第18-20页 |
| 第二章 RCC模型 | 第20-34页 |
| ·区域连接演算的提出 | 第20页 |
| ·RCC公理系统 | 第20-22页 |
| ·RCC关系的连续变化 | 第22-23页 |
| ·使用凸壳原语增强 RCC表达能力 | 第23-26页 |
| ·利用命题逻辑进行 RCC关系推理 | 第26-31页 |
| ·命题逻辑的集合论解释 | 第26页 |
| ·命题逻辑的语义与空间约束 | 第26-28页 |
| ·RCC关系编码 | 第28页 |
| ·命题逻辑的推理 | 第28-29页 |
| ·组合运算 | 第29-30页 |
| ·RCC关系的直觉逻辑表示 | 第30-31页 |
| ·I_0~+推理系统的实现 | 第31页 |
| ·命题逻辑编码凸壳原语(CONV) | 第31-32页 |
| ·RCC推理的复杂性 | 第32-33页 |
| ·RCC理论的扩展 | 第33页 |
| ·本章小结 | 第33-34页 |
| 第三章 基于区域延伸的空间关系表示模型 | 第34-46页 |
| ·现有空间关系形式化模型的缺陷 | 第34-35页 |
| ·空间度量与空间关系层次表示 | 第35页 |
| ·和区域 | 第35-37页 |
| ·区域延伸 | 第37页 |
| ·用区域延伸描述空间关系 | 第37-43页 |
| ·距离关系 | 第37-39页 |
| ·拓扑关系 | 第39-41页 |
| ·方向关系 | 第41-43页 |
| ·区域位置的表示 | 第43页 |
| ·表示实例 | 第43-45页 |
| ·本章小结 | 第45-46页 |
| 第四章 基于区域延伸模型的空间关系推理 | 第46-55页 |
| ·空间关系推理的组合运算基础和方法 | 第46-48页 |
| ·组合表 | 第46-47页 |
| ·空间关系组合推理方法 | 第47-48页 |
| ·拓扑关系组合表 | 第48-49页 |
| ·方向关系组合表 | 第49-51页 |
| ·距离关系推理 | 第51-54页 |
| ·定性距离关系组合表 | 第51页 |
| ·任意方向上的距离运算 | 第51-54页 |
| ·本章小结 | 第54-55页 |
| 第五章 原型系统的设计与实现 | 第55-66页 |
| ·系统设计 | 第55-56页 |
| ·系统模块分析 | 第55页 |
| ·系统模块的设计 | 第55-56页 |
| ·系统实现 | 第56-61页 |
| ·ECL~iPS~e Prolog与约束处理规则(Constraint Handling Rules) | 第56-57页 |
| ·空间关系推理的实现 | 第57-61页 |
| ·运行结果分析 | 第61-65页 |
| ·本章小结 | 第65-66页 |
| 第六章 结束语 | 第66-68页 |
| ·总结 | 第66页 |
| ·展望 | 第66-68页 |
| 参考文献 | 第68-71页 |
| 致谢 | 第71-72页 |
| 硕士在读期间发表的文章 | 第72页 |