[論文レビュー] Indefinite information in modal logic programming

Matthew Stone|arXiv (Cornell University)|Apr 30, 2001

Logic, Reasoning, and Knowledge参考文献 33被引用数 2

ひとこと要約

本稿は、不確実性や不完全な知識を表現するためのモダリティック論理プログラミングにおける不定情報の取り扱いのためのフレームワークを提示する。従来の論理プログラミングにモダリティ演算子を拡張して導入することで、不確実性と不完全知識を表現する。また、論理的構造が照会と仮定の分解を導く検索手順を提案し、インデックス化された、規則に基づく検索問題の変換によって、不確実性下での体系的推論を可能にする。

ABSTRACT

Logic Programming Logic programming languages embody simple, specific search procedures for building proofs. At each step in logic programming search, the goal is to find a way to use the available assumptions to establish a specific query. If the query is complex, its logical structure directly determines the available alternatives for search. Thus, logical symbols in queries can be seen as instructions for decomposing and transforming the search problem that the interpreter faces. Similarly, the atomic formulas that an assumption can be used to derive---the head (or heads) of that assumption---serve as indexes that regulate whether an assumption can be applied. And the logical structure of the assumption provides an instruction for creating a set of new search problems whenever the assumption is used.

研究の動機と目的

• 論理プログラミングシステムにおける不完全または不定な情報の推論という課題に対処すること。
• 不確実性と認識的状態を表現するため、従来の論理プログラミングにモダリティ演算子を拡張すること。
• 照会と仮定における論理的構造が検索の分解と規則適用をどのように導くかを形式化すること。
• モダリティック論理規則の文法的および意味的構造を活用した、検索問題の変換の体系的手続きを構築すること。
• モダリティ的推論を論理プログラミングに統合する基盤を提供することであり、効率性や明確性を損なわないこと。

提案手法

• 不確実性や不定な情報を表現するため、モダリティック論理を用い、仮定と照会に認識的およびアレシック的モダリティを許容する。
• 照会内の論理記号を、検索問題を部分問題に分解するための指示として扱う。
• ヘッドの統一に基づく仮定の適用を実施し、ヘッドにおける原子論理式を規則適用のインデックス化メカニズムとして用いる。
• 規則が発火した際に、仮定の論理的構造を応用して新しい検索問題を生成する。
• 現在の目標と利用可能な規則を追跡する検索状態を維持し、論理的分解に従って遷移を制御する。
• 推論中に不確実性や不完全知識を管理するために、証明探索プロセスにモダリティ演算子を統合する。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてモダリティック論理を論理プログラミングに統合し、不定または不完全な情報を表現し、推論できるか？
• RQ2 照会内の論理記号が検索プロセスの構造化と分解に果たす役割は何か？
• RQ3 仮定のヘッドが規則適用を制御するインデックス化メカニズムとしてどのように機能するか？
• RQ4 仮定の論理的構造が証明探索中に新しい部分問題を生成する際に果たす役割は何か？
• RQ5 明確性と効率性を保ちながら、モダリティック論理プログラムに対して体系的かつ規則に基づく検索手順を定義できるか？

主な発見

• モダリティック論理は、論理プログラミングにおける不定情報の表現に自然な枠組みを提供し、認識的および非認識的不確実性のモデリングを可能にする。
• 照会の論理的構造が直接的に分解戦略を決定づけ、検索手順を体系的かつ予測可能にする。
• 仮定のヘッドは効果的なインデックスとして機能し、検索中に関連する規則の選択と適用を効率的に行える。
• 仮定の構造が、制御された、規則に従う方法で新しい部分問題を生成し、再帰的かつモジュラーな推論を支援する。
• 提案されたフレームワークは、論理プログラミングのシンプルさと効率性を維持しながら、不確実性を扱える表現力へと拡張する。
• 証明探索プロセスへのモダリティ演算子の統合により、標準的な実行モデルを損なわず、不完全知識下でも整合的な推論が可能になる。