任意策略集策略博弈中理性的证明论分析
计算机科学与博弈论
2010-06-28 v1
摘要
在策略博弈的背景下，我们提供了一个公理化证明，证明“理性的共同知识”意味着玩家只会选择那些在迭代剔除严格劣策略过程中存活的策略。这里的理性意味着只选择玩家相信是最优反应的策略。这涉及到考察两种形式语言。一种是一阶语言，用于形式化最优性条件，例如避免严格劣策略或选择最优反应。另一种是模态不动点语言，包含表示最优性、理性和信念的表达式。不动点用于形成共同信念以及迭代剔除非最优策略的表达式。
引用
@article{arxiv.1006.4926,
title = {Proof-theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets},
author = {Jonathan A. Zvesper and Krzysztof R. Apt},
journal= {arXiv preprint arXiv:1006.4926},
year = {2010}
}
备注
16 pages, Proc. 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XI). To appear