public abstract class AbstractModalReasoner extends java.lang.Object implements QualitativeReasoner<ModalBeliefSet,FolFormula>
Modifier and Type | Field and Description |
---|---|
static AbstractModalReasoner |
defaultReasoner
Empty default prover
|
Constructor and Description |
---|
AbstractModalReasoner() |
Modifier and Type | Method and Description |
---|---|
static AbstractModalReasoner |
getDefaultReasoner()
Returns the default reasoner for modal logic
|
abstract java.lang.Boolean |
query(ModalBeliefSet beliefbase,
FolFormula formula)
Queries the given belief base for the given formula.
|
static void |
setDefaultReasoner(AbstractModalReasoner reasoner)
Set default modal reasoner with given
|
public static AbstractModalReasoner defaultReasoner
public static void setDefaultReasoner(AbstractModalReasoner reasoner)
reasoner
- public static AbstractModalReasoner getDefaultReasoner()
public abstract java.lang.Boolean query(ModalBeliefSet beliefbase, FolFormula formula)
Reasoner
query
in interface QualitativeReasoner<ModalBeliefSet,FolFormula>
query
in interface Reasoner<java.lang.Boolean,ModalBeliefSet,FolFormula>
beliefbase
- a belief baseformula
- a formula