class

URE::BackwardChainer

Inherits Reference < Object

Advanced backward chainer for URE with BIT support

Constructors

new(atomspace : AtomSpace::AtomSpace, max_depth : Int32 = 10, max_iterations : Int32 = 100)

Instance methods

add_default_rules
add_rule(rule : Rule)
do_chain(target : AtomSpace::Atom) : Array(AtomSpace::Atom)

Advanced backward chaining with BIT construction

query(target : AtomSpace::Atom, depth = 0) : Bool

Simpler backward query for compatibility

truth_value_fulfillment_query(target : AtomSpace::Atom) : AtomSpace::TruthValue | Nil

Truth value fulfillment query - update target truth values

variable_fulfillment_query(pattern : AtomSpace::Atom) : Array(Hash(String, AtomSpace::Atom))

Variable fulfillment query - find groundings for variables