Computer Science – Computer Science and Game Theory
Scientific paper
2009-04-22
Computer Science
Computer Science and Game Theory
19 p
Scientific paper
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.
No associations
LandOfFree
Deconstruction of Infinite Extensive Games using coinduction does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Deconstruction of Infinite Extensive Games using coinduction, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Deconstruction of Infinite Extensive Games using coinduction will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-275555