[論文レビュー] Time, Chance, and Action

Peter Haddawy|arXiv (Cornell University)|Mar 27, 2013

Semantic Web and Ontologies被引用数 7

ひとこと要約

この論文は、確率的環境における行動の推論を可能にする命題的時系列確率論理を導入している。時間経過に伴う事実、出来事、行動効果の確率をモデル化することで、可能性、確率、真偽を区別するためのモダール論理と確率的構成を統合し、並列な行動、動的条件、時間依存の不確実性について形式的意味論に基づいた推論を可能にする。

ABSTRACT

To operate intelligently in the world, an agent must reason about its actions. The consequences of an action are a function of both the state of the world and the action itself. Many aspects of the world are inherently stochastic, so a representation for reasoning about actions must be able to express chances of world states as well as indeterminacy in the effects of actions and other events. This paper presents a propositional temporal probability logic for representing and reasoning about actions. The logic can represent the probability that facts hold and events occur at various times. It can represent the probability that actions and other events affect the future. It can represent concurrent actions and conditions that hold or change during execution of an action. The model of probability relates probabilities over time. The logical language integrates both modal and probabilistic constructs and can thus represent and distinguish between possibility, probability, and truth. Several examples illustrating the use of the logic are given.

研究の動機と目的

• 知能エージェントが不確実で動的な環境において行動を形式的に推論できる枠組みを構築すること。
• 行動が時間経過に伴い将来の世界状態に与える確率的結果を表現すること。
• 行動実行中に変化する条件と並列行動をモデル化すること。
• 組み合わせたモダール論理と確率的構成を用いて、論理的可能、確率的尤度、真偽を明確に区別すること。
• 不確実な環境における時間、不確実性、行動効果を統一的に表現すること。

提案手法

• 異なる時刻における事実や出来事の確率を割り当てる命題的時系列確率論理を形式化すること。
• 可能性や必然性を表現するモダール論理の構成を、確率的文と併せて統合すること。
• 可能な世界に対する時刻インデックス付き確率分布に基づく意味論を定義すること。
• 行動効果を初期世界状態と行動選択に依存する条件付き確率として表現すること。
• 複数の出来事が同時に発生する確率をモデル化することで、並列行動をサポートすること。
• 論理式を用いて、行動が特定の確率で将来の状態に影響を与えることを表現すること。

実験結果

リサーチクエスチョン

• RQ1 エージェントは、確率的環境において、時間経過に伴う行動の確率的効果をどのように形式的に表現できるか？
• RQ2 動的で不確実な状況において、可能、確率、真偽を区別できる論理的枠組みは何か？
• RQ3 統一的な確率的推論システム内で、並列行動と時間変動する条件をどのようにモデル化できるか？
• RQ4 行動実行における事実や出来事の時間依存確率を支持する形式的意味論は何か？
• RQ5 確率論理を用いて、行動が将来の状態に与える影響をどのように捉えることができるか？

主な発見

• 提案された論理は、特定の時刻における事実が成立する確率、出来事が発生する確率を効果的に表現している。
• この枠組みは、将来の世界状態に与える行動の確率的影響をモデル化可能である。
• 並列行動や行動実行中に変化する条件に関する推論をサポートしている。
• モダール論理と確率的構成の統合により、可能、確率、真偽の明確な区別が可能である。
• この論理は、不確実な環境における時間、不確実性、行動効果の推論の形式的基盤を提供する。
• 実世界の確率的行動シナリオをモデル化する際の表現力の高さを示す、具体的な例を通じて実証されている。