[論文レビュー] A Survey of Qualitative Spatial and Temporal Calculi -- Algebraic and Computational Properties

Frank Dylla, Jae Hee Lee+5 more|arXiv (Cornell University)|Jun 1, 2016

Constraint Satisfaction and Optimization参考文献 122被引用数 32

ひとこと要約

本稿は、定性的空間的・時間的記号計算（QSTC）の包括的で統一的なサーベイを提示し、すべての既存の記号計算を包含する一般化された代数的枠組みを導入する。代数的性質—例えば結合性、単位元、対合—に基づいて記号計算を体系的に分類するとともに、合成、逆、補集合の演算を統一的に取り扱い、多様なQSTC形式的体系において一貫した推論と計算的分析を可能にする。

ABSTRACT

Qualitative Spatial and Temporal Reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains. The motivations for employing QSTR techniques range from exploiting computational properties that allow efficient reasoning to capture human cognitive concepts in a computational framework. The notion of a qualitative calculus is one of the most prominent QSTR formalisms. This article presents the first overview of all qualitative calculi developed to date and their computational properties, together with generalized definitions of the fundamental concepts and methods, which now encompass all existing calculi. Moreover, we provide a classification of calculi according to their algebraic properties.

研究の動機と目的

• すべての既存の形式的体系を包含する、定性的空間的・時間的記号計算の統一的で一般的な定義を提供すること。
• 結合性、単位元、対合などの代数的性質に基づいて、既存の記号計算を分類すること。
• 関係代数の概念を一般化することで、定性的記号計算における推論の共通理論的基盤を確立すること。
• 著者らの知る限りのすべての既知の定性的記号計算（およびその計算複雑性、可解性と整合性のチェックを含む）をサーベイすること。
• 特定の性質に依存しない、すべての記号計算に適用可能な一般化された閉包アルゴリズムを導入し、実用的推論を支援すること。

提案手法

• 無限大域上の関係の集合を用いた二項定性的記号計算の一般化形式的体系を提案し、和、合成、逆、補集合の演算を定義する。
• 洗練された代数的階層を導入：非結合的（NA）、準結合的（SA）、弱結合的（WA）、完全関係代数（RA）で、それぞれの公理を定義する。
• 合成演算の複数の変種（例：$\mathbin{{}_{3}\circ_{2}^{3}}$, $\mathbin{\circ_{\text{FZ}}^{3}}$）を定義し、それらのそれぞれの単位元と代数的性質を特定する。
• ピアシーの法則とタルスキの公理を用いて、完全な結合性や分配法則が成り立たない場合でも、記号計算間での推論を統一する。
• 強い代数的公理を満たさない記号計算に対しても適用可能な、一般化された代数的閉包アルゴリズムを導入する。
• 整合性、充足可能性、経路整合性などの推論問題の分類体系を用意し、それらを計算複雑性クラスにマッピングする。

実験結果

リサーチクエスチョン

• RQ1 すべての既存の定性的空間的・時間的記号計算を、単一の一般化された枠組みの下で正式に統一することは可能か？
• RQ2 一貫性があり効率的な推論を可能にするために、記号計算に必要な最小限の代数的性質は何か？
• RQ3 合成、逆、補集合の演算の異なる変種が、推論タスクの計算複雑性にどのように影響を与えるか？
• RQ4 どの記号計算が強い代数的性質（例えば結合性、分配法則）を満たし、どの記号計算が満たさないか。また、その差が推論アルゴリズムに与える影響は何か？
• RQ5 強い代数的公理を満たさない記号計算に対しても適用可能な、すべての既知の記号計算に通用する単一の一般化された閉包アルゴリズムを設計できるか？

主な発見

• 本稿は、50以上の定性的記号計算を同定・分類し、それらの計算的・代数的性質に関する包括的なサーベイを初めて提供する。
• すべての記号計算が完全関係代数の公理を満たすわけではないことが明らかになった—一部は準結合的や弱結合的といったより弱い性質にとどまる。
• 三項記号計算では、逆演算が$((R^{\mathord{\textup{{sc}}}})^{\mathord{\textup{{sc}}}})^{\mathord{\textup{{sc}}}} = R$を満たすが、$ (R^{\mathord{\textup{{sc}}}})^{\mathord{\textup{{sc}}}} = R $ ではないことから、標準的でない対合の振る舞いであることが示された。
• 異なる合成の変種には異なる単位元（例：$\mathord{\textup{{id}}}^{3}_{\{2,3\}}$ は $\mathbin{{}_{3}\circ_{2}^{3}}}$ の単位元）があるが、結合性を満たすのは一部（例：$\mathbin{{}_{3}\circ_{2}^{3}}}$ は結合的だが、$\mathbin{\circ_{\text{FZ}}^{3}}}$ は結合的でない）に限られる。
• 提案された一般化された閉包アルゴリズムは、従来の手法を拡張し、強い代数的公理を満たさない記号計算に対しても適用可能であるため、より広範な適用性を有する。
• 代数的性質としての結合性や分配法則が、記号計算全体に共通して成り立つわけではないことがサーベイによって示され、推論に柔軟でモジュラーな枠組みの必要性が示された。