A Theory of Bounded Inductive Rationality
Caspar Oesterheld (Carnegie Mellon University), Abram Demski (Machine, Intelligence Research Institute), Vincent Conitzer (Carnegie Mellon, University)

TL;DR
This paper develops a new theory of rational decision making for agents with limited computational abilities, addressing logical omniscience assumptions and analyzing strategic interactions among such agents.
Contribution
It introduces a boundedly rational inductive framework that allows agents to learn and adapt without assuming full logical omniscience, including a folk theorem for strategic interactions.
Findings
Agents learn to value random lotteries at expected rewards.
Bounded rational agents can converge to stable strategies in strategic settings.
Theory applies to decision problems like betting on digits of pi and game interactions.
Abstract
The dominant theories of rational choice assume logical omniscience. That is, they assume that when facing a decision problem, an agent can perform all relevant computations and determine the truth value of all relevant logical/mathematical claims. This assumption is unrealistic when, for example, we offer bets on remote digits of pi or when an agent faces a computationally intractable planning problem. Furthermore, the assumption of logical omniscience creates contradictions in cases where the environment can contain descriptions of the agent itself. Importantly, strategic interactions as studied in game theory are decision problems in which a rational agent is predicted by its environment (the other players). In this paper, we develop a theory of rational decision making that does not assume logical omniscience. We consider agents who repeatedly face decision problems (including ones…
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.
