class

PLN::ModusPonensRule

Inherits PLN::PLNRule < Reference < Object

Modus Ponens Rule: If A->B and A then B

Instance methods

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