public class NaiveDefaultReasoner extends java.lang.Object implements QualitativeReasoner<DefaultTheory,FolFormula>, ModelProvider<FolFormula,DefaultTheory,Extension>
Constructor and Description |
---|
NaiveDefaultReasoner() |
Modifier and Type | Method and Description |
---|---|
Extension |
getModel(DefaultTheory bbase)
Returns a single (dedicated) model of the given belief base.
|
java.util.Collection<Extension> |
getModels(DefaultTheory bbase)
Returns a characterizing model of the given belief base
|
java.lang.Boolean |
query(DefaultTheory theory,
FolFormula query)
Queries the given belief base for the given formula.
|
public java.util.Collection<Extension> getModels(DefaultTheory bbase)
ModelProvider
getModels
in interface ModelProvider<FolFormula,DefaultTheory,Extension>
bbase
- some belief basepublic Extension getModel(DefaultTheory bbase)
ModelProvider
getModel
in interface ModelProvider<FolFormula,DefaultTheory,Extension>
public java.lang.Boolean query(DefaultTheory theory, FolFormula query)
Reasoner
query
in interface QualitativeReasoner<DefaultTheory,FolFormula>
query
in interface Reasoner<java.lang.Boolean,DefaultTheory,FolFormula>
theory
- a belief basequery
- a formula