[論文レビュー] Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories

Thomas Eiter, Thomas Lukasiewicz|arXiv (Cornell University)|Oct 19, 2012

Logic, Reasoning, and Knowledge参考文献 20被引用数 40

ひとこと要約

本稿は、状態間の確率的遷移を用いて、確率的および非決定的効果を有する行動をモデル化する、行動言語 {cal C}+ の確率的拡張である {m P}{cal C}+ を導入する。履歴と信念状態を用いた行動の推論を形式化することで、不確実性下における非単調的因果推論の主要な問題を簡潔に定式化でき、行動理論における不確実性を統一的に扱うフレームワークを提供するという主な貢献を行う。

ABSTRACT

We present the language {m P}{cal C}+ for probabilistic reasoning about actions, which is a generalization of the action language {cal C}+ that allows to deal with probabilistic as well as nondeterministic effects of actions. We define a formal semantics of {m P}{cal C}+ in terms of probabilistic transitions between sets of states. Using a concept of a history and its belief state, we then show how several important problems in reasoning about actions can be concisely formulated in our formalism.

研究の動機と目的

• 現実世界の不確実性をモデル化する上で、決定的行動言語の限界を解消すること。
• 行動言語 {cal C}+ を、行動の確率的および非決定的効果を扱えるように拡張すること。
• 確率的遷移を用いた不確実性下での行動推論の形式的意味論を提供すること。
• 不確実な因果的環境下で、計画立案、診断、予測といった推論問題を簡潔に定式化できること。
• 信念状態と履歴を統合した、確率的行動推論のための統一的フレームワークを構築すること。

提案手法

• {m P}{cal C}+ を、{cal C}+ に確率的行動効果を追加した形式的言語として提案する。
• 状態集合間の確率的遷移に基づく意味論を定義し、行動の結果における不確実性を捉える。
• 履歴（行動とその結果の系列）と関連する信念状態の概念を導入する。
• 信念状態を用いて、行動実行後の現在状態に関するエージェントの不確実な知識を表現する。
• 形式的枠組みを用いて、計画立案、予測、診断といった推論タスクを定式化する。
• 非単調的因果推論を活用し、不確実な行動列におけるデフォルト仮定と例外の処理を行う。

実験結果

リサーチクエスチョン

• RQ1 確率的および非決定的効果を有する行動を、非単調的因果フレームワーク内で形式的にどのようにモデル化できるか。
• RQ2 結果が不確実で、複数の可能な状態遷移を含む場合に、適切な行動推論の意味論は何か。
• RQ3 信念状態と履歴を用いて、不確実性下での行動実行中にエージェントの知識をどのように表現・更新できるか。
• RQ4 計画立案や診断といった主要な推論問題が、統一された確率的行動言語内で効果的に定式化できるか。
• RQ5 提示されたフレームワークは、確率的行動効果が存在する状況下で、例外やデフォルト仮定をどのように処理するか。

主な発見

• 言語 {m P}{cal C}+ は、{cal C}+ を確率的および非決定的行動効果を統一的に扱える形式的枠組みに成功して一般化した。
• 状態集合間の確率的遷移は、不確実な行動結果をモデル化する上で、整合的で直感的な意味論を提供する。
• 履歴と信念状態の使用により、不確実性下でのエージェントの進化する知識の有効な表現が可能になる。
• 計画立案、予測、診断といった主要な推論タスクは、提示されたフレームワークを用いて簡潔に定式化できる。
• 形式的枠組みは非単調的推論をサポートしており、不確実な行動列におけるデフォルト仮定と例外処理が可能になる。
• このアプローチは形式的に根拠があり、因果的依存関係を持つ行動理論に確率的推論を統合する基盤を提供する。