Expressing PLN Rules As Atoms
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...