Epstein Secrets

ease. In Proceedings of 8th IEEE International Conference on Cognitive Informatics., 2009. Cha0s. Gregory Chaitin. Algorithmic Information Theory. Cambridge University Press, 2008. EFTA00624676 530 A Glossary Cha09. Mark Changizi. The Vision Revolution. l3enBella Books, 2009. Che97. K. Chellapilla. Evolving comput

, 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

al World Reasoning. Atlantis, 2011. CCK02. T. Cilovich, D. Griffin, and D. Kahneman. Heuristics and biases: The psychology of intuitive judgment. Cambridge University Press, 2002. Cib77. J. J. Gibson. The theory of affordances. In R. Shaw & J. Bransford. Erlba , editor, Perceiving, Acting and Knowing. 1977. Cib78.

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

Real World Reasoning. Atlantis, 2011. GGKO02. T. Gilovich, D. Griffin, and D. Kahneman. Heuristics and biases: The psychology of intuitive judgment. Cambridge University Press, 2002. Gib77. J. J. Gibson. The theory of affordances. In R. Shaw & J. Bransford. Erlbaum, editor, Perceiving, Acting and Knowing. 1977. Gib78. Joh

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