[論文レビュー] Characterizing Solution Concepts in Games Using Knowledge-Based Programs

Joseph Y. Halpern, Yoram Moses|ArXiv.org|Oct 16, 2006

Game Theory and Applications参考文献 23被引用数 16

ひとこと要約

この論文は、知識に基づくプログラム（kbプログラム）を用いて、ナッシュ均衡、相関均衡、逐次的均衡、合理化可能均衡といった主要なゲーム理論的解概念を統一的に扱う。kbプログラムは、エージェントの知識と信念を通じて合理性をモデル化する。すべての解概念は、同一のkbプログラムの変種から生じており、差異は共通事前分布、戦略の独立性、非標準確率の使用といった文脈的仮定によって定まる。

ABSTRACT

We show how solution concepts in games such as Nash equilibrium, correlated equilibrium, rationalizability, and sequential equilibrium can be given a uniform definition in terms of \emph{knowledge-based programs}. Intuitively, all solution concepts are implementations of two knowledge-based programs, one appropriate for games represented in normal form, the other for games represented in extensive form. These knowledge-based programs can be viewed as embodying rationality. The representation works even if (a) information sets do not capture an agent's knowledge, (b) uncertainty is not represented by probability, or (c) the underlying game is not common knowledge.

研究の動機と目的

• 知識に基づくプログラムを用いて、ゲーム理論における主要な解概念を一様に特徴づけること。
• 従来のゲーム表現の限界、特に情報集合がエージェントの実際の知識を正確に反映しない広義の展開形ゲームにおける問題を扱うこと。
• 共通知識のゲーム、確率的不確実性、完全記憶の仮定といった標準的仮定を超えて、解概念を拡張すること。
• 共通知識の合理性に裏付けられた、合理化可能性と相関均衡に関する既存の結果を、単一のkbプログラムフレームワークで統一すること。
• 非標準的設定、例えば完全記憶の欠如や確率的でない不確実性であっても、解概念をkbプログラムで捉えることが可能であることを示すこと。

提案手法

• ランとシステムの枠組みにおいて、エージェントの知識をローカル状態として表現し、従来の情報集合に代わる。
• 2つのコアなkbプログラムを定義する：正規形ゲーム用（EQNF^Γ）と展開形ゲーム用（EQEF^Γ）で、両者とも合理性を最適応答行動としてエンコードする。
• kbプログラムにおける知識テスト（例：「アネスが情報を受信したことが知られていない場合、メッセージを送信する」）を用いて、現在の知識に基づく意思決定をモデル化する。
• 非標準確率測度を用いて不確実性をモデル化し、無限小のずれを捉えることで、逐次的均衡および完全均衡の特徴づけを可能にする。
• kbプログラムの実装を文脈（G₀, ν）において定義する。ここでνは非標準確率測度であり、期待効用の標準部を評価基準とする。
• 文脈的仮定を変化させることで解概念を区別する：共通事前分布（ナッシュ、相関、逐次的）、戦略の独立性（ナッシュ、合理化可能）、非標準期待効用（完全均衡）

実験結果

リサーチクエスチョン

• RQ1 ゲーム理論におけるすべての標準的解概念を、単一の知識に基づくプログラムフレームワークで一様に特徴づけることができるか？
• RQ2 情報集合がエージェントの実際の知識を正しく反映しないゲームにおいて、知識に基づくプログラムはどのように合理性をモデル化できるか？
• RQ3 共通知識のゲームや確率的不確実性が成り立たない状況において、解概念をどの程度まで拡張できるか？
• RQ4 非標準確率測度は、確率がゼロの情報集合を持つゲームにおいて、どのように逐次的均衡および完全均衡を特徴づけるか？
• RQ5 共通事前分布や戦略の独立性といった文脈的仮定が、kbプログラムフレームワークにおける解概念の導出にどのように寄与するか？

主な発見

• ナッシュ均衡、相関均衡、逐次的均衡、合理化可能均衡といったすべての標準的解概念は、同一の知識に基づくプログラムで捉えることができ、差異は文脈的仮定によるものである。
• 正規形ゲーム用のkbプログラムEQNF^Γと展開形ゲーム用のEQEF^Γは、両者とも信念に対する最適応答としての合理性を一様にモデル化する。
• 完全記憶を満たすゲームでは、逐次的均衡が存在するための必要十分条件は、共通事前分布をもつ非標準確率測度νが存在し、kbプログラムが均衡条件を実装できることである。
• 非標準確率により、無限小の期待効用差を捉えることができ、非標準実数上での「EU_i = x」という表現を解釈することで、完全均衡の特徴づけが可能になる。
• 情報集合が実際の知識を反映していない場合や、不確実性が確率的でない場合、あるいはゲームが共通知識でない場合でも、フレームワークは有効である。
• 結果として、解概念は共通知識の合理性に加え、文脈に依存する特徴（例：共通事前分布、戦略の独立性）によって導かれることが示され、既存の合理化可能性と相関均衡に関する結果が統一的に扱えるようになった。