Package ai.libs.jaicore.logic.fol.util
-
Class Summary Class Description ForwardChainer This algorithm answers the question for which groundings G of the variables in $premise, G[$premise] follows from $factbase.ForwardChainerRecursionEvent ForwardChainingFailedCWABindingEvent This is used if a binding is found that is ok for positive literals, but negative literals of the conclusions are in the factbase.ForwardChainingProblem LiteralStringParser LogicUtil Utility class for the logic package.NextBindingFoundEvent TypeUtil