从规则到运行：不完美信息博弈的动态认知分析

在博弈论文献中，扩展式博弈的信息集有不同解释，可能导致混淆与悖论情形。我们认为问题在于混淆了扩展式博弈结构的两种解释：博弈规则或博弈运行，二者并非总是一致。在本文中，我们尝试通过提出一个动态认知框架来分离并连接这两种视角，在该框架中我们能够根据博弈规则加之玩家的给定假设逐步计算出运行过程。我们提出一种模态逻辑来描述玩家的知识及其在博弈过程中的变化，并给出完全的公理化。我们还表明，在特定条件下，由于两者的结构相似性，规则与运行的混淆并无害处。