Epstein Secrets

ial Intel- ligence, 54(1-2):199 - 227, 1992. PLI2. Jeremy Fishel and Gerald Loeb. Bayesian exploration for intelligent identification of textures. Frontiers in Neurorobotics 6-4, 2012. Pri98. Roy. FYieden. Physics from Fisher Information. Cambridge U. Press, 1998. PT02. G. Pauconnier and M. Turner. Th

, 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

-14, 1995. HC08. David Hart and Ben Goertzel. Opencog: A software framework for integrative artificial general intelligence. In ACI, volume 171 of Frontiers in Artificial Intelligence and Applications. pages 468-472. IOS Press, 2008. HHPO12. Adam Hampshire, Roger Highfield, Beth Parkin, and Adrian Owen

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

I-14, 1995. HGO8. David Hart and Ben Goertzel. Opencog: A software framework for integrative artificial general intelligence. In AGI, volume 171 of Frontiers in Artificial Intelligence and Applications, pages 468-472. IOS Press, 2008. HHPO12. Adam Hampshire, Roger Highfield, Beth Parkin, and Adrian Owen.

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