Deconstruction of Infinite Extensive Games using coinduction - ENS de Lyon - École normale supérieure de Lyon Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2009

Deconstruction of Infinite Extensive Games using coinduction

Résumé

Finite objects and more specifically finite games are formalized using induction, whereas infinite objects are formalized using coinduction. In this article, after an introduction to the concept of coinduction, we revisit on infinite (discrete) extensive games the basic notions of game theory. Among others, we introduce a definition of Nash equilibrium and a notion of subgame perfect equilibrium for infinite games. We use those concepts to analyze well known infinite games, like the dollar auction game and the centipede game and we show that human behaviors that are often considered as illogic are perfectly rational, if one admits that human agents reason coinductively.
Fichier principal
Vignette du fichier
infinite_games.pdf (242.77 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

ensl-00376141 , version 1 (16-04-2009)
ensl-00376141 , version 2 (28-04-2009)

Identifiants

Citer

Pierre Lescanne. Deconstruction of Infinite Extensive Games using coinduction. 2009. ⟨ensl-00376141v2⟩
139 Consultations
209 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More