4
Shared Docs
4
Same-Page
4 / 4
Mentions
ve been implemented and tested by the time you read this. EFTA00624361 Chapter 33 Probabilistic Evolutionary Procedure Learning Co-authored with Moshe Looks" 33.1 Introduction The CogPrime architecture fundamentally requires, as one of its components, some powerful algorithm for automated program
breathe, therefore people breathe." Second: • "'Variable fulfillment query"'. Given a target Link (Atoms may be Nodes or Links) with one or more VariableAtoms among its targets, figure out what Atoms may be put in place of these VariableAtoms, so as to give the target Link a high strength* confidence (i.e.
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 Department, Wash- ington University, 2006. Loo07a. M. Looks. On the behavioral div
nt and/or interesting sub-hypergraphs in the Atom.space. • First-Order Inference (FOI): The subset of PLN that handles Logical Links not in- volving VariableAtoms or higher-order functions. The other aspect of PLN, Higher-Order Inference, uses Truth Value formulas derived from First-Order Inference. EFTA00624
ael Nunez. Where Mathematics Comes PInsm. Basic Books, 2000. Log07. Robert M. Logan. The Extended Mind. University of Toronto Press. 2007. Loo06. Moshe Looks. Competent Program Evolution. PhD Thesis, Computer Science Department, Wash- ington University, 2006. LRN87. John Laird, Paul Rosenbloom, and
ent and/or interesting sub-hypergraphs in the Atomspace. • First-Order Inference (FOI): The subset of PLN that handles Logical Links not in- volving VariableAtoms or higher-order function.s. The other aspect of PLN, Higher-Order Inference, uses Truth Value formulas derived from First-Order Inference. EFTA0062
Rafael Nunez. Where Mathematics Comes From. Basic Books, 2000. Log07. Robert M. Logan. The Extended Mind. University of Toronto Press, 2007. Loo06. Moshe Looks. Competent Program Evolution. PhD Thesis, Computer Science Department, Wash- ington University, 2006. LRN87. John Laird, Paul Rosenbloom, and
equent and/or interesting sub-hypergraphs in the Atomspace. First-Order Inference (FOI): The subset of PLN that handles Logical Links not in- volving VariableAtoms or higher-order functions. The other aspect of PLN, Higher-Order Inference, uses Truth Value formulas derived from First-Order Inference. HOUSE_OVER
Entities connected to both Moshe and VariableAtoms

Marc Rich
PERSON
George W. Bush
PERSONCourtney Wild
PERSON
Michael Cohen
PERSON
Stephen Hawking
PERSONOpenCog
ORGANIZATIONCogPrime
ORGANIZATION
Marvin Minsky
PERSON
Woody Allen
PERSONConceptNodes
ORGANIZATION
Lawrence Krauss
PERSON
Joscha Bach
PERSON
Donald Trump
PERSONHebbian Learning
ORGANIZATIONMindAgents
PERSONDeSTIN
ORGANIZATIONthe Truth Value
ORGANIZATION
Jean Piaget
PERSON
Vicky Ward
PERSON
Gerald Edelman
PERSON