A Procedural Characterization of Solution Concepts in Games

Main Article Content

J. Y. Halpern
Y. Moses

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.


Article Details

Section
Articles