aima.logic.fol.inference
Class FOLModelElimination

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

All Implemented Interfaces:

InferenceProcedure

public class FOLModelElimination
extends java.lang.Object
implements InferenceProcedure

Constructor Summary

FOLModelElimination()

FOLModelElimination(FOLModelEliminationTracer tracer)

FOLModelElimination(FOLModelEliminationTracer tracer, long maxQueryTime)

FOLModelElimination(long maxQueryTime)

Method Summary

InferenceResult	ask(FOLKnowledgeBase kb, Sentence aQuery)
long	getMaxQueryTime()
void	setMaxQueryTime(long maxQueryTime)

Methods inherited from class java.lang.Object

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

Constructor Detail

FOLModelElimination

public FOLModelElimination()

FOLModelElimination

public FOLModelElimination(long maxQueryTime)

FOLModelElimination

public FOLModelElimination(FOLModelEliminationTracer tracer)

FOLModelElimination

public FOLModelElimination(FOLModelEliminationTracer tracer,
                           long maxQueryTime)

Method Detail

getMaxQueryTime

public long getMaxQueryTime()

setMaxQueryTime

public void setMaxQueryTime(long maxQueryTime)

ask

public InferenceResult ask(FOLKnowledgeBase kb,
                           Sentence aQuery)

Specified by:

ask in interface InferenceProcedure

Parameters:

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

aQuery - to be answered.

Returns:

an InferenceResult.