Epstein Secrets

bining top-down and bottom-up refine- ment. In Foundations of Generic Programming. 1999. Row90. John Rowan. Subpersonalities: The People Inside Us. Routledge Press, 1990. RVG05. Mike Ross, Linos Vepstas, and Ben Goertzel. Rolex semantic relationship extractor. http://opencog.org/wilci/RelEx, 2005. EFTA00624

, 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

Israel Rosenfield. The Invention of Memory: A New View of the Brain. Basic Books, 1988. Row90. John Rowan. Subpersonalities: The People Inside Us. Routledge Press, 1990. Row11. T Rowe. Fossil evidence on origin of the mammalian brain. Science 20, 2011. RVOI. Alan Robinson and Andrei Voronkov. Handbook of Au

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

. Israel Rosenfield. The Invention of Memory: A New View of the Brain. Basic Books, 1988. Row90. John Rowan. Subpersonalities: The People Inside Us. Routledge Press, 1990. Rowl11. T Rowe. Fossil evidence on origin of the mammalian brain. Science 20, 2011. RVO1. Alan Robinson and Andrei Voronkov. Handbook of Aut

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