com.articulate.sigma

Class InferenceEngine

java.lang.Object

com.articulate.sigma.InferenceEngine

Direct Known Subclasses:

SInE, Vampire

public abstract class InferenceEngine
extends Object

Author:

Adam Pease

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	InferenceEngine.EngineFactory

Constructor Summary

Constructors

Constructor and Description
InferenceEngine()

Method Summary

Modifier and Type	Method and 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 Detail

InferenceEngine

public InferenceEngine()

Method Detail

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