aima.core.logic.fol.inference

Class FOLModelElimination

java.lang.Object

aima.core.logic.fol.inference.FOLModelElimination

All Implemented Interfaces:

InferenceProcedure

public class FOLModelElimination
extends java.lang.Object
implements InferenceProcedure

Based on lecture notes from:
http://logic.stanford.edu/classes/cs157/2008/lectures/lecture13.pdf

Author:

Ciaran O'Reilly

Constructor Summary

Constructors

Constructor and Description
FOLModelElimination()
FOLModelElimination(FOLModelEliminationTracer tracer)
FOLModelElimination(FOLModelEliminationTracer tracer, long maxQueryTime)
FOLModelElimination(long maxQueryTime)

Method Summary

Modifier and Type	Method and Description
InferenceResult	ask(FOLKnowledgeBase kb, Sentence query)
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 query)

Specified by:

ask in interface InferenceProcedure

Parameters:

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

query - the query to be answered.

Returns:

an InferenceResult.