Epstein Secrets

. Thomas K. Landauer, Danielle S. McNamara, Simon Dennis, and Walter Kintsch. Handbook of Latent Semantic Analysis. Psychology Press, 2007. LNOO. George Lakoff and Rafael Nunez. Where Mathematics Comes From. Basic Books, 2000. Loo06. Moshe Looks. Competent Program Evolution. PhD Thesis, Computer Science De

, 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

H. Lee, Q. Meng, and F. Chao. Staged competence learning in developmental robotics. Adaptive Behavior, 2007. EFTA00624123 348 A Glossary LN00. George Lakoff and Rafael Nunez. Where Mathematics Comes PInsm. Basic Books, 2000. Log07. Robert M. Logan. The Extended Mind. University of Toronto Press. 2007.

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

Q. Meng, and F. Chao. Staged competence learning in developmental robotics. Adaptive Behavior, 2007. HOUSE_OVERSIGHT_013263 348 A Glossary LNOO. George Lakoff and Rafael Nunez. Where Mathematics Comes From. Basic Books, 2000. Log07. Robert M. Logan. The Extended Mind. University of Toronto Press, 2007. Lo

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