Epstein Secrets

al Linguistics. Mih07. Rada Nlihalcea. Wand sense disambiguation. Encyclopedia of Machine Learning. Springer-Verlag, 2007. Min88. Marvin Minsky. The Society of Mind. MIT Press, 1988. Mit96. Steven !Althorn The Prehistory of Mind. Thames and Hudson, 1996. MS99. Christopher Manning and Heinrich Scheutze. Founda

, ImplicationLink, etc.) or a fuzzy value (as in MemberLink, EvaluationLink). • Strong Self-Modification: This is generally used as synonymous with Self-Modification, in a CogPrime context. • Subsymbolic: Involving processing of data using elements that have no correspondence to natural language terms, nor abst

rchitectures 73 4.4.1 Neural versus Symbolic; Global versus Local 75 4.5 Globalist versus Localist Representations 78 4.5.1 CLARION 79 4.5.2 The Society of Mind and the Emotion Machine 80 4.5.3 DUAL 80 4.5.4 4D/RCS 81 4.5.5 PolyScheme 82 4.5.6 Joshua Blue 83 4.5.7 LIDA 84 4.5.8 The Global Work

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

h: Staying Human in an Engineered Age. Saint Martins Griffin. 2003. Met04. Thomas Nfetzinger. Being No One. Bradford, 2004. Min88. Marvin Minsky. The Society of Mind. MIT Press. 1988. Min07. Marvin Minsky. The Emotion Machine. 2007. MK07. Joseph Modayil and Benjamin Kuipers. Autonomous development of a grounde

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

.............. 002.000 00- 75 4.5 Globalist versus Localist Representations ............0...00 00 eee eee eee 78 4.5.1 CLARION ..... 0.0.0.0 79 4.5.2 The Society of Mind and the Emotion Machine ...................... 80 AB JDUUAD: sms cass SecEE ShFE SESE 48 SHEMG THEW CSTE S SRPMS EME OeE mE SR 80 ABA AD/RCS o.oo ccc

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

. Enough: Staying Human in an Engineered Age. Saint Martins Griffin, 2003. et04. Thomas Metzinger. Being No One. Bradford, 2004. in88. Marvin Minsky. The Society of Mind. MIT Press, 1988. inO7. Marvin Minsky. The Emotion Machine. 2007. KO7. Joseph Modayil and Benjamin Kuipers. Autonomous development of a grounded obje

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