[論文レビュー] Games with recurring certainty

Dietmar Berwanger, Anup Basil Mathew|arXiv (Cornell University)|Apr 3, 2014

Formal Methods in Verification参考文献 11被引用数 4

ひとこと要約

本稿は、n人プレイヤーの不完全情報ゲームにおける「繰り返しの確実性」の概念を導入する。ここでは、プレイヤーが定期的にゲーム状態の完全な知識を回復する。本稿は、周期的な確実性と同型なエピステム的モデルの同型的同値性を活用することで、このようなゲームが決定可能であり、効果的な戦略合成が可能であることを証明する。

ABSTRACT

Infinite games where several players seek to coordinate under imperfect information are known to be intractable, unless the information flow is severely restricted. Examples of undecidable cases typically feature a situation where players become uncertain about the current state of the game, and this uncertainty lasts forever. Here we consider games where the players attain certainty about the current state over and over again along any play. For finite-state games, we note that this kind of recurring certainty implies a stronger condition of periodic certainty, that is, the events of state certainty ultimately occur at uniform, regular intervals. We show that it is decidable whether a given game presents recurring certainty, and that, if so, the problem of synthesising coordination strategies under w-regular winning conditions is solvable.

研究の動機と目的

• 不完全情報ゲームにおける分散合成の決定不能性を扱う。特に、知識階層が無制限に成長する場合に焦点を当てる。
• 無限の不確実性を防ぎ、決定可能性を回復する自然な条件「繰り返しの確実性」を同定する。
• 繰り返しの確実性を満たすゲームは、有限追跡が可能であり、効果的な戦略合成が可能であることを証明する。
• 有限状態ゲームにおいて、周期的確実性（不確実性の有界な区間）は、繰り返しの確実性の結果であることを示す。
• 繰り返しの確実性のもとで、勝者決定問題および戦略合成問題の決定可能性を確立する

提案手法

• 共通知識の弱体化として「繰り返しの確実性」の概念を導入し、プレイヤーが定期的に完全な状態知識を回復することを保証する。
• 有限状態ゲームにおいて、繰り返しの確実性が周期的確実性（状態の確実性が一様に有界な区間で発生する）を意味することを証明する。
• [5]の追跡構成を用いてエピステム的状態をモデル化し、各ノードが履歴と関連する知識構造を表す。
• 同型的同値性を適用して同等のエピステム的モデルを統合し、不確実性区間が有界である場合に有限追跡を保証する。
• 確実性期間におけるエピステム的モデルの有界な成長に着目し、不完全情報下でも有限追跡が可能であることを示す。
• 追跡を用いて元のゲームを完全情報の2人ゲームに還元し、決定可能性と戦略合成を可能にする

実験結果

リサーチクエスチョン

• RQ1 与えられたn人プレイヤーの不完全情報ゲームが繰り返しの確実性を示すかどうかを決定できるか？
• RQ2 繰り返しの確実性の存在は、エピステム的モデル構築における有限追跡を意味するか？
• RQ3 グランドコалиションが勝者戦略を持つかどうかを決定する問題は、繰り返しの確実性を満たすゲームで決定可能か？
• RQ4 このようなゲームで有限状態の勝者戦略を効果的に合成できるか？
• RQ5 繰り返しの確実性条件から生じる構造的性質（例：周期的確実性）は何か？

主な発見

• 有限状態ゲームにおける繰り返しの確実性は、周期的確実性を意味する。つまり、状態の確実性が一様に有界な間隔で発生する。
• 確実性期間におけるエピステム的モデルの有界な成長のおかげで、繰り返しの確実性を伴うゲームの追跡は有限である。
• 繰り返しの確実性を満たすゲームでは、ω-正則な勝者条件のもとで、勝者決定問題は決定可能である。
• グランドコアリションに対して、このようなゲームで有限状態の勝者戦略を効果的に合成できる。
• 追跡中に生成されるエピステム的モデルは、確実性の点でシングルトンモデルと同型的同値であるため、モデル圧縮が可能である。
• 知識階層の成長が有界であるため、繰り返しの確実性条件下では、一般の不完全情報ゲームの決定不能性が回避される