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
      ExOutLink GetTruthValue (InheritanceLink $A $C)
      ExOutLink
         GroundedSchemaNode: DeductionFormula
         ListLink
            ExOutLink GetTruthValue $A
            ExOutLink GetTruthValue $B
            ExOutLink GetTruthValue $C
            ExOutLink GetTruthValue (InheritanceLink $A $B)
            ExOutLink GetTruthValue (InheritanceLink $B $C)

This way, the deduction rule itself would be encoded in PLN links, and only the quantitative truth value formula itself would be wrapped up in a schema

Making use of this would require the revision rule to work properly with GetTruthValue though...