[論文レビュー] On Stochastic Belief Revision and Update and their Combination

Gavin Rens|arXiv (Cornell University)|Apr 7, 2016

Logic, Reasoning, and Knowledge参考文献 21被引用数 5

ひとこと要約

本稿では、認識的（露呈に基づく）および存在的（出来事駆動型）情報源のトレードオフをモデル化することで、確率的信念再評価と更新を統合するハイブリッド確率的信念変化（HSBC）フレームワークを提案する。動的システムの視点とベイズ的条件づけを用い、可能な世界の確率分布を維持する。結果として、観測がノイズの多い露呈と見なされるか、環境的変化と見なされるかに応じて、合理的な信念のシフトが得られる。

ABSTRACT

I propose a framework for an agent to change its probabilistic beliefs when a new piece of propositional information $α$ is observed. Traditionally, belief change occurs by either a revision process or by an update process, depending on whether the agent is informed with $α$ in a static world or, respectively, whether $α$ is a 'signal' from the environment due to an event occurring. Boutilier suggested a unified model of qualitative belief change, which "combines aspects of revision and update, providing a more realistic characterization of belief change." In this paper, I propose a unified model of quantitative belief change, where an agent's beliefs are represented as a probability distribution over possible worlds. As does Boutilier, I take a dynamical systems perspective. The proposed approach is evaluated against several rationality postulated, and some properties of the approach are worked out.

研究の動機と目的

• 両者を統合する定量的信念変化フレームワークの欠落を補うこと：認識的（認識的情報）と存在的（出来事駆動型）プロセスの両方を含む。
• 可能な世界における確率的信念を維持するエージェントをモデル化し、ノイズの多い観測と非決定的出来事を取り込むこと。
• 認識的（epistemic）と存在的（ontic）情報の種別を、調整可能な強度パラメータを用いて区別する、合理的で動的整合性のある信念変化フレームワークを提供すること。
• 信念変化の合理性の公理を評価し、図書と芝の乾燥に関する具体的な例を通じてその妥当性を示すこと。

提案手法

• 信念状態を可能な世界上の確率分布としてモデル化し、初期信念をベクトル $ b $ で表現する。
• 観測 $ \alpha $ が存在的（出来事駆動型）か認識的（露呈に基づく）かを定量化するための存在的強度パラメータ $ \mathit{os}(\alpha, w) \in [0,1] $ を導入する。
• 情報が存在的である場合にベイズ的条件づけを適用し、遷移モデルを用いて世界の変化の可能性を推定する。
• 情報が認識的である場合に期待値意味論を用いて確率的再評価を適用し、新しい情報の尤もらしさに基づいて信念を調整する。
• 両プロセスを重み付き平均で組み合わせ、存在的強度によってトレードオフを制御し、ハイブリッド信念更新操作 $ b \lhd \alpha $ を得る。
• 部分的に観測可能な出来事とノイズの多い観測をモデル化するPOMDPに類似した状態推定フレームワークを用い、未観測の原因（例：スプリンクラー、雨）の推論を可能にする。

実験結果

リサーチクエスチョン

• RQ1 認識的（認識的）と存在的（出来事駆動型）プロセスを区別する統合的フレームワークを、確率的信念変化のためにどのように設計できるか？
• RQ2 確率的設定下で、信念再評価と信念更新のバランスをとるためのトレードオフパラメータの役割は何か？
• RQ3 観測がより認識的と見なされる場合と、より存在的と見なされる場合とで、信念分布は可能な世界の間でどのようにシフトするか？
• RQ4 提案されたハイブリッドモデルは、信念変化の合理性の公理を満たすことができるか？ また、計算的・意味論的に妥当な枠組みであるか？
• RQ5 ノイズの多い観測と非決定的出来事は、確率的信念再評価と更新フレームワークにおける信念ダイナミクスにどのように影響を与えるか？

主な発見

• 観測 $ \lnot\mathtt{Dry}(G) $ が完全に認識的と見なされる場合（$ \mathit{os} = 0.00 $）、エージェントは $ w_1 $ および $ w_5 $ から、$ \lnot\mathtt{Dry}(G) $ を満たす最も近い世界へ信念をシフトし、図書が乾いていて中にあるという信念は33％を維持する。
• 存在的強度が1.00に上昇すると、図書が乾いていて中にあるという信念は28％に低下し、図書が外にあって湿っている（$ w_8 $）という信念は51％に上昇する。これは環境的出来事の因果的推論を反映している。
• 追加情報 $ \mathtt{Dry}(B) $ がある場合、完全に存在的と見なすと、図書が乾いていて芝が湿っているという信念は78％に上昇するが、$ \lnot\mathtt{Dry}(G) $ のみの場合には40％にとどまる。これは複数の証拠が組み合わさった影響を示している。
• モデルは合理的な挙動を示す：情報が認識的である場合、信念は最小限で局所的にシフトする。情報が存在的である場合、信念は因果的経路全体に広がり、出来事の結果に対する不確実性を反映する。
• ハイブリッドアプローチは再評価と更新をうまくバランスさせ、信念状態が認識的・存在的スペクトルに滑らかに移行する。$ \mathit{os} $ の値が変化するに従い、確率ベクトルの変化が明確に示されている。
• 本フレームワークは、環境的出来事が観測結果をもたらす仕組みをモデル化することで、未観測の原因（例：スプリンクラー、雨）の推論を可能にする。これはPOMDPスタイルの状態推定と整合的である。