[論文レビュー] On Distributive Subalgebras of Qualitative Spatial and Temporal Calculi

Zhiguo Long, Sanjiang Li|arXiv (Cornell University)|Jun 1, 2015

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

ひとこと要約

本稿では、定性的空間的・時系列的計算における分配的部分代数を導入し、特徴づけ、その部分代数上で経路整合性が保たれることでグローバル整合性が保証されることを証明する。分配的性を特徴づける必要十分条件を確立し、PA、IA、RCC5/8、CRA、RAのすべての最大分配的部分代数を計算することで、大規模な制約ネットワークにおける効率的な推論を可能にする。

ABSTRACT

Qualitative calculi play a central role in representing and reasoning about qualitative spatial and temporal knowledge. This paper studies distributive subalgebras of qualitative calculi, which are subalgebras in which (weak) composition distributives over nonempty intersections. It has been proven for RCC5 and RCC8 that path consistent constraint network over a distributive subalgebra is always minimal and globally consistent (in the sense of strong $n$-consistency) in a qualitative sense. The well-known subclass of convex interval relations provides one such an example of distributive subalgebras. This paper first gives a characterisation of distributive subalgebras, which states that the intersection of a set of $n\geq 3$ relations in the subalgebra is nonempty if and only if the intersection of every two of these relations is nonempty. We further compute and generate all maximal distributive subalgebras for Point Algebra, Interval Algebra, RCC5 and RCC8, Cardinal Relation Algebra, and Rectangle Algebra. Lastly, we establish two nice properties which will play an important role in efficient reasoning with constraint networks involving a large number of variables.

研究の動機と目的

• 弱合成が非空な共通部分集合に対して分配的であるような定性的計算における分配的部分代数を形式化し、特徴づける。
• このような部分代数上で経路整合性を満たすネットワークがグローバルに整合的である条件を特定する。
• ポイント代数、区間代数、RCC5/8、基数関係代数、長方形代数を含む主要な計算について、すべての最大分配的部分代数を計算する。
• 大規模な制約ネットワークにおける効率的推論を支援する構造的性質（例：ヘリの性質）を確立する。
• 分配的部分代数を活用することで定性的空間的・時系列的推論の最適化の理論的基盤を提供する。

提案手法

• 非空な $ S \cap T $ に対して $ R \diamond (S \cap T) = (R \diamond S) \cap (R \diamond T) $ が成り立つことを要件とする、定性的計算における分配的部分代数の形式的定義を提唱。右分配性に対しても同様の条件を要請する。
• 特徴づけの確立：部分代数が分配的であることは、任意の $ n \geq 3 $ 個の関係の共通部分集合が非空であることと、すべての対ごとの共通部分集合が非空であることとが同値であることと同値である。
• 集合系からのヘリの性質を応用し、分配的部分代数において、対ごとの共通部分集合が非空であれば、全共通部分集合も非空であることを証明する。
• サイクル法および弱合成の性質を用いて、経路整合性アルゴリズムにおける段階的制約拡張の過程での整合性を検証する。
• 代数的閉包およびシナリオ拡張技術を用いて、分配的部分代数上で経路整合性を満たすネットワークがグローバルに整合的であることを証明する。
• 各計算における弱合成、共通部分集合、逆演算に関する閉包性を分析することで、最大分配的部分代数を体系的に計算する。

実験結果

リサーチクエスチョン

• RQ1 定性的計算における分配的部分代数を特徴づける正確な代数的条件は何か？
• RQ2 分配的部分代数上で経路整合性を満たす制約ネットワークが、どのような条件下でグローバルに整合的であると保証されるか？
• RQ3 主な定性的計算、例えばPA、IA、RCC5/8、CRA、RAに対して、最大分配的部分代数はどのようなものがあるか？
• RQ4 分配的部分代数は、大規模な定性的制約ネットワークにおける推論の効率をどのように向上させることができるか？
• RQ5 分配的部分代数における整合性保証の背後にある構造的性質（例：ヘリの性質）は何か？

主な発見

• 部分代数が分配的であることは、任意の $ n \geq 3 $ 個の関係の共通部分集合が非空であることと、すべての対ごとの共通部分集合が非空であることとが同値であることと同値である。
• 分配的部分代数上で経路整合性を満たすネットワークはグローバルに整合的であり、部分解はすべて完全解に拡張可能である。
• 区間代数における凸区間関係の集合は最大分配的部分代数であり、Ligozatの先行結果を一般化する。
• 本稿では、PA、IA、RCC5/8、CRA、RAのすべての最大分配的部分代数が計算され、特徴づけられている。
• 分配的部分代数ではヘリの性質が成り立ち、対ごとの共通部分集合が非空であれば、全共通部分集合も非空であることが保証される。
• 分配的性質により、段階的効率的推論が可能である：整合的な部分シナリオは、新たな変数を含むように拡張しても、経路整合性が保たれる。