3
Shared Docs
3
Same-Page
3 / 3
Mentions
AND ExtensionallnheritanceLink $Y human EvaluationLink parent_of (SX, SY) EFTA00624186 40 20 Knowledge Representation Using the Atomspace This ImplicationLink says that 30% of humans are parents: a more useful statement than the ForAll Link given above, which says that it is very very unlikely to be true t
$X) to refer to the set of X so that eats(cat, X). On the other hand, suppose we have the implication Implication Evaluation f $X Evaluation f ExOut reverse $X where f is a PredicateNode embodying a mathematical operator acting on pairs of NumberN- odes, and reverse is an operator that reverses a
setLink is used because it's shorter and more intuitive. There are links representing Boolean operations AND, OR and NOT. For instance, we may say ImplicationLink ANDLink ConceptNode young ConceptNode beautiful ConceptNode attractive or, using links and VariableNodes instead of ConceptNodes, AverageLink S
schema father_of that outputs the father of its argument. The ExecutionOutput (ExOut) edge denotes the output of a Schema in an implicit way, e.g. ExOut say_hello refers to a particular act of saying hello, whereas ExOut add numbers 43, 4) refers to the Concept corresponding to 7. Note that this la
ubsetLink is used because it’s shorter and more intuitive. There are links representing Boolean operations AND, OR and NOT. For instance, we may say ImplicationLink ANDLink ConceptNode young ConceptNode beautiful ConceptNode attractive or, using links and VariableNodes instead of ConceptNodes, AverageLink $X
schema father_ of that outputs the father of its argument. The ExecutionOutput (ExOut) edge denotes the output of a Schema in an implicit way, e.g. ExOut say_hello refers to a particular act of saying hello, whereas ExOut add_numbers {3, 4) refers to the Concept corresponding to 7. Note that this la
Entities connected to both ImplicationLink and ExOut

Marc Rich
PERSONProbabilistic Logic Networks
ORGANIZATIONOpenCog
ORGANIZATIONCogPrime
ORGANIZATIONInheritanceLinks
ORGANIZATIONConceptNodes
ORGANIZATIONSatisfyingSet
ORGANIZATION
Donald Trump
PERSON
Stephen Hawking
PERSON
George W. Bush
PERSON
Bill Clinton
PERSONSimpson
PERSON
Woody Allen
PERSON
Vince Foster
PERSONCourtney Wild
PERSON
Earth
LOCATION
Vladimir Putin
PERSON
Lawrence Krauss
PERSON
Dennett
PERSONStephan Vladimir Bugaj
PERSON