[论文解读] Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects

Reinhard Moratz, Dominik Lücke+1 more|ArXiv.org|Dec 30, 2009

Constraint Satisfaction and Optimization参考文献 41被引用 9

一句话总结

本文提出了一种新颖的代数框架，用于对有向直线段（二极管）进行定性空间推理，采用基于仿射群轨道的压缩语义来计算二极管演算的可靠组合表。主要贡献在于证明了$\pi$-演算（$\mathcal{DRA}_{\mathit{fp}}$）具有强组合性，从而在内在参考系中实现高效的多项式时间约束传播，已在从局部街道路网观测生成调查知识的任务中得到验证。

ABSTRACT

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.

研究动机与目标

• 开发一种针对内在参考系中定向物体（二极管）的可靠且计算高效的定性空间演算。
• 通过代数语义和群论方法，解决二极管关系约束演算中长期存在的问题。
• 在街道路网中，通过局部空间观测生成调查知识，展示该演算的实际效用。
• 利用泛代数建立商演算在定性空间推理中的形式基础。
• 提供公开可用的推理工具，集成新演算以促进更广泛的研究应用。

提出的方法

• 利用仿射群$\mathbf{GA}(\mathbb{R}^2)$的轨道推导二极管关系的压缩语义，以抽象方式表示定性组合配置。
• 通过计算机辅助符号计算计算$\mathcal{DRA}_{\mathit{fp}}$的组合表，通过直接操作定性配置确保正确性。
• 证明$\mathcal{DRA}_{\mathit{fp}}$具有强组合性，这是实现高效约束传播的关键代数性质。
• 通过商构造在$\mathcal{DRA}_{\mathit{fp}}$与$\mathcal{OPRA}$演算之间建立数学联系，表明强组合性得以保持。
• 将该演算应用于认知空间代理场景：利用路径一致性，从局部街道路网观测生成全局调查知识。
• 将该演算集成到两个公开可用的推理工具中，以实现实际部署和验证。

实验结果

研究问题

• RQ1 能否通过代数语义开发一种可靠且计算高效的约束演算，用于有向直线段（二极管）？
• RQ2 $\mathcal{DRA}_{\mathit{fp}}$演算是否具有强组合性，从而实现在定性空间推理中的可 tractable 推理？
• RQ3 能否利用泛代数中的商构造，对二极管演算的代数结构进行一般化？
• RQ4 该新演算在从局部观测生成隐含空间知识（如调查地图）方面的有效性如何？
• RQ5 压缩语义方法能否扩展到其他定性空间演算？

主要发现

• $\mathcal{DRA}_{\mathit{fp}}$演算具有强组合性，这是确保可靠且高效约束传播的关键代数性质。
• 首次通过基于仿射群轨道的计算机辅助方法计算出$\mathcal{DRA}_{\mathit{fp}}$的组合表，正确性通过定性配置的符号操作得到保证。
• $\mathcal{DRA}_{\mathit{fp}}$演算同构于$\mathcal{OPRA}$演算的一个变体，且强组合性在$\mathcal{OPRA}$-类变体$\mathcal{DRA}_{\mathit{opp}}$中得以保持。
• 该演算在典型应用中实现多项式时间推理：即使街道路线不平行，也能从局部街道路网观测生成一致的调查知识。
• 一致模型的解集在大多数相对位置关系上达成一致，表明能有效从局部数据推断隐含空间知识。
• 本文首次提出使用泛代数的商概念来构造定性演算，该方法可用于在相关演算之间传递代数性质。