“…Bayesian, history-based agents have been used to formalize AGI in the so-called AIXIframework (Hutter, 2005; also discussed in Section 2.1). Extensions of this framework have been developed for studying goal alignment (Everitt and Hutter, 2018a), multi-agent interaction (Leike, Taylor, et al, 2016), space-time embeddedness (Orseau and Ring, 2012), self-modification (Everitt, Filan, et al, 2016;Orseau and Ring, 2011), observation modification (Ring and Orseau, 2011), self-duplication (Orseau, 2014a,b), knowledge seeking (Orseau, 2014c), decision theory (Everitt, Leike, et al, 2015), and others (Everitt and Hutter, 2018b). Some aspects of reasoning are swept under the rug by AIXI and Bayesian optimality.…”