Abstract
We show how game-theoretic solution concepts such as Nash equilibrium, correlated equilibrium, rationalizability, and sequential equilibrium can be given a uniform definition in terms of a knowledge-based program with counterfactual semantics. In a precise sense, this program can be viewed as providing a procedural characterization of rationality.
| Original language | English |
|---|---|
| Pages (from-to) | 143-170 |
| Number of pages | 28 |
| Journal | Journal of Artificial Intelligence Research |
| Volume | 49 |
| DOIs | |
| State | Published - Feb 2014 |
ASJC Scopus subject areas
- Artificial Intelligence