Epstein Secrets

ic Logic Networks framework IGIGH08] utilized in CogPrime and explained further in the book, and other works in the "Progic" area such as [ll'W00J. Leslie Pack Kaelbling has synthesized low-level robotics methods (particle filtering) with logical inference 17.11071. Dozens of further examples could be given. The con

ts xix 18 Advanced Self-Modification: A Possible Path to Superhuman AGI 317 18.1 Introduction 317 18.2 Cognitive Schema Learning 318 18.3 Self-Modification via Supercompilation 319 18.3.1 Three Aspects of Supercompilation 321 18.3.2 Supercompilation for Goal-Directed Program Modification 322 18.4 Self-Modification

I. Alan Robinson and Andrei Voronkov. Handbook of Automated Reasoning. MIT Press, 2001. RZDK05. Michael Rosenstein. ZvikaMarx, Tom Dietterich, and Leslie Pack Kaelbling. Ttansfer learning with an ensemble of background tasks. NIPS workshop on inductive transfer, 2005. SA93. L. Shastri and V. Ajjanagadde. Rom simpl

set of cognitive tools, however, is to create better cognitive tools. One form this sort of tool-building may take is cognitive EFTA00624094 18.3 Self-Modification via Supercompilation 319 schema learning the learning of schemata carrying out cognitive processes in more specialized, context-dependent ways than the general MindAge

istic Logic Networks framework [GIGHO08] utilized in CogPrime and explained further in the book, and other works in the “Progic” area such as [WW06]. Leslie Pack Kaelbling has synthesized low-level robotics methods (particle filtering) with logical inference [ZPIX07|. Dozens of further examples could be given. The const

OAWEtIOH, «205 ses emtes Cees ENNOE LE SMES MEME SEMS SERS EME!s dees ems 317 18.2 Cognitive Schema Learning .......... 0.000 e cee eee eens 318 18.3 Self-Modification via Supercompilation ..............0..00 000 cee eee 319 18.3.1 Three Aspects of Supercompilation .............0..00 000022 eee eee ee 321 18.3.2 Supercompilation for Go

VO1. Alan Robinson and Andrei Voronkov. Handbook of Automated Reasoning. MIT Press, 2001. RZDKO5. Michael Rosenstein, ZvikaMarx, Tom Dietterich, and Leslie Pack Kaelbling. Transfer learning with an ensemble of background tasks. NIPS workshop on inductive transfer, 2005. SA93. L. Shastri and V. Ajjanagadde. From simple

in this approach the system is thinking about its MindAgents as black boxes rather than being equipped with full knowledge of their internals. 18.3 Self-Modification via Supercompilation Now we turn to a very different form of advanced self-modification: supercompilation. Super- compilation "merely" enables procedures to run much, mu