| 第一章 绪论 | 第10-32页 |
| §1.1 时态推理 | 第10-18页 |
| §1.1.1 时态知识表示和推理 | 第10-14页 |
| §1.1.1.1 时间本体 | 第11-14页 |
| §1.1.2 人工智能中时态推理的主要方法 | 第14-18页 |
| §1.1.2.1 McCarthy和Hayes的情形演算(SC) | 第14页 |
| §1.1.2.2 Chronos | 第14页 |
| §1.1.2.3 时间专家 | 第14-15页 |
| §1.1.2.4 McDermott时态逻辑 | 第15页 |
| §1.1.2.5 Allen的区间代数学 | 第15-16页 |
| §1.1.2.6 事件演算(EC) | 第16-17页 |
| §1.1.2.7 时间图管理器(TMM) | 第17页 |
| §1.1.2.8 Shoham的时态逻辑 | 第17-18页 |
| §1.2 空间推理 | 第18-26页 |
| §1.2.1 空间信息理论与空间推理 | 第18-19页 |
| §1.2.2 空间推理的主要方法 | 第19-25页 |
| §1.2.2.1 定量空间推理方法 | 第19页 |
| §1.2.2.2 定性空间推理方法 | 第19-21页 |
| §1.2.2.3 混合空间推理方法 | 第21-22页 |
| §1.2.2.4 层次空间推理方法 | 第22-23页 |
| §1.2.2.5 基于不确定空间对象的空间推理方法 | 第23-25页 |
| §1.2.3 空间推理小结 | 第25-26页 |
| §1.3 时空推理 | 第26-29页 |
| §1.3.1 基于逻辑的方法 | 第26-27页 |
| §1.3.2 基于代数的方法 | 第27-29页 |
| §1.4 本文工作 | 第29-32页 |
| 第二章 空间、时态及时空的逻辑方法 | 第32-68页 |
| §2.1 引言 | 第32-33页 |
| §2.2 基于拓扑空间的逻辑 | 第33-44页 |
| §2.2.1 一阶空间逻辑RCC | 第34-36页 |
| §2.2.2 RCC-8 | 第36-37页 |
| §2.2.3 BRCC-8 | 第37-38页 |
| §2.2.4 S4u | 第38-41页 |
| §2.2.4.1 RCC-8作为S4u的片段 | 第39-40页 |
| §2.2.4.2 BRCC-8作为S4u的片段 | 第40-41页 |
| §2.2.5 RC | 第41-42页 |
| §2.2.6 RC~(max) | 第42-43页 |
| §2.2.7 基于拓扑空间逻辑的比较 | 第43-44页 |
| §2.3 基于度量空间的逻辑 | 第44-48页 |
| §2.3.1 一阶度量逻辑FM[M] | 第44-45页 |
| §2.3.2 “模态”度量逻辑MS[M] | 第45-48页 |
| §2.3.3 度量空间的可判定逻辑MS~ | 第48页 |
| §2.4 基于度量和拓扑空间的逻辑MT | 第48-50页 |
| §2.5 时态逻辑 | 第50-55页 |
| §2.5.1 线性时间 | 第50-52页 |
| §2.5.1.1 一阶逻辑 | 第50页 |
| §2.5.1.2 命题时态逻辑 | 第50-52页 |
| §2.5.2 分支时间 | 第52-53页 |
| §2.5.3 一阶时态逻辑---FOTL | 第53-54页 |
| §2.5.4 区间时态逻辑All-13 | 第54-55页 |
| §2.6 时空逻辑 | 第55-67页 |
| §2.6.1 基于线性时间的时空逻辑 | 第56-65页 |
| §2.6.1.1 Muller的时空逻辑 | 第56页 |
| §2.6.1.2 一阶时空逻辑FOST | 第56-57页 |
| §2.6.1.3 基于BRCC-8的时空逻辑ST_0，ST_1和ST_2 | 第57-59页 |
| §2.6.1.4 基于BRCC-8与S4u的时空逻辑PST | 第59-60页 |
| §2.6.1.5 基于S4u及其片段的时空逻辑 | 第60-65页 |
| §2.6.2 基于时态区间的时空逻辑ARCC-8 | 第65页 |
| §2.6.3 基于分支时间的时空逻辑 | 第65-67页 |
| §2.7 进一步的研究方案 | 第67-68页 |
| 第三章 区间演算与RCC理论结合方法的研究 | 第68-78页 |
| §3.1 引言 | 第68页 |
| §3.2 ALLEN区间时态演算与RCC空间演算的比较 | 第68-74页 |
| §3.2.1 Allen时态演算与RCC空间演算中基本关系的对应 | 第69-70页 |
| §3.2.2 Allen时态演算与RCC空间演算概念邻域图的比较 | 第70-72页 |
| §3.2.3 RCC-8与IA中复合表的比较 | 第72页 |
| §3.2.4 Allen时态演算与RCC空间演算的其它相似点 | 第72-74页 |
| §3.3 ALLEN时态演算与RCC-8空间演算的结合 | 第74-76页 |
| §3.4 进一步工作的方案 | 第76-78页 |
| 第四章 两种基于模糊集合及RCC理论的模型 | 第78-89页 |
| §4.1 引言 | 第78-79页 |
| §4.2 从蛋黄模型到扩展蛋黄模型 | 第79-83页 |
| §4.2.1 不确定区域的蛋黄模型 | 第79-80页 |
| §4.2.2 基于RCC-8的扩展蛋黄模型 | 第80-83页 |
| §4.3 区域移动模型 | 第83-85页 |
| §4.3.1 建立移动或变形的模型 | 第83-85页 |
| §4.4 模糊RCC-8关系的推理 | 第85-88页 |
| §4.5 小结 | 第88-89页 |
| 第五章 面向空间数据挖掘的粗集方法 | 第89-113页 |
| §5.1 引言 | 第89-91页 |
| §5.2 空间数据 | 第91-96页 |
| §5.2.1 空间数据的复杂性特征 | 第92-93页 |
| §5.2.2 空间数据的不确定性 | 第93-96页 |
| §5.2.2.1 空间数据不确定性的表现 | 第93-94页 |
| §5.2.2.2 不确定性空间数据模型 | 第94-96页 |
| §5.3 粗集理论的基本概念 | 第96-98页 |
| §5.4 粗集与空间数据中的不确定性 | 第98-104页 |
| §5.4.1 空间关系中的不确定性 | 第99-104页 |
| §5.4.1.1 空间区域的RCC理论 | 第100-101页 |
| §5.4.1.2 用粗集表达RCC关系 | 第101-102页 |
| §5.4.1.3 用粗集表达蛋黄关系聚类模型 | 第102-104页 |
| §5.5 空间关联规则中的粗集方法 | 第104-111页 |
| §5.5.1 关联规则的基本概念 | 第104-107页 |
| §5.5.2 一种关联规则方法的粗集扩展 | 第107-111页 |
| §5.5.2.1 一个空间数据挖掘示例 | 第108-110页 |
| §5.5.2.2 粗空间查询谓词 | 第110-111页 |
| §5.6 小结 | 第111-113页 |
| 第六章 一种基于模糊集的混合空间推理方法 | 第113-121页 |
| §6.1 引言 | 第113页 |
| §6.2 空间关系作为语言变量 | 第113-115页 |
| §6.3 语言变量与模糊集的结合 | 第115-117页 |
| §6.3.1 定性信息的模糊集合表示 | 第115-116页 |
| §6.3.2 定量信息与定性信息之间的转换 | 第116-117页 |
| §6.4 有关空间关系的推理 | 第117-120页 |
| §6.5 小结 | 第120-121页 |
| 参考文献 | 第121-130页 |
| 作者读博期间发表的部分论文 | 第130-132页 |
| 作者读博期间参加的项目 | 第132-133页 |
| 致谢 | 第133-135页 |
| 中文详细摘要 | 第135-138页 |
| ABSTRACT | 第138页 |
