[論文レビュー] Conversion/Preference Games

Stéphane Le Roux, Pierre Lescanne+1 more|ArXiv.org|Nov 3, 2008

Gene Regulatory Network Analysis参考文献 11被引用数 5

ひとこと要約

この論文は、報酬関数を必要とせず、状態遷移を表す変換関係と状態に対する好みの関係を用いてプレイヤーの行動をモデル化する一般化された戦略的ゲーム、すなわち変換/好みゲーム（CPゲーム）を導入する。固定点構成を用いて、無限ゲームでさえも均衡の存在を確立し、従来の報酬に基づく分析が失敗する状況への一般化されたナッシュ均衡を提示する。

ABSTRACT

We introduce the concept of Conversion/Preference Games, or CP games for short. CP games generalize the standard notion of strategic games. First we exemplify the use of CP games. Second we formally introduce and define the CP-games formalism. Then we sketch two `real-life' applications, namely a connection between CP games and gene regulation networks, and the use of CP games to formalize implied information in Chinese Wall security. We end with a study of a particular fixed-point construction over CP games and of the resulting existence of equilibria in possibly infinite games.

研究の動機と目的

• 報酬関数に基づくモデルを超えて、変換と好みを基礎的概念として導入することで、戦略的ゲーム理論を一般化すること。
• 従来の報酬関数が存在しない状況において、離散的ナッシュ型ゲーム理論が依然として自然かつ適用可能であることを示すこと。
• 変換と好み関係が、標準的なゲーム理論枠組みを超えて、より広範な理論的・実用的関連性を持つことを示すこと。
• 固定点構成を用いて、無限ゲームにおける均衡を形式的に定式化し、均衡存在結果の適用範囲を拡張すること。
• CPゲームを遺伝子調節ネットワークや中国の壁（Chinese Wall）セキュリティポリシーといった実世界の分野に応用すること。

提案手法

• プレイヤーの集合、ゲーム状況（または要約）、およびプレイヤー固有の変換関係を用いてCPゲームを定義し、許可された状態遷移をモデル化する。
• 変換能力とは独立して、ゲーム状況を比較可能なプレイヤー固有の好み関係を導入する。
• どのプレイヤーも好ましい状態に変換できない状態として均衡を形式化し、ナッシュ均衡を一般化する。
• 変換関係と好み関係の上に固定点作用素を構成し、収束性と均衡存在の分析を行う。
• 遺伝子調節ネットワークのモデル化にこのフレームワークを適用し、状態遷移と調節的好みを捉える。
• 情報フローにおけるアクセス好みと変換制約をモデル化することで、中国の壁セキュリティポリシーを形式化する。
• 強連結成分やシンクといったグラフ論的概念を用いて、動的行動および均衡の種類を分析する。

実験結果

リサーチクエスチョン

• RQ1 報酬に基づくモデルを超えて、ゲーム理論的均衡概念を一般化することは可能か？
• RQ2 報酬が不適切または誤解を招く状況において、変換と好み関係は戦略的行動をどのようにモデル化するか？
• RQ3 無限ゲームにおいて、均衡を形式的に定義し、存在を証明することは可能か？
• RQ4 どのような実世界のシステムで、CPゲームが数値的報酬に依存せずに複雑な相互作用をモデル化できるか？
• RQ5 CPゲームではどのような動的行動（例：無限ループ）が生じるのか、そしてそれらは均衡とどのように関係するか？

主な発見

• CPゲームは、報酬関数が存在しない状況において、どのプレイヤーも好ましい状態に変換できない状態として均衡を定義することで、ナッシュ均衡を一般化する。
• 論文は、変換関係と好み関係の上に固定点構成を用いて、無限ゲームにおいても均衡の存在を証明する。
• CPゲームにおける均衡には、終端状態（シンク）と強連結成分（SCC）の両方が含まれ、静的均衡と動的均衡の両方を捉える。
• 遺伝子調節ネットワークは、調節的変換と安定した遺伝子状態への好みを符号化することで、このフレームワークによってうまくモデル化される。
• CPゲームは、アクセス好みと変換制約をモデル化することで、中国の壁セキュリティポリシーを形式化する。
• 分析により、恒久的な変換サイクル（SCC内）が、終端均衡とは異なる形の動的均衡を表すことが明らかになった。