Uses of Interface
jtp.fol.parser.FirstOrderLogicTranslator

Packages that use FirstOrderLogicTranslator

jtp.context	Provides a basic configuration and interface for JTP.
jtp.fol.kif
jtp.fol.parser
jtp.frame.fc
jtp.modelim	Contains general-purpose reasoners, including a telling control reasoner, an asking control reasoner, and reasoners that implement the model elimination procedure.

Uses of FirstOrderLogicTranslator in jtp.context

Methods in jtp.context that return FirstOrderLogicTranslator

FirstOrderLogicTranslator

BasicReasoningContext.getTranslator() Returns translator used to translate String argument in BasicReasoningContext.ask(String).

Uses of FirstOrderLogicTranslator in jtp.fol.kif

Methods in jtp.fol.kif that return FirstOrderLogicTranslator

static FirstOrderLogicTranslator

KIF2CNF.createTranslator()

Uses of FirstOrderLogicTranslator in jtp.fol.parser

Classes in jtp.fol.parser that implement FirstOrderLogicTranslator

class

ParserBasedTranslator This class is an implementation of FirstOrderLogicTranslator that uses an auxiliary parser to do the transformation.

Uses of FirstOrderLogicTranslator in jtp.frame.fc

Fields in jtp.frame.fc declared as FirstOrderLogicTranslator

protected FirstOrderLogicTranslator	RuleUnroller.tr
protected FirstOrderLogicTranslator	NewRuleConsequences.tr
protected static FirstOrderLogicTranslator	AbstractRuleCreator.trans

Uses of FirstOrderLogicTranslator in jtp.modelim

Classes in jtp.modelim that implement FirstOrderLogicTranslator

class

AskingQueryProcessor Converts a complex query into a pair of query definition and query answer literal.

Methods in jtp.modelim that return FirstOrderLogicTranslator

FirstOrderLogicTranslator

AskingQueryProcessor.getTranslator()

Methods in jtp.modelim with parameters of type FirstOrderLogicTranslator

void	AskingQueryProcessor.setTranslator(FirstOrderLogicTranslator translator)