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)
Source

Instance methods

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

Advanced backward chaining with BIT construction

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

Simpler backward query for compatibility

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

Truth value fulfillment query - update target truth values

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

Variable fulfillment query - find groundings for variables

Source