[论文解读] 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博弈应用于基因调控网络和中国墙安全策略等现实世界领域。

提出的方法

• 通过一组玩家、博弈情境（或概要）以及玩家特定的转换关系来定义CP博弈，以建模允许的状态转移。
• 引入玩家特定的偏好关系，用于比较博弈情境，独立于转换能力。
• 将均衡形式化为：没有任何玩家能够转换到其更偏好状态的状态，从而推广纳什均衡。
• 在偏好关系和转换关系上构建不动点算子，以分析收敛性和均衡存在性。
• 通过捕捉状态转移和调控偏好，将该框架应用于建模基因调控网络。
• 通过建模访问偏好和转换约束，形式化中国墙安全策略，以防止利益冲突。
• 使用图论概念（如强连通分量和汇点）分析动态行为和均衡类型。

实验结果

研究问题

• RQ1 博弈论中的均衡概念能否被推广至基于收益的模型之外？
• RQ2 当收益不适用或具有误导性时，转换和偏好关系在建模战略行为中起什么作用？
• RQ3 如何在可能无限的博弈中形式化定义均衡并证明其存在性？
• RQ4 在哪些现实世界系统中，CP博弈可以建模复杂交互而无需依赖数值收益？
• RQ5 在CP博弈中会涌现出哪些类型的动态行为（例如无限循环），它们与均衡有何关系？

主要发现

• CP博弈通过将均衡定义为没有任何玩家能转换到更偏好状态的状态，推广了纳什均衡，即使在没有收益函数的情况下也成立。
• 本文通过在转换关系和偏好关系上的不动点构造，证明了在可能无限的博弈中均衡的存在性。
• CP博弈中的均衡既包括终端状态（汇点），也包括强连通分量，从而同时捕捉了静态均衡与动态均衡。
• 该框架通过编码调控转换和对稳定基因状态的偏好，成功建模了基因调控网络。
• CP博弈通过建模访问偏好和转换约束，形式化了中国墙安全策略，以防止利益冲突。
• 分析表明，持续的转换循环（在强连通分量中）可代表一种与终端均衡不同的动态均衡形式。