Package com.articulate.sigma

Class InferenceEngine

java.lang.Object

com.articulate.sigma.InferenceEngine

Direct Known Subclasses:

SInE

public abstract class InferenceEngine
extends Object

Author:

Adam Pease

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	InferenceEngine.EngineFactory

Constructor Summary

Constructors

Constructor	Description
InferenceEngine()

Method Summary

Modifier and Type	Method	Description
abstract String	assertFormula(String formula)	Add an assertion.
abstract String	submitQuery(String formula, int timeLimit, int bindingsLimit)	Submit a query.
void	terminate()	Terminates this instance of InferenceEngine.

Methods inherited from class java.lang.Object

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

Constructor Details

InferenceEngine

public InferenceEngine()

Method Details

submitQuery

public abstract String submitQuery(String formula,
 int timeLimit,
 int bindingsLimit)
                            throws IOException

Submit a query.

Parameters:

formula - query in the KIF syntax

timeLimit - time limit for answering the query (in seconds)

bindingsLimit - limit on the number of bindings

Returns:

answer to the query (in the XML syntax)

Throws:

IOException - should not normally be thrown

assertFormula

public abstract String assertFormula(String formula)
                              throws IOException

Add an assertion.

Parameters:

formula - asserted formula in the KIF syntax

Returns:

answer to the assertion (in the XML syntax)

Throws:

IOException - should not normally be thrown

terminate

public void terminate()
               throws IOException

Terminates this instance of InferenceEngine. Warning:After calling this functions no further assertions or queries can be done. Some inference engines might not need/support termination. In that case this method does nothing.

Throws:

IOException - should not normally be thrown