# 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.