| 第一章 绪论 | 第1-19页 |
| §1.1 研究背景 | 第9-17页 |
| §1.1.1 空间推理 | 第9-14页 |
| §1.1.1.1 定量空间推理 | 第9-10页 |
| §1.1.1.2 定性空间推理 | 第10-12页 |
| §1.1.1.3 混合空间推理 | 第12-13页 |
| §1.1.1.4 层次空间推理 | 第13页 |
| §1.1.1.5 不确定空间对象的空间推理 | 第13-14页 |
| §1.1.2 时态推理 | 第14-15页 |
| §1.1.3 时空推理 | 第15-17页 |
| §1.1.3.1 基于逻辑的方法 | 第15-16页 |
| §1.1.3.2 基于代数的方法 | 第16-17页 |
| §1.2 本文工作 | 第17-19页 |
| 第二章 空间、时态及时空推理的逻辑方法 | 第19-41页 |
| §2.1 引言 | 第19-20页 |
| §2.2 拓扑空间和度量空间的逻辑 | 第20-29页 |
| §2.2.1 拓扑空间逻辑 | 第20-24页 |
| §2.2.1.1 一阶空间逻辑RCC | 第21-22页 |
| §2.2.1.2 RCC-8 | 第22-23页 |
| §2.2.1.3 BRCC-8 | 第23页 |
| §2.2.1.4 模态逻辑作为空间逻辑S4u | 第23-24页 |
| §2.2.2 度量空间逻辑 | 第24-28页 |
| §2.2.2.1 一阶度量逻辑FM[M] | 第25-26页 |
| §2.2.2.2 “模态”度量逻辑MS[M] | 第26-27页 |
| §2.2.2.3 度量空间的可判定逻辑MS~#[M] | 第27-28页 |
| §2.2.3 基于度量和拓扑空间的逻辑MT | 第28-29页 |
| §2.3 时态逻辑 | 第29-33页 |
| §2.3.1 线性时间 | 第29-30页 |
| §2.3.1.1 一阶逻辑 | 第29页 |
| §2.3.1.2 命题时态逻辑 | 第29-30页 |
| §2.3.2 分支时间 | 第30-31页 |
| §2.3.3 一阶时态逻辑—FOTL | 第31-32页 |
| §2.3.4 区间时态逻辑All-13 | 第32-33页 |
| §2.4 时空逻辑 | 第33-39页 |
| §2.4.1 基于线性时间的时空逻辑 | 第33-37页 |
| §2.4.1.1 Muller的时空逻辑 | 第33-34页 |
| §2.4.1.2 一阶时空逻辑FOST | 第34页 |
| §2.4.1.3 基于BRCC-8的时空逻辑ST_0，ST_1和ST_2 | 第34-36页 |
| §2.4.1.4 基于BRCC-8与S4u的模态时空逻辑PSTL | 第36-37页 |
| §2.4.2 基于分支时间的时空逻辑 | 第37-38页 |
| §2.4.3 基于时态区间的时空逻辑ARCC-8 | 第38-39页 |
| §2.5 进一步的研究方案 | 第39-41页 |
| 第三章 空间对象间方位关系模型的研究 | 第41-51页 |
| §3.1 引言 | 第41页 |
| §3.2 确定性对象间的方位关系模型 | 第41-48页 |
| §3.2.1 点对象 | 第42-44页 |
| §3.2.1.1 “圆锥”模型 | 第42-43页 |
| §3.2.1.2 基于投影的模型 | 第43页 |
| §3.2.1.3 “双十字”模型 | 第43-44页 |
| §3.2.2 区域 | 第44-48页 |
| §3.2.2.1 2-D String方法 | 第44-45页 |
| §3.2.2.2 四半区域模型 | 第45页 |
| §3.2.2.3 最小外接矩形(MBR)方法 | 第45-46页 |
| §3.2.2.4 方位关系矩阵 | 第46-48页 |
| §3.2.2.5 Voronoi图方法 | 第48页 |
| §3.2.3 比较 | 第48页 |
| §3.3 不确定对象间方位关系模型 | 第48-50页 |
| §3.4 存在的问题和发展方向 | 第50-51页 |
| 第四章 集成方位与拓扑关系的定性空间推理方法 | 第51-66页 |
| §4.1 引言 | 第51-52页 |
| §4.2 主方位关系模型和区间代数的关系 | 第52-53页 |
| §4.3 基于区间的方法表示方位和拓扑关系 | 第53-55页 |
| §4.4 方位和拓扑关系对的复合 | 第55-60页 |
| §4.4.1 区间关系对的复合 | 第55页 |
| §4.4.2 拓扑和方位关系对的复合 | 第55-60页 |
| §4.4.2.1 拓扑关系与方位关系复合得到方位关系 | 第56-57页 |
| §4.4.2.2 拓扑关系与方位关系复合得到拓扑关系 | 第57-58页 |
| §4.4.2.3 方位关系与拓扑关系复合得到方位关系 | 第58-59页 |
| §4.4.2.4 方位关系与拓扑关系复合得到拓扑关系 | 第59-60页 |
| §4.5 包含方位和拓扑关系的CSP问题 | 第60-62页 |
| §4.5.1 拓扑和方位关系间的相互关系 | 第60-61页 |
| §4.5.2 包含拓扑和方位关系的空间约束满足问题 | 第61-62页 |
| §4.6 对“同一”方位关系的细分 | 第62-64页 |
| §4.6.1 相关工作 | 第62-63页 |
| §4.6.2 内部主方位关系 | 第63-64页 |
| §4.6.3 由内部主方位关系推导拓扑关系 | 第64页 |
| §4.7 小结 | 第64-66页 |
| 第五章 基于区间值的不确定区域间方位关系模型 | 第66-76页 |
| §5.1 引言 | 第66页 |
| §5.2 相关工作 | 第66-70页 |
| §5.2.1 基于精确模型的方法 | 第67-68页 |
| §5.2.2 基于模糊模型的方法 | 第68-69页 |
| §5.2.3 基于粗集模型的方法 | 第69页 |
| §5.2.4 基于概率模型的方法 | 第69-70页 |
| §5.3 基于区间值的不确定区域方位关系模型 | 第70-75页 |
| §5.3.1 不确定区域 | 第70页 |
| §5.3.2 区间值 | 第70-71页 |
| §5.3.3 不确定区域的区间值方位关系表达 | 第71-74页 |
| §5.3.4 不确定区域方位关系推理 | 第74页 |
| §5.3.5 实例 | 第74-75页 |
| §5.4 小结 | 第75-76页 |
| 第六章 结合度量空间和时间的逻辑 | 第76-82页 |
| §6.1 引言 | 第76页 |
| §6.2 度量逻辑 | 第76-78页 |
| §6.3 度量逻辑与时态逻辑的结合 | 第78-81页 |
| §6.4 小结 | 第81-82页 |
| 第七章 结合位置和时间的定性时空推理 | 第82-94页 |
| §7.1 引言 | 第82-83页 |
| §7.2 定性位置关系的表示及推理 | 第83-89页 |
| §7.2.1 方位关系 | 第83-84页 |
| §7.2.2 距离关系 | 第84-87页 |
| §7.2.2.1 定性距离 | 第84-85页 |
| §7.2.2.2 距离系统 | 第85-86页 |
| §7.2.2.3 均匀距离系统的性质 | 第86-87页 |
| §7.2.3 位置关系的表示及推理 | 第87-89页 |
| §7.3 结合时间与位置的时空推理 | 第89-93页 |
| §7.3.1 时间的定性表示 | 第89-90页 |
| §7.3.2 时空信息间的相互作用 | 第90-93页 |
| §7.3.2.1 时间和方位 | 第90-91页 |
| §7.3.2.2 时间和距离 | 第91-92页 |
| §7.3.2.2 时间和位置 | 第92-93页 |
| §7.3.3 实例 | 第93页 |
| §7.4 小结 | 第93-94页 |
| 参考文献 | 第94-104页 |
| 作者读博期间发表的部分论文 | 第104-105页 |
| 致谢 | 第105-106页 |
| 摘要 | 第106-109页 |
| ABSTRACT | 第109-112页 |
