[论文解读] 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-programs）统一了博弈论中的关键解概念——纳什均衡、相关均衡、序贯均衡与可理性化均衡，其中理性通过代理人的知识与信念来建模。研究显示，所有解概念均可源自同一类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-程序：一个用于标准型博弈（EQNF^Γ），一个用于扩展型博弈（EQEF^Γ），两者均将理性编码为最优响应行为。
• 利用kb-程序中的知识测试（如“若不知晓安收到信息，则发送消息”）来建模基于当前知识的决策过程。
• 使用非标准概率测度来建模无穷小偏差，从而表征序贯均衡与完美均衡。
• 在上下文（G₀, ν）中定义kb-程序的实现，其中ν为非标准概率测度，并使用期望效用的标准部分进行评估。
• 通过改变上下文假设来区分解概念：共同先验（纳什、相关、序贯均衡）、策略独立性（纳什、可理性化）、或非标准期望效用（完美均衡）。

实验结果

研究问题

• RQ1 是否能通过单一基于知识的程序框架，统一表征博弈论中的所有标准解概念？
• RQ2 基于知识的程序如何在信息集无法准确反映代理人实际知识的博弈中建模理性？
• RQ3 解概念在缺乏博弈的共同知识或概率不确定性的情况下，能被多大程度上扩展？
• RQ4 非标准概率测度如何使序贯均衡与完美均衡在零概率信息集的博弈中得以表征？
• RQ5 在kb-程序框架中，上下文假设（如共同先验或策略独立性）如何决定最终的解概念？

主要发现

• 所有标准解概念（纳什、相关、序贯、可理性化）均可由单一基于知识的程序捕捉，其差异源于上下文假设。
• 用于标准型博弈的kb-程序EQNF^Γ与用于扩展型博弈的EQEF^Γ，统一地将理性表征为对信念的最优响应。
• 在具有完美记忆的博弈中，当且仅当存在一个共同先验的非标准概率测度ν，使得kb-程序实现均衡条件时，序贯均衡存在。
• 非标准概率使无穷小期望效用差异得以建模，从而通过在非标准实数上解释“EU_i = x”来表征完美均衡。
• 即使信息集无法反映实际知识、不确定性为非概率性，或博弈非共同知识，该框架依然有效。
• 结果表明，解概念可由共同知识理性与特定上下文特征（如共同先验、策略独立性）推导得出，统一了关于可理性化与相关均衡的既有结果。