Bayes about logical statements
2026-02-05 — 2026-02-06
Wherein Logical Omniscience Is Abandoned, Computationally Tractable Methods Are Sought for Bounded Agents, and Caspar Oesterheld’s Research Is Referenced Alongside a Cautionary Illustration of a Large, Hungry Agent.
Bayes
bounded compute
how do science
Monte Carlo
statistics
Placeholder to discuss logical induction, etc.; Bayes without logical omniscience. I should also link to Caspar Oesterheld’s work.
Generally, we are delighted to discuss ideas here about how to perform inference over logical statements in a way that is computationally tractable and usable by bounded agents.
1 References
Garrabrant, Benson-Tilsen, Critch, et al. 2016. “Logical Induction (Abridged).”
———, et al. 2020. “Logical Induction.”
Oesterheld, Demski, and Conitzer. 2023. “A Theory of Bounded Inductive Rationality.” Electronic Proceedings in Theoretical Computer Science.