Epstein Secrets

ea; this concept is present. for instance, in the 19th-century philosophy of Charles Peirce IPei:341, in the writings of contempo- rary philosophers Daniel Dennett [Den91J and Douglas Hofstadter 1110179, I lo1961, in Benjamin Whorl's tj linguistic philosophy and Gregory Bateson's lam 79] systems theory of mind

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

biological systems. Biological Cybernetics, 87, 392-403,2002. Den87. D. Dennett. The Intentional Stance. Cambridge, MA: MIT Press, 1987. Den91. Daniel Dennett. Consciousness Explained. Back Bay, 1991. DC05. Hugo De Cans. The Artifact War. ETC, 2005. DOP08. Wlodzislaw Duch, Richard Oentaryo, and Michel P

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

idea; this concept is present, for instance, in the 19th-century philosophy of Charles Peirce [Pei34], in the writings of contempo- rary philosophers Daniel Dennett [Den91] and Douglas Hofstadter [Hof79, Hof96], in Benjamin Whorf’s [Who64] linguistic philosophy and Gregory Bateson’s [Bat79] systems theory of mind

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

ic plasticity in biological systems. Biological Cybernetics, 87, 392-403, 2002. D. Dennett. The Intentional Stance. Cambridge, MA: MIT Press, 1987. Daniel Dennett. Consciousness Explained. Back Bay, 1991. Hugo De Garis. The Artilect War. ETC, 2005. Wlodzislaw Duch, Richard Oentaryo, and Michel Pasquier. Cogni

nt decision graphs. The decision graph leading to maximal optimization, may not be the one that leads CogPrime cognition in optimal directions. 18.4 Self-Modification via Theorem-Proving Supercompilation is a potentially very valuable tool for self-modification. If one wants to take an existing schema and graduall