Patching rational choice theory for irrational agents: FDT, provability logic and modal agents

jessi_cata · x · 2026-09-18

The author outlines an agenda for patching rational choice theory so it performs well against irrational agents who "throw away the steering wheel," tying it to Schelling's Strategy of Conflict. Reflective consistency recurs across Tiling Agents and FDT; FDT connects to logical uncertainty via the Logical Induction paper. The linked arXiv paper (Barasz, Christiano, Fallenstein, Yudkowsky et al., 2014) studies one-shot Prisoner's Dilemmas between algorithms with read access to each other's source code, using provability logic to build "modal agents" that cooperate robustly without identical source code and are unexploitable by defectors.

Related event: Agent Foundations Reading List and Fixing Causal Decision Theory(2 posts)→

Original post →

More from Research

Research channel →