net.sf.tweety.logics.fol.prover

Class FolTheoremProver

java.lang.Object

net.sf.tweety.logics.fol.prover.FolTheoremProver

Direct Known Subclasses:

EProver, NaiveProver, Prover9

public abstract class FolTheoremProver
extends java.lang.Object

Abstract FOL Prover to be implemented by concrete solvers

Author:

Bastian Wolf, Nils Geilen

Field Summary

Fields

Modifier and Type	Field and Description
static FolTheoremProver	defaultProver Empty default prover

Constructor Summary

Constructors

Constructor and Description
FolTheoremProver()

Method Summary

Modifier and Type	Method and Description
abstract boolean	equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)
static FolTheoremProver	getDefaultProver() Returns the default theorem prover
abstract boolean	query(FolBeliefSet kb, FolFormula query) This method determines the answer of the given query wrt.
static void	setDefaultProver(FolTheoremProver prover) Set default prover with given

Methods inherited from class java.lang.Object

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

Field Detail

defaultProver

public static FolTheoremProver defaultProver

Empty default prover

Constructor Detail

FolTheoremProver

public FolTheoremProver()

Method Detail

setDefaultProver

public static void setDefaultProver(FolTheoremProver prover)

Set default prover with given

Parameters:

prover -

getDefaultProver

public static FolTheoremProver getDefaultProver()

Returns the default theorem prover

Returns:

the default theorem prover

query

public abstract boolean query(FolBeliefSet kb,
                              FolFormula query)

This method determines the answer of the given query wrt. to the given knowledge base.

Parameters:

kb - the knowledge base

query - a query.

Returns:

the answer to the query.

equivalent

public abstract boolean equivalent(FolBeliefSet kb,
                                   FolFormula a,
                                   FolFormula b)