论文部分内容阅读
方向关系推理是定性空间推理领域的一项重要的研究内容，得到了国内外许多学者的关注，其中，主方向关系的合成又是方向关系推理的基石。本文以Goyal和Egenhofer提出的“井”方向关系模型为基础，考虑了关系合成中的两种情况，即基于一致性的合成（Consistency-based Composition）与实体论合成（Existential Composition），给出了一种基于一致性的关系合成的新方法，同时从理论上证明了该方法的正确性。