Epstein Secrets

Foundations of Language: Brain, Meaning, Grammar, Evolution. Oxford Uni- versity Press, 2003. EFTA00624678 532 A Glossary JLO8. D. J. Jilk and C. Lebiere. and o'reilly. R. C. and Anderson, J. R. (2008). SAL: An explicitly pluralistic cognitive architecture. Journal of Experimental and Theoretical Arti

, 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

nfelder. Plenary debate: quan- tum effects in biologetrivial or not? fluctuation and Noise Letters 8(1), pp. C5DC26, 2008. AL03. J. R. Anderson and C. Lebiere. The newell test for a theory of cognition. Behavioral and Brain Science, 26, 2003. AL09. Itamar Arel and Scott Livingston. Beyond the Curing test

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

nfelder. Plenary debate: quan- tum effects in biology?trivial or not? Fluctuation and Noise Letters 8(1), pp. C5DC26, 2008. ALO3. J. R. Anderson and C. Lebiere. The newell test for a theory of cognition. Behavioral and Brain Science, 26, 2003. ALO9. Itamar Arel and Scott Livingston. Beyond the turing test.

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