有向直线段代数：有向对象的定性空间推理
Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects
摘要：
大约15年前，Schlieder提出了一组定向直线段（偶极子）之间的定性空间关系。这项工作在定性空间推理社区中引起了极大的兴趣。然而，事实证明，很难建立一个健全的约束演算基于这些关系。在本文中，我们提出了一个新的调查结果偶极子约束结石，使用代数方法来推导出声音的结果的组成关系和其他性质的偶极子结石。我们的研究结果是基于一个浓缩的语义的偶极关系。与通常使用的点相反，偶极子被延伸并且具有固有方向。这两个特征都是自然物体的重要属性。这使得一个简单的表示空间代理的原型推理任务。作为一个例子，我们展示了如何生成调查知识，从当地的观察街道网络。这个例子说明了快速约束为基础的推理能力的偶极演算。我们将我们的结果整合到两个推理工具，这是公开的。
英文摘要：
Nearly 15 years ago, a set of qualitative spatial relations between oriented straight line segments (dipoles) was suggested by Schlieder. This work received substantial interest amongst the qualitative spatial reasoning community. However, it turned out to be difficult to establish a sound constraint calculus based on these relations. In this paper, we present the results of a new investigation into dipole constraint calculi which uses algebraic methods to derive sound results on the composition of relations and other properties of dipole calculi. Our results are based on a condensed semantics of the dipole relations. In contrast to the points that are normally used, dipoles are extended and have an intrinsic direction. Both features are important properties of natural objects. This allows for a straightforward representation of prototypical reasoning tasks for spatial agents. As an example, we show how to generate survey knowledge from local observations in a street network. The example illustrates the fast constraint-based reasoning capabilities of the dipole calculus. We integrate our results into two reasoning tools which are publicly available.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
