[論文レビュー] Algebraic Properties of Qualitative Spatio-Temporal Calculi

Frank Dylla, Till Mossakowski+2 more|arXiv (Cornell University)|May 31, 2013

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

ひとこと要約

本稿では、従来の対蹠性および合成に関する公理を緩和することで、定性的時空計算の一般化された代数的枠組みを提案する。これにより、既存の計算の統一的分析が可能となる。代数的性質に敏感な修正済みのa-閉包アルゴリズムを導入し、推論過程における情報損失が構造的豊かさと相関しないことが判明し、定性的推論システムにおける表現力および整合性に関する仮定に疑問を呈する。

ABSTRACT

Qualitative spatial and temporal reasoning is based on so-called qualitative calculi. Algebraic properties of these calculi have several implications on reasoning algorithms. But what exactly is a qualitative calculus? And to which extent do the qualitative calculi proposed meet these demands? The literature provides various answers to the first question but only few facts about the second. In this paper we identify the minimal requirements to binary spatio-temporal calculi and we discuss the relevance of the according axioms for representation and reasoning. We also analyze existing qualitative calculi and provide a classification involving different notions of a relation algebra.

研究の動機と目的

• 従来の代数的公理を弱めることで、既存の時空計算を包含する最小限の、一般化された定性的計算の定義。
• SparQ や GQR などの汎用推論ツールに与える代数的性質（特に対蹠性および合成）の関連性の分析。
• 代数的構造に基づいて既存の定性的計算を分類し、正しい推論アルゴリズムをサポートするものを同定。
• 合成過程における情報保持の評価を行い、複数の推論ステップにわたる詳細の損失度を測定。
• 弱い代数的構造に起因する、一般的に用いられる推論手順の失敗事例を特定し、普遍的な修正済みa-閉包アルゴリズムの提案。

提案手法

• 強い対蹠性および結合則の要件を緩和し、弱い対蹠性および非結合的合成を許容する、定性的計算の一般化定義を提案。
• 制約代数および非結合的代数の概念を、弱い対蹠性を持つ計算を含むように拡張し、より広範な適用可能性を実現。
• 各計算の実際の代数的性質を考慮した修正済みa-閉包アルゴリズムを実装および評価。
• 情報量を合成結果の重複率と全関係の比として測定し、k回の合成にわたる変化を追跡。
• 関係代数の概念に基づく分類体系を用い、閉包性質および代数的公理に基づいて計算を構造的カテゴリーに分類。
• 18個の計算からなるコーパスを用いた実験的評価により、異なる種類の計算における情報損失と構造的性質の比較。

実験結果

リサーチクエスチョン

• RQ1 正しい推論を可能にするために、定性的計算を定義するのに必要な最小限の代数的性質は何か？
• RQ2 対蹠性および合成などの代数的性質は、SparQ や GQR などの汎用推論ツールの正しさおよび効率にどのように影響するか？
• RQ3 合成過程における情報損失は、構造的豊かさ（例：関係代数対弱代数）とどの程度相関するか？
• RQ4 QTC B1x および QTC C21 のような特定の計算では、複数回の合成に伴い情報量が増加するが、これは一般的な情報損失のトレンドとは反対である。その理由は何か？
• RQ5 任意の代数的構造を持つ定性的計算を正しく処理できる、一様な普遍的a-閉包アルゴリズムを設計できるか？

主な発見

• ブロック代数（Block Algebra）は、6回の合成ステップ後に約0.43の情報量を示し、他の大多数の計算と比べて顕著に高い情報保持を示す。
• QTC B1x および QTC C21 の計算のみが、合成回数の増加に伴い情報量が増加する傾向を示しており、疎な合成表を持つ特異なマルチモーダル構造を示唆している。
• PC計算とQTC B22計算は、3対27のベース関係集合と顕著に異なる分割スキームを有するが、14回までの合成ステップでほぼ同一の情報量を示す。
• RDR（長方形方向関係）計算は、CDR（基準方向関係）計算よりも高い情報保持を示し、5ステップで15%の情報損失削減を達成する。
• 構造的分類体系における計算の分類と情報損失行動との間に一貫した相関は認められず、代数的構造そのものが推論の頑健性を予測できないことが示唆される。
• 弱い対蹠性および非結合的合成を有する計算に対して、一般的に用いられるa-閉包アルゴリズムは誤りであり、各計算の実際の代数的性質を尊重する修正アルゴリズムの導入が不可欠である。