[论文解读] Public Announcements in Strategic Games with Arbitrary Strategy Sets

Krzysztof R. Apt, Jonathan A. Zvesper|arXiv (Cornell University)|Dec 23, 2010

Game Theory and Applications参考文献 5被引用 5

一句话总结

本文通过使用最优性算子的超限迭代，将战略博弈中的公开宣告推广至任意策略集，区分了局部最优与全局最优。研究发现，对全局理性性质（例如严格或弱支配、最优回应）的公开宣告对应于迭代消除过程，而局部性质由于知识模型中的信息丢失，无法产生正确结果。

ABSTRACT

In [Van Benthem 2007] the concept of a public announcement is used to study the effect of the iterated elimination of strictly dominated strategies. We offer a simple generalisation of this approach to cover arbitrary strategic games and many optimality notions. We distinguish between announcements of optimality and announcements of rationality.

研究动机与目标

• 将范本滕（van Benthem）的公开宣告框架从有限博弈推广至具有任意策略集的任意战略博弈。
• 在公开宣告的语境下，形式化并比较局部与全局最优性性质（例如严格支配、最优回应）。
• 建立公开宣告理性或最优性可正确模拟迭代消除过程的条件。
• 阐明为何在认知模型中，全局性质能产生正确结果，而局部性质不能。

提出的方法

• 使用初始博弈的限制集合构成一个完全格，按分量式集合包含关系排序。
• 在此格上定义收缩算子，以建模非最优策略的迭代消除。
• 引入算子的超限迭代，以处理可能无限的消除过程。
• 将公开宣告应用于认知模型，通过标准可能性对应关系更新知识。
• 区分局部与全局性质：局部性质仅依赖于当前子博弈，全局性质依赖于原始博弈。
• 采用标准知识模型，其中每位玩家仅知道自己选择的策略，以确保认知清晰性。

实验结果

研究问题

• RQ1 能否将最优性公开宣告推广至具有无限策略集的任意战略博弈？
• RQ2 在基于公开宣告的消除过程中，全局最优性与局部最优性分别起什么作用？
• RQ3 在何种条件下，公开宣告理性可正确模拟非最优策略的迭代消除？
• RQ4 为何在公开宣告模型中，局部性质无法产生正确结果？

主要发现

• 对全局最优性性质（例如全局严格支配、全局最优回应）的公开宣告，可通过算子的超限迭代正确模拟迭代消除过程。
• 全局理性公开宣告的结果是限制 $ T^{ ext{∞}}_{ar{ ext{φ}}} $ 的标准知识模型，对应于消除过程的最终阶段。
• 对于局部性质（例如局部严格支配），公开宣告无法消除非最优策略，因为知识模型无法区分仅剩一种策略的状态。
• 公告算子 $ exttt{⟨}ar{φ} exttt{⟩} $ 对于局部性质成立，意味着未发生有效消除。
• 条件 A（在其他玩家策略集变化下保持不变）确保了理性公开宣告能保持正确的认知结构。
• 该结果将范本滕的有限博弈结果推广至任意博弈，表明全局性质在正确认知建模中至关重要。