aima.core.logic.fol.inference

Class FOLTFMResolution

java.lang.Object

aima.core.logic.fol.inference.FOLTFMResolution

All Implemented Interfaces:

InferenceProcedure

public class FOLTFMResolution
extends java.lang.Object
implements InferenceProcedure

Artificial Intelligence A Modern Approach (3rd Edition): page 347.

The algorithmic approach is identical to the propositional case, described in Figure 7.12.

However, this implementation will use the T)wo F)inger M)ethod for looking for resolvents between clauses, which is very inefficient.

see:
http://logic.stanford.edu/classes/cs157/2008/lectures/lecture04.pdf, slide 21 for the propositional case. In addition, an Answer literal will be used so that queries with Variables may be answered (see pg. 350 of AIMA3e).

Author:

Ciaran O'Reilly

Constructor Summary

Constructors

Constructor and Description
FOLTFMResolution()
FOLTFMResolution(FOLTFMResolutionTracer tracer)
FOLTFMResolution(long maxQueryTime)

Method Summary

Modifier and Type	Method and Description
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 - the query to be answered.

Returns:

an InferenceResult.