class

URE::BITNode

Inherits Reference < Object

Backward Inference Tree node for advanced backward chaining

Constructors

new(target : AtomSpace::Atom, depth : Int32 = 0)

add_premise(premise : BITNode)

calculate_fitness(atomspace : AtomSpace::AtomSpace) : Float64

depth

depth=(depth : Int32)

exhausted

exhausted=(exhausted : Bool)

fitness

fitness=(fitness : Float64)

is_leaf?

premises

premises=(premises : Array(BITNode))

results

results=(results : Array(AtomSpace::Atom))

rule

rule=(rule : Rule | Nil)

target

target=(target : AtomSpace::Atom)