定性空间推理中主方向关系与其他方向关系的集成
Integrating cardinal direction relations and other orientation relations in Qualitative Spatial Reasoning
摘要：
我们提出了一个演算集成两个演算著名的定性空间推理（QSR）：弗兰克的投影为基础的基本方向演算，和一个粗糙的版本Freksa的相对方向演算。提出了一种新颖的约束传播过程，实现了两个集成演算之间的交互。考虑到相互作用的重要性示出了一个真实的例子，提供了一个不一致的知识库，其不一致性（a）不能通过分别对知识的两个组件中的每一个进行推理来检测，仅仅是因为，单独考虑，每个组件都是一致的，但是（b）通过所提出的算法来检测，这要归功于从两个组件中的每一个组件传播到另一个组件的相互作用知识。
英文摘要：
We propose a calculus integrating two calculi well-known in Qualitative Spatial Reasoning (QSR): Frank's projection-based cardinal direction calculus, and a coarser version of Freksa's relative orientation calculus. An original constraint propagation procedure is presented, which implements the interaction between the two integrated calculi. The importance of taking into account the interaction is shown with a real example providing an inconsistent knowledge base, whose inconsistency (a) cannot be detected by reasoning separately about each of the two components of the knowledge, just because, taken separately, each is consistent, but (b) is detected by the proposed algorithm, thanks to the interaction knowledge propagated from each of the two compnents to the other.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
