[论文解读] From rules to runs: A dynamic epistemic take on imperfect information games

Kai Li, Yanjing Wang|arXiv (Cornell University)|Dec 7, 2015

Game Theory and Applications参考文献 21被引用 3

一句话总结

本文提出了一种动态认识论框架，将不完美信息博弈中的游戏规则与游戏运行分离，实现了玩家知识与行动的逐步计算。该框架引入了一种具有完整公理化的模态逻辑，表明在结构相似性条件下，尽管传统博弈论中存在概念混淆，将规则与运行混合并不会导致错误。

ABSTRACT

In the literature of game theory, the information sets of extensive form games have different interpretations, which may lead to confusions and paradoxical cases. We argue that the problem lies in the mix-up of two interpretations of the extensive form game structures: game rules or game runs which do not always coincide. In this paper, we try to separate and connect these two views by proposing a dynamic epistemic framework in which we can compute the runs step by step from the game rules plus the given assumptions of the players. We propose a modal logic to describe players' knowledge and its change during the plays, and provide a complete axiomatization. We also show that, under certain conditions, the mix-up of the rules and the runs is not harmful due to the structural similarity of the two.

研究动机与目标

• 解决因混淆游戏规则与游戏运行而引起的扩展式博弈中的概念混淆问题。
• 在不完美信息设定下，形式化物理游戏规则与时间游戏运行之间的区别。
• 开发一种动态认识论逻辑，以建模玩家在游戏进行过程中的知识演化。
• 为所提出的逻辑提供完整的公理化系统，以支持对知识与行动的推理。
• 证明在结构相似性条件下，混合规则与运行不会导致推理错误。

提出的方法

• 引入一种动态认识论逻辑（LDEL），以描述玩家知识及其在游戏进行过程中的变化。
• 定义一种更新乘积机制，逐步从规则和玩家假设中计算游戏运行。
• 利用从更新过程中导出的认识论状态来建模玩家知识，整合观察能力与记忆。
• 采用形式语义，通过迭代更新从初始规则和假设生成游戏运行。
• 通过一个可靠且完整的公理化系统确保逻辑的完备性。
• 调整框架以支持扩展，如非完美记忆、显式记忆以及高阶不确定性。

实验结果

研究问题

• RQ1 在具有不完美信息的扩展式博弈中，如何正式分离游戏规则与游戏运行？
• RQ2 何种逻辑框架能够实现对玩家在游戏进程中知识动态建模？
• RQ3 在何种条件下，将规则与运行混淆不会造成问题？
• RQ4 能否为一种建模此类游戏中知识与行动的逻辑提供完整的公理化系统？
• RQ5 该框架如何扩展以处理记忆、并发性以及高阶不确定性？

主要发现

• 该框架成功实现了游戏规则与游戏运行的分离，解决了扩展式博弈理论中长期存在的概念模糊问题。
• 所提出的动态认识论逻辑（LDEL）具有完备性，为不完美信息博弈中知识演化提供了正式的推理系统。
• 更新机制从规则和玩家假设中逐步计算游戏运行，实现了动态知识追踪。
• 规则与运行之间的结构相似性解释了为何在概念上虽有区别，但混合使用并不总是有害。
• 通过模块化设计，该模型支持对非完美记忆、显式记忆以及高阶不确定性的扩展。
• 该框架可在无需完整运行枚举的情况下进行模型检测，为逻辑验证提供了计算效率。