class

URE::UREEngine

Inherits Reference < Object

Main URE engine combining forward and backward chaining with mixed inference

Constructors

new(atomspace : AtomSpace::AtomSpace)
Source

Instance methods

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

Advanced mixed inference with adaptive strategy selection

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

Execute specific inference strategy

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

Simple mixed chaining for compatibility

Source
mixed_engine
Source