论文部分内容阅读
RS 与 GPS 为空间信息的采集提供了技术支持, GIS 从定量的角度建立了空间信息处理与应用的理论和技术体系。 但是, 空间信息是复杂的, 从量上来看是海量级的; 从种类上看不仅包含数值型、字符型, 还包括图形、图象等多种类型;并且空间信息间的相互联系是固有的。 因此, 对空间信息仅进行定量的研究是不够的, 还必须从定性方面进行研究。 结合定性推理、 空间推理与人工智能产生的定性空间推理, 已成为人工智能的一个研究热点。 不同于定性推理研究物理系统的结构、 行为、 功能及其相互联系,定性空间推理分析和处理的是人们对几何空间常识知识的认知; 不同于空间推理研究空间对象的建模、 描述、 表示及其关系的分析和处理, 定性空间推理面对的是空间对象的定性特征和定性关系。 定性空间推理研究的是人类对几何空间中空间对象及其关系定性认知常识的表示与处理。 本文研究的空间对象是二维空间的点、 线、 面, 研究内容是空间对象间的定性关系表示与推理。 研究的定性关系是拓扑关系与方位关系, 推理研究包括组合表推理与层次结构推理。 在对定性空间关系表示与推理进行深入分析的基础上, 本文进行了以下几方面的创新性研究。（1） 空间拓扑关系表示 以点集拓扑学和本体论为基础 研究了空间拓扑关系表示方法。 证明了 RCC、n-交集与分类不变量模型具有相同的 2 维空间区域拓扑关系分类能力; 证明了 4交集模型对于分类 2 维空间区域间拓扑关系的充分必要性, 从而将 3 种不同的研究方法统一起来。 提出并证明了不同类型空间对象间的拓扑关系分类不变量, 完善了已有的研究成果。 提出了对象交集模型的一般表示方法, 为获取更强的拓扑关系分类能力奠定了基础。 从人类认知的角度提出了基于层次认知的拓扑关系分类方法 HBM。 该方法它的分类能力不弱于 RCC 模型、 n-交集模型（4IM, 9IM, DE4IM, DE9IM）、 分类不变量模型和 CBM 中的任意一种。（2） 空间方位关系表示 以空间投影模型为基础, 提出了符合人类认知的方位关系表示模型 D14。 D14比 D9 和 D13 模型具有更强的方位关系表示能力和认知合理性, 比 D169 更简单且使用更方便。 以 2D 字符模型为基础, 提出了字符串模型, 获得了由一维字符投影序列判定空间方位关系的 14 条规则, 证明了字符串模型与 D14 有相同的空间方位关系分类 I<WP=6>重庆大学博士学位论文表示能力。（3） 组合表及其推理技术 给出了空间拓扑关系与方位关系组合表的融合方法、给出了相应的推理方法和推理算法 使组合表推理的结果更准确。（4） 层次表示及其推理技术 给出了空间拓扑关系层次表示方法和推理方法, 给出了比路径约束满足算法更有效的空间约束满足问题推理求解算法。 提出了空间覆盖层次结构, 给出了基于该结构的空间方位关系推理算法。（5） 定性空间知识库及知识获取技术 提出了一种定性空间知识库结构和从 GIS 空间数据库获取定性空间知识的方法和算法, 为定性空间推理应用奠定了基础。（6） 定性空间推理应用 对定性空间推理技术在 GIS 中应用的可行性进行了初步探索。 本文的研究丰富和扩展了定性空间信息表示与处理理论, 拓展了定性空间推理的研究范围和定性知识工程的研究内容, 提供了一套建立定性空间推理系统的技术方法, 提供了一种定性与定量相结合的空间信息表示和处理方法, 为改进空间信息的分析处理能力提供了一条可行的途径。