aima.logic.fol.inference
Class FOLTFMResolution

java.lang.Object
  aima.logic.fol.inference.FOLTFMResolution

All Implemented Interfaces:

InferenceProcedure

public class FOLTFMResolution
extends java.lang.Object
implements InferenceProcedure

Constructor Summary

FOLTFMResolution()

FOLTFMResolution(FOLTFMResolutionTracer tracer)

FOLTFMResolution(long maxQueryTime)

Method Summary

InferenceResult	ask(FOLKnowledgeBase KB, Sentence alpha)
long	getMaxQueryTime()
FOLTFMResolutionTracer	getTracer()
void	setMaxQueryTime(long maxQueryTime)
void	setTracer(FOLTFMResolutionTracer tracer)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FOLTFMResolution

public FOLTFMResolution()

FOLTFMResolution

public FOLTFMResolution(long maxQueryTime)

FOLTFMResolution

public FOLTFMResolution(FOLTFMResolutionTracer tracer)

Method Detail

getMaxQueryTime

public long getMaxQueryTime()

setMaxQueryTime

public void setMaxQueryTime(long maxQueryTime)

getTracer

public FOLTFMResolutionTracer getTracer()

setTracer

public void setTracer(FOLTFMResolutionTracer tracer)

ask

public InferenceResult ask(FOLKnowledgeBase KB,
                           Sentence alpha)

Specified by:

ask in interface InferenceProcedure

Parameters:

KB - the knowledge base against which the query is to be made.

alpha - to be answered.

Returns:

an InferenceResult.