Expressing PLN Rules As Atoms

From OpenCog
Jump to: navigation, search

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.