Two Paths from Logical Induction: Part 0

Written as part of the MATS 9.1 extension program, mentored by Richard Ngo. Additional thanks to Maria Kostylew, Lorxus, and others for helpful feedback on this post.IntroductionIn this sequence, I will outline two prospective agendas that build on Logical Induction (LI) to contribute to a descriptive theory of embedded agency. In part 0, I introduce LI and cover some progress the framework has made towards clarifying key properties of intelligence. This piece then concludes with a brief case fo...