Characterizing Solution Concepts in Games Using Knowledge-Based Programs
Computer Science and Game Theory
2007-05-23 v1 Distributed, Parallel, and Cluster Computing
Multiagent Systems
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.
Keywords
Cite
@article{arxiv.cs/0610098,
title = {Characterizing Solution Concepts in Games Using Knowledge-Based Programs},
author = {Joseph Y. Halpern and Yoram Moses},
journal= {arXiv preprint arXiv:cs/0610098},
year = {2007}
}
Comments
To appear, IJCAI 2007