Hyperventilating Socrates

From OpenCog
Jump to: navigation, search

Syllogism:

Socrates is a man
Men breathe air
|-
Socrates breathes air

We need to map the RelEx2Frame output into OpenCog Atoms in order to do the inference. This involves a set of rules that act on the RelEx2Frame output and produce Atoms, either directly as binary objects, or as Scheme code or XML or whatever.. In this case the output of these Frame2Atom rules for the two premises of the above inference might look like

ConceptNode man
ConceptNode air
SpecificEntityNode Socrates
PredicateNode breathe
Inheritance Socrates man
Evaluation breathe (man, air)

It is then a single PLN inference step to conclude

Evaluation breathe (Socrates, air)