public abstract class FolReasoner extends java.lang.Object implements QualitativeReasoner<FolBeliefSet,FolFormula>
Modifier and Type | Field and Description |
---|---|
static FolReasoner |
defaultReasoner
Empty default reasoner
|
Constructor and Description |
---|
FolReasoner() |
Modifier and Type | Method and Description |
---|---|
abstract boolean |
equivalent(FolBeliefSet kb,
FolFormula a,
FolFormula b)
This method determines whether two formulas are
equivalent wrt.
|
static FolReasoner |
getDefaultReasoner()
Returns the default theorem prover
|
abstract java.lang.Boolean |
query(FolBeliefSet beliefbase,
FolFormula formula)
Queries the given belief base for the given formula.
|
static void |
setDefaultReasoner(FolReasoner reasoner)
Set default reasoner with given
|
public static FolReasoner defaultReasoner
public static void setDefaultReasoner(FolReasoner reasoner)
reasoner
- public static FolReasoner getDefaultReasoner()
public abstract boolean equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)
kb
- the knowledge basea
- the first formula.b
- the second formula.public abstract java.lang.Boolean query(FolBeliefSet beliefbase, FolFormula formula)
Reasoner
query
in interface QualitativeReasoner<FolBeliefSet,FolFormula>
query
in interface Reasoner<java.lang.Boolean,FolBeliefSet,FolFormula>
beliefbase
- a belief baseformula
- a formula