module

PatternMatching::Utils

Convenience methods for common pattern matching operations

Class methods

absent_constraint(atoms : Array(AtomSpace::Atom)) : AbsentConstraint

Create an absent constraint for atoms

create_pattern_learner(atomspace : AtomSpace::AtomSpace, frequency_threshold : Float64 = 0.1, confidence_threshold : Float64 = 0.8) : Advanced::PatternLearner

Advanced utility: Create pattern learner

create_recursive_composer(atomspace : AtomSpace::AtomSpace) : Advanced::RecursiveQueryComposer

Advanced utility: Create recursive query composer

create_statistical_matcher(atomspace : AtomSpace::AtomSpace, fuzzy_threshold : Float64 = 0.7) : Advanced::StatisticalMatcher

Advanced utility: Create statistical matcher

create_temporal_matcher(atomspace : AtomSpace::AtomSpace, time_window_ms : Int64 = 5000) : Advanced::TemporalPatternMatcher

Advanced utility: Create temporal pattern matcher

equality_constraint(left : AtomSpace::Atom, right : AtomSpace::Atom) : EqualityConstraint

Create an equality constraint between two atoms

greater_than_constraint(left : AtomSpace::Atom, right : AtomSpace::Atom) : GreaterThanConstraint

Create a greater than constraint for numeric comparisons

match_evaluation(atomspace : AtomSpace::AtomSpace, predicate : String | Nil, subject : String | Nil, object : String | Nil) : Array(MatchResult)

Quick match for simple evaluation patterns

match_inheritance(atomspace : AtomSpace::AtomSpace, child : String | Nil, parent : String | Nil) : Array(MatchResult)

Quick match for simple inheritance patterns

present_constraint(atoms : Array(AtomSpace::Atom)) : PresentConstraint

Create a present constraint for atoms

type_constraint(variable : AtomSpace::Atom, atom_type : AtomSpace::AtomType) : TypeConstraint

Create a type constraint for a variable

variable(name : String) : AtomSpace::Atom

Create a simple variable with the given name