class

PLN::AbductionRule

Inherits PLN::PLNRule < Reference < Object

Abduction Rule: If A->B and C->B then A->C

Instance methods

applies_to?(premise : AtomSpace::Atom) : Bool
apply(premise : AtomSpace::Atom, atomspace : AtomSpace::AtomSpace) : AtomSpace::Atom | Nil
name