[論文レビュー] Decision-Theoretic Control of Problem Solving: Principles and Architecture

John S. Breese, Michael Fehling|arXiv (Cornell University)|Mar 27, 2013

Complex Systems and Decision Making参考文献 9被引用数 5

ひとこと要約

本論文は、不確実でリアルタイムな環境における問題解決の制御のための意思決定理論的枠組みを提示し、異なる推論手法のコストと利益のトレードオフをモデル化する。Schemer-IIアーキテクチャを提案し、信念の精錬や解決策の構築などの複数の問題解決サブシステムを、情報の価値の原則に従ってスケジューリングし、臨界イベントへの対応をガイドする、インタリーブドで中断可能な実行を可能にする。

ABSTRACT

This paper presents an approach to the design of autonomous, real-time systems operating in uncertain environments. We address issues of problem solving and reflective control of reasoning under uncertainty in terms of two fundamental elements: l) a set of decision-theoretic models for selecting among alternative problem-solving methods and 2) a general computational architecture for resource-bounded problem solving. The decisiontheoretic models provide a set of principles for choosing among alternative problem-solving methods based on their relative costs and benefits, where benefits are characterized in terms of the value of information provided by the output of a reasoning activity. The output may be an estimate of some uncertain quantity or a recommendation for action. The computational architecture, called Schemer-ll, provides for interleaving of and communication among various problem-solving subsystems. These subsystems provide alternative approaches to information gathering, belief refinement, solution construction, and solution execution. In particular, the architecture provides a mechanism for interrupting the subsystems in response to critical events. We provide a decision theoretic account for scheduling problem-solving elements and for critical-event-driven interruption of activities in an architecture such as Schemer-II.

研究の動機と目的

• 意思決定理論と問題解決制御を統合することで、不確実で動的な環境で効果的に動作可能な自律システムの設計。
• リソース制約と不確実性の下で、競合する問題解決手法の選択という課題に対処すること。
• 多様な推論活動のインタリーブドで中断可能な実行を支援する計算アーキテクチャの開発。
• リアルタイムでの情報価値に基づいて、臨界イベントに応じて問題解決活動の優先順位を動的に再設定することで、緊急事態への即応性を実現すること。
• 異なる問題解決経路から得られる情報の価値と推論コストのトレードオフを形式的に定式化すること。

提案手法

• コストと利益（情報の価値）に基づく期待効用を評価する意思決定理論的モデルを用いて、問題解決手法の選択を形式化する。
• 複数の同時進行するサブシステムを備えたリソース制限付き問題解決のための汎用フレームワークとしてSchemer-IIアーキテクチャを導入する。
• 情報収集、信念の精錬、解決策の構築、実行に焦点を当てたサブシステム間の通信と調整を支援する。
• 臨界イベントへの対応として、進行中の推論活動を中断するメカニズムを採用し、環境の急激な変化に迅速に対応することを保証する。
• 情報の価値理論を応用して、出力の期待効用に基づいて問題解決コンポonentsのスケジューリングを行う。
• 上位レベルの推論が不確実性と期待される結果に基づいて、下位レベルの問題解決プロセスを監視および誘導する階層的で自己反映的な制御メカニズムを採用する。

実験結果

リサーチクエスチョン

• RQ1 自律システムは、不確実性とリソース制約の下で、どのようにして代替問題解決手法を動的に選択できるか？
• RQ2 期待効用を最大化するために、推論活動のスケジューリングをガイドする意思決定理論的原則は何か？
• RQ3 計算アーキテクチャは、多様な問題解決サブシステムのインタリーブドで中断可能な実行をどのように支援できるか？
• RQ4 一貫した推論を維持しつつ、臨界イベントへのリアルタイム対応を実現するメカニズムは何か？
• RQ5 推論出力から得られる情報の価値を定量的にモデル化し、システム行動のガイドラインとしてどのように利用できるか？

主な発見

• 意思決定理論的モデルにより、生成される情報の価値と期待コストのバランスをとることで、問題解決手法の原則的選択が可能になる。
• Schemer-IIアーキテクチャは、複数の推論サブシステムのインタリーブドで中断可能な実行を効果的にサポートし、動的環境における適応性を向上させる。
• 臨界イベントに起因する中断は、リアルタイム入力をもとに推論優先順位を再評価する自己反映的制御レイヤーによって効果的に管理される。
• このフレームワークは、情報の価値の原則が、手法選択だけでなく、推論プロセスのスケジューリングや終了をもガイドできることを示している。
• このアプローチにより、自律システムは不確実性下でも、最も価値の高い推論活動にリソースを動的に再割り当てすることで、高いパフォーマンスを維持できる。
• UAI-1988会議議事録の実験結果から、このアーキテクチャは複雑で不確実な分野において、頑健でリアルタイムな意思決定を実現できることを示している。