第一节 拓扑关系的分析概述
近年来，在确定性空间目标间空间关系模型的研究方面取得了很大进展，在这方面有许多重要的研究工作，这些确定性的拓扑关系模型也是研究不确定空间目标间拓扑关系的基础。目前确定性目标间的拓扑关系分析主要有两大类方法：基于哲学逻辑的公理化拓扑理论和基于传统点集拓扑理论的数学拓扑，最有代表性的是基于rcc理论的形式化模型。
1.1rcc形式化模型
clarke 首先提出了关于空间演算的逻辑公理及其一系列定理，基于clarke的工作randell等人提出了rcc理论，此后rcc理论又得到了进一步的完善、应用和发展。
rcc形式化模型以空间区域为基元，而不象传统的点集拓扑中将空间中的点作为基元，空间区域可以是一维、二维、三维或者更高维，但是在某个特定的形式化理论模型中，要求所有的区域是相同维的，如考虑二维模型时，区域的边界线和区域相交的点不被考虑。
