Expressing PLN Rules As Atoms
From OpenCog
For instance, the PLN deduction rule could be expressed as:
ImplicationLink And InheritanceLink $A $B InheritanceLink $B $C EquivalenceLink TruthValueOf (InheritanceLink $A $C) ExOutLink PredicateFormula: DeductionFormula ListLink TruthValueOf $A TruthValueOf $B TruthValueOf $C TruthValueOf (InheritanceLink $A $B) TruthValueOf (InheritanceLink $B $C)
This way, the deduction rule itself would be encoded in Atoms, as well as the quantitative truth value formula itself.