TL;DR
This paper explores how infinite extensive strategy profiles with perfect information can lead to divergence, using coinduction to bridge economic game theory and computer science logic.
Contribution
It introduces a formalism based on coinduction to analyze infinite game strategies, revealing that rational agents can follow divergent strategies.
Findings
Infinite strategy profiles differ fundamentally from finite ones.
Coinduction provides a new reasoning tool for infinite games.
Rational agents may adopt divergent strategies leading to non-termination.
Abstract
We present infinite extensive strategy profiles with perfect information and we show that replacing finite by infinite changes the notions and the reasoning tools. The presentation uses a formalism recently developed by logicians and computer science theoreticians, called coinduction. This builds a bridge between economic game theory and the most recent advance in theoretical computer science and logic. The key result is that rational agents may have strategy leading to divergence .
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · Logic, Reasoning, and Knowledge · Game Theory and Applications