3
Shared Docs
3
Same-Page
3 / 3
Mentions
lso refers to an Atom that is used as the first argument of a ContextLink. The second argument of the ContextLink then contains Links or Nodes, with TruthValues calculated restricted to the context defined by the first argument. For instance, (ContextLink USA (InheritanceLink person obese )). • Core: The M
, 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
lso refers to an Atom that is used as the first argument of a ContextLink. The second argument of the ContextLink then contains Links or Nodes, with TruthValues calculated restricted to the context defined by the first argument. For instance, (ContextLink USA (InheritanceLink person obese )). • Core: The M
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
also refers to an Atom that is used as the first argument of a ContextLink. The second argument of the ContextLink then contains Links or Nodes, with TruthValues calculated restricted to the context defined by the first argument. For instance, (ContextLink USA (InheritanceLink person obese )). Core: The MindO
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
Entities connected to both TruthValues and Self-Modification

Marc Rich
PERSONOpenCog
ORGANIZATIONDeSTIN
ORGANIZATION
Joscha Bach
PERSONCogPrime
ORGANIZATIONthe Webmind AI Engine
ORGANIZATIONMindAgents
PERSONConceptNodes
ORGANIZATION
Marvin Minsky
PERSONArtificial General Intelligence
ORGANIZATIONCassio Pennachin
PERSONNil Geisweiller
PERSONImplicationLinks
ORGANIZATIONPredicateNode
LOCATION
George W. Bush
PERSONPredicateNodes
ORGANIZATION
Stephen Hawking
PERSON
Predrag Janicic
PERSON
Prince Andrew
PERSONHebbian Learning
ORGANIZATION