Epstein Secrets

Supercompilation 319 18.3.1 Three Aspects of Supercompilation 321 18.3.2 Supercompilation for Goal-Directed Program Modification 322 18.4 Self-Modification via Theorem-Proving 323 A Glossary 325 A.1 List of Specialized Acronyms 325 A.2 Glossary of Specialized Terms 326 References 343 EFTA006

eschool in the Light of Intelligence Theory 293 16.4 Task-Based Assessment in AGI Preschool 295 16.5 Beyond Preschool 298 16.6 Issues with Virtual Preschool Engineering 298 16.6.1 Integrating Virtual Worlds with Robot Simulators 301 16.6.2 BlocksNBeads World 301 17 A Preschool-Based Roadmap to Advanced AG

cision graph looks like: Input: List L Output: List If ( P1 (L) ) N1(L) Else If ( P2 (L) ) N2 (L) Else If ( Pk (L) ) Nk(L) EFTA00624098 18.4 Self-Modification via Theorem-Proving 323 where the Pi are predicates, and the Ni are schemata corresponding to other nodes of the decision graph (children of the c

remental improvements - whereas the achievement of preschool-level functionality will be a large leap from the current situation. 16.6 Issues with Virtual Preschool Engineering As noted above there are two broad approaches to realizing the "AGI Preschool" idea: using the AGI to control a physical robot and then crafting a

cts of Supercompilation .............0..00 000022 eee eee ee 321 18.3.2 Supercompilation for Goal-Directed Program Modification............. 322 18.4 Self-Modification via Theorem-Proving ........... 0.00 eee eee eee 323 A Glossary ..... 0.00000 tne teen eee 325 A.1 List of Specialized Acronyms.........0.. 00 0c ce

.4 Task-Based Assessment in AGI Preschool ............0 0.00 cece ee eee 295 16.5 Beyond Preschool ......... 00... eee ete teens 298 16.6 Issues with Virtual Preschool Engineering .............. 000: cece eee eee 298 16.6.1 Integrating Virtual Worlds with Robot Simulators .................... 301 16.6.2 BlocksNBeads World ....