module

OpenCog::Reasoning

Core reasoning algorithms

Class methods

can_conclude?(atomspace : AtomSpace::AtomSpace, goal : AtomSpace::Atom) : Bool

Check if a conclusion can be reached from premises

find_most_confident(atomspace : AtomSpace::AtomSpace, type : AtomSpace::AtomType, limit : Int32 = 10) : Array(AtomSpace::Atom)

Find the most confident atoms of a given type

infer(atomspace : AtomSpace::AtomSpace, max_steps : Int32 = 10) : Array(AtomSpace::Atom)

Apply basic logical inference to an AtomSpace

similarity(atomspace : AtomSpace::AtomSpace, atom1 : AtomSpace::Atom, atom2 : AtomSpace::Atom) : Float64

Calculate similarity between two atoms based on their relationships