Package jtp.modelim

Contains general-purpose reasoners, including a telling control reasoner, an asking control reasoner, and reasoners that implement the model elimination procedure.

See:
Description

Class Summary

AncestorCycleCutReasoner	An asking reasoner that improves search time by cutting off search along a line of reasoning if the current goal is identical to a ancestor goal on the goal stack.
AskingQueryProcessor	Converts a complex query into a pair of query definition and query answer literal.
AskingQueryProcessor.ReformulationProofStep
BreadthFirstForwardReasoner	A telling control reasoner that implements a breadth-first strategy in the search for derived consequences of an assertion.
LinearReductionReasoner	An asking reasoner that implements the model elimination reduction rule.
ModelEliminationReasoner	An asking control reasoner that works by decomposing goals into subgoals.

Package jtp.modelim Description

Contains general-purpose reasoners, including a telling control reasoner, an asking control reasoner, and reasoners that implement the model elimination procedure.