aima.logic.fol.inference
Class FOLOTTERLikeTheoremProver

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

All Implemented Interfaces:

InferenceProcedure

public class FOLOTTERLikeTheoremProver
extends java.lang.Object
implements InferenceProcedure

Constructor Summary

FOLOTTERLikeTheoremProver()

FOLOTTERLikeTheoremProver(boolean useParamodulation)

FOLOTTERLikeTheoremProver(long maxQueryTime)

FOLOTTERLikeTheoremProver(long maxQueryTime, boolean useParamodulation)

Method Summary

InferenceResult	ask(FOLKnowledgeBase KB, Sentence alpha)
ClauseFilter	getClauseFilter()
ClauseSimplifier	getClauseSimplifier()
LightestClauseHeuristic	getLightestClauseHeuristic()
long	getMaxQueryTime()
boolean	isUseParamodulation()
void	setClauseFilter(ClauseFilter clauseFilter)
void	setClauseSimplifier(ClauseSimplifier clauseSimplifier)
void	setLightestClauseHeuristic(LightestClauseHeuristic lightestClauseHeuristic)
void	setMaxQueryTime(long maxQueryTime)
void	setUseParamodulation(boolean useParamodulation)

Methods inherited from class java.lang.Object

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

Constructor Detail

FOLOTTERLikeTheoremProver

public FOLOTTERLikeTheoremProver()

FOLOTTERLikeTheoremProver

public FOLOTTERLikeTheoremProver(long maxQueryTime)

FOLOTTERLikeTheoremProver

public FOLOTTERLikeTheoremProver(boolean useParamodulation)

FOLOTTERLikeTheoremProver

public FOLOTTERLikeTheoremProver(long maxQueryTime,
                                 boolean useParamodulation)

Method Detail

getMaxQueryTime

public long getMaxQueryTime()

setMaxQueryTime

public void setMaxQueryTime(long maxQueryTime)

isUseParamodulation

public boolean isUseParamodulation()

setUseParamodulation

public void setUseParamodulation(boolean useParamodulation)

getLightestClauseHeuristic

public LightestClauseHeuristic getLightestClauseHeuristic()

setLightestClauseHeuristic

public void setLightestClauseHeuristic(LightestClauseHeuristic lightestClauseHeuristic)

getClauseFilter

public ClauseFilter getClauseFilter()

setClauseFilter

public void setClauseFilter(ClauseFilter clauseFilter)

getClauseSimplifier

public ClauseSimplifier getClauseSimplifier()

setClauseSimplifier

public void setClauseSimplifier(ClauseSimplifier clauseSimplifier)

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.