class

URE::UREEngine

Inherits Reference < Object

Main URE engine combining forward and backward chaining with mixed inference

Constructors

new(atomspace : AtomSpace::AtomSpace)

Instance methods

adaptive_mixed_chain(goal : AtomSpace::Atom, max_time : Float64 = 30.0) : Array(AtomSpace::Atom)

Advanced mixed inference with adaptive strategy selection

add_rule(rule : Rule)
backward_chain(goal : AtomSpace::Atom) : Bool
backward_chainer
execute_strategy(strategy : InferenceStrategy, goal : AtomSpace::Atom, max_time : Float64 = 30.0) : Array(AtomSpace::Atom)

Execute specific inference strategy

forward_chain(steps : Int32 = 10) : Array(AtomSpace::Atom)
forward_chainer
mixed_chain(goal : AtomSpace::Atom, forward_steps : Int32 = 5) : Bool

Simple mixed chaining for compatibility

mixed_engine