[論文レビュー] 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}$ 計算体系との数学的関係を確立し、強合成が保存されることを示す。
• 認知的空間エージェントのシナリオとして、パス整合性を用いて局所的な通り網観測からグローバルなサーベイ知識を生成する応用を実施する。
• 実用的導入と検証を目的として、2つの公開利用可能な推論ツールに計算体系を統合する。

実験結果

リサーチクエスチョン

• RQ1 代数的意味論を用いて、方向付き直線線分（ジポール）のための整合的かつ計算効率の良い制約計算体系を構築できるか？
• RQ2 $\mathcal{DRA}_{\mathit{fp}}$ 計算体系は強合成を有するか？ これにより、定性的空間推論における取り扱い可能な推論が可能になるか？
• RQ3 普遍代数学における商構成を用いて、ジポール計算体系の代数的構造を一般化できるか？
• RQ4 本計算体系は、局所的観測から得られる暗黙の空間的知識（例：サーベイ地図）を生成する際にどの程度効果的か？
• RQ5 凝縮的意味論アプローチは、他の定性的空間計算体系へも拡張可能か？

主な発見

• $\mathcal{DRA}_{\mathit{fp}}$ 計算体系は強合成を有しており、これは整合的かつ効率的な制約伝播を保証する重要な代数的性質である。
• アフィン群の軌道に基づくコンピュータ支援の記号的計算により、$\mathcal{DRA}_{\mathit{fp}}$ の合成表が初めて計算され、定性的構成の直接的操作によって正しさが保証された。
• $\mathcal{DRA}_{\mathit{fp}}$ 計算体系は、$\mathcal{OPRA}$ 計算体系の変種と同型であり、強合成は $\mathcal{OPRA}$-類似変種 $\mathcal{DRA}_{\mathit{opp}}$ においても保存される。
• 本計算体系は、局所的な通り網観測から一貫性のあるサーベイ知識を生成するプロトタイプ応用において、多項式時間での推論を可能にする。非平行な通りの向きに対しても有効である。
• 一貫したモデルの解集合は、大部分の相対的位置関係で一致しており、局所データから暗黙の空間的知識が効果的に推論されていることが示された。
• 本稿では、普遍代数学を用いた定性的計算体系の商の概念を初めて提唱し、関連する計算体系間で代数的性質を移転するのに用いられた。