[論文レビュー] From rules to runs: A dynamic epistemic take on imperfect information games

Kai Li, Yanjing Wang|arXiv (Cornell University)|Dec 7, 2015

Game Theory and Applications参考文献 21被引用数 3

ひとこと要約

本稿は、不完全情報ゲームにおけるゲームルールとゲーム実行を分離する動的認識的枠組みを提案し、プレイヤーの知識と行動の段階的計算を可能にする。完全な公理的体系を備えたモダール論理を導入し、構造的類似性の下では、従来のゲーム理論における概念的混乱にもかかわらず、ルールと実行を混同しても有害ではないことを示している。

ABSTRACT

In the literature of game theory, the information sets of extensive form games have different interpretations, which may lead to confusions and paradoxical cases. We argue that the problem lies in the mix-up of two interpretations of the extensive form game structures: game rules or game runs which do not always coincide. In this paper, we try to separate and connect these two views by proposing a dynamic epistemic framework in which we can compute the runs step by step from the game rules plus the given assumptions of the players. We propose a modal logic to describe players' knowledge and its change during the plays, and provide a complete axiomatization. We also show that, under certain conditions, the mix-up of the rules and the runs is not harmful due to the structural similarity of the two.

研究の動機と目的

• ゲームルールとゲーム実行を混同することによって生じる展開形式ゲームにおける概念的混乱を解消すること。
• 不完全情報設定における物理的ゲームルールと時間的ゲーム実行の区別を形式化すること。
• ゲーム進行中にプレイヤーの知識の進化をモデル化する動的認識論理を開発すること。
• 知識と行動に関する推論のための、提案された論理の完全な公理化を提供すること。
• 構造的類似性の下では、ルールと実行を混同しても推論に誤りを生じさせないことを示すこと。

提案手法

• プレイヤーの知識とその変化を記述するための動的認識論理（LDEL）を導入すること。
• ルールとプレイヤーの仮定から段階的にゲーム実行を計算する更新積メカニズムを定義すること。
• 観測能力と記憶を組み込んだ更新プロセスから導かれる認識状態を用いてプレイヤーの知識をモデル化すること。
• ゲーム実行が初期ルールと仮定から反復的更新によって生成される形式的意味論を用いること。
• 健全かつ完全な公理化体系を通じて論理の完全性を保証すること。
• 非完全記憶、明示的記憶、高階の不確実性などの拡張を可能にするためにフレームワークを適応させること。

実験結果

リサーチクエスチョン

• RQ1 展開形式ゲームにおける不完全情報の下で、ゲームルールとゲーム実行をどのように形式的に分離できるか？
• RQ2 ゲーム進行中にプレイヤーの知識を動的にモデル化するための論理的枠組みは何か？
• RQ3 ルールと実行の混同が問題でない条件は何か？
• RQ4 このようなゲームにおける知識と行動をモデル化する論理に対して完全な公理化を提供できるか？
• RQ5 このフレームワークは、記憶、並行性、高階の不確実性を扱うためにどのように拡張できるか？

主な発見

• このフレームワークは、展開形式ゲーム理論における長年の概念的曖昧さを解消し、ゲームルールとゲーム実行を成功裏に分離した。
• 提案された動的認識論理（LDEL）は完全であり、不完全情報ゲームにおける知識の進化に関する形式的体系を提供する。
• 更新メカニズムは、ルールとプレイヤーの仮定から段階的にゲーム実行を計算し、動的知識追跡を可能にする。
• ルールと実行の間の構造的類似性が、概念的に別個であるにもかかわらず、それらを混同しても常に有害ではないことを説明する。
• モジュラー設計により、非完全記憶、明示的記憶、高階の不確実性への拡張をモデルがサポートする。
• 全実行列挙を必要とせず、論理的検証に計算効率を発揮するため、モデルチェックが可能になる。