class

URE::ConjunctionRule

Inherits URE::Rule < Reference < Object

Rule to handle simple logical conjunction

Instance methods

apply(premises : Array(AtomSpace::Atom), atomspace : AtomSpace::AtomSpace) : AtomSpace::Atom | Nil
Source
conclusion
Source
fitness(premises : Array(AtomSpace::Atom)) : Float64
Source
name
Source
premises
Source