← Back to Publications
Authors:
Argues that computer programs are a natural representation for the relational, typed, hierarchical, and complex-functional structure of real-world data, and proposes a programmatic representation — well-specified, compact, combinatorial, and hierarchical — for AGI systems that must represent, learn, and reason about programs and their naturally-occurring variations.
A foundational MOSES-lineage source by Moshe Looks (the creator of MOSES) on why and how programs should be represented for learning and reasoning in integrative AGI — underpinning the program-representation choices described in the MOSES Deep Dive. (Companion to the 2009 Atlantis-published version.)