[論文レビュー] Relational reasoning in the region connection calculus

Yongming Li, Sanjiang Li+1 more|ArXiv.org|May 14, 2005

Constraint Satisfaction and Optimization参考文献 29被引用数 5

ひとこと要約

本稿は、領域接続計算（RCC）の関係代数的基礎を調査し、標準RCCモデルの接触関係代数（CRA）が原子的完全でないため無限であることを示し、RCC8の単純な精錬による拡張的合成表の構築が不可能であることを示している。本稿は、補完付き閉円板代数をRCC11合成表の表現として導入し、すべての合成三重項が実現可能である拡張的モデルを提供することにより、定性的空間推論における主要な制限を解消している。

ABSTRACT

This paper is mainly concerned with the relation-algebraical aspects of the well-known Region Connection Calculus (RCC). We show that the contact relation algebra (CRA) of certain RCC model is not atomic complete and hence infinite. So in general an extensional composition table for the RCC cannot be obtained by simply refining the RCC8 relations. After having shown that each RCC model is a consistent model of the RCC11 CT, we give an exhaustive investigation about extensional interpretation of the RCC11 CT. More important, we show the complemented closed disk algebra is a representation for the relation algebra determined by the RCC11 table. The domain of this algebra contains two classes of regions, the closed disks and closures of their complements in the real plane.

研究の動機と目的

• 領域接続計算（RCC）の関係代数的性質、特にその接触関係代数（CRA）の構造を調査すること。
• RCCモデルが拡張性を支持しない可能性があることを踏まえ、RCC8関係の精錬によるRCCの拡張的合成表が得られるかどうかを特定すること。
• 実平面内の幾何的領域を用いて、RCC11合成表の明示的で具体的なモデルを構築すること。
• 補完付き閉円板代数がRCC11 CTによって定義される関係代数の表現を提供し、すべての合成三重項が実現可能であることを示すこと。
• 特にドメイン制限と原子的完全性の関係を踏まえ、RCC合成表が拡張的である条件を明確にすること。

提案手法

• 本稿は、最小RCCモデル $\mathfrak{B}_{\omega}$ の接触関係代数（CRA）を分析し、それが原子的完全でないことを証明し、無限であることを示している。
• 本稿は、$n$次元ユークリッド空間のCRAを調査し、それが無限でかつ整域でないことを示しており、これにより有限な拡張的合成表が得られないことが明らかになっている。
• 本稿は、$\mathbb{R}^2$ 内の閉円板とその補集合の閉包からなる領域をもつ補完付き閉円板代数 $\mathcal{L}$ を構築している。接触関係は標準的なホワイトヘッド的接触（$a{\bf C}b$ が $a\cap b\neq\emptyset$ と定義される）を用いる。
• 本稿は、円の接点、包含関係、分離関係などの円の幾何的性質を用いて、73個の合成三重項を検証することで、RCC11合成表（CT）がこの代数において拡張的であることを証明している。
• 本稿は、拡張的解釈が不可能な場合に superscript × をCT表に導入し、それが補完付き閉円板代数においてすべて解消されることを示している。
• 本稿は、一貫性と拡張的モデルの定義を含む関係代数的技法を用い、補完付き閉円板代数がRCC11 CTによって生成される関係代数の表現であることを形式的に確立している。

実験結果

リサーチクエスチョン

• RQ1 RCCの拡張的合成表は、RCC8関係の精錬によって得られるか、それともより強いドメイン制限が必要か？
• RQ2 標準RCCモデルの接触関係代数（CRA）は原子的完全か？ その結果、合成表の拡張性にどのような影響を与えるか？
• RQ3 RCC11合成表は拡張的モデルを有するか？ もしあるならば、どのような幾何的ドメインがそのようなモデルを支持するか？
• RQ4 補完付き閉円板代数は、RCC11 CTによって定義される関係代数の表現として機能できるか？
• RQ5 特に、領域をジョルダン曲線（例：円）で囲まれた領域およびその補集合に制限することにより、空間合成表における拡張性を達成する役割は何か？

主な発見

• 最小RCCモデル $\mathfrak{B}_{\omega}$ の接触関係代数（CRA）は原子的完全でないため、無限であり、有限な拡張的合成表をサポートできない。
• $n$次元ユークリッド空間のCRAは無限でかつ整域でないため、一般にRCCモデルは有限かつ拡張的な合成表を生成しない。
• 閉円板と $\mathbb{R}^2$ 内のその補集合の閉包からなる補完付き閉円板代数 $\mathcal{L}$ は、RCC11 CTによって定義される関係代数の表現を提供する。
• RCC11 CTの73個の合成三重項すべてが、補完付き閉円板代数において拡張的に実現可能であり、superscript × が付与されたエントリは存在しない。
• 本稿は、$\mathcal{L}$ においてRCC11 CTが拡張的であることを証明し、全12個の合成方程式（C-1）から（C-12）を満たすことを確認しており、これが有効なモデルであることを裏付けている。
• 本研究は、領域をジョルダン曲線（例：円）で囲まれた領域およびその補集合に制限することで、拡張的モデルが得られることを示しており、拡張的空間計算の構築に実現可能な道筋を示している。