public abstract class FolTheoremProver
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static FolTheoremProver |
defaultProver
Empty default prover
|
Constructor and Description |
---|
FolTheoremProver() |
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
|
public static FolTheoremProver defaultProver
public static void setDefaultProver(FolTheoremProver prover)
prover
- public static FolTheoremProver getDefaultProver()
public abstract boolean query(FolBeliefSet kb, FolFormula query)
kb
- the knowledge basequery
- a query.public abstract boolean equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)