T
- the language of the underlying ABA theorypublic abstract class GeneralABAReasoner<T extends Formula> extends java.lang.Object implements QualitativeReasoner<ABATheory<T>,Assumption<T>>, ModelProvider<Assumption<T>,ABATheory<T>,AbaExtension<T>>
Constructor and Description |
---|
GeneralABAReasoner() |
Modifier and Type | Method and Description |
---|---|
AbaExtension<T> |
getModel(ABATheory<T> bbase)
Returns a single (dedicated) model of the given belief base.
|
abstract java.util.Collection<AbaExtension<T>> |
getModels(ABATheory<T> bbase)
Returns a characterizing model of the given belief base
|
java.lang.Boolean |
query(ABATheory<T> beliefbase,
Assumption<T> query)
Queries the given belief base for the given formula.
|
java.lang.Boolean |
query(ABATheory<T> beliefbase,
Assumption<T> query,
int inferenceType)
Queries the given ABA theory for the given assumption using the given
inference type.
|
public java.lang.Boolean query(ABATheory<T> beliefbase, Assumption<T> query)
Reasoner
query
in interface QualitativeReasoner<ABATheory<T extends Formula>,Assumption<T extends Formula>>
query
in interface Reasoner<java.lang.Boolean,ABATheory<T extends Formula>,Assumption<T extends Formula>>
beliefbase
- a belief basequery
- a formulapublic java.lang.Boolean query(ABATheory<T> beliefbase, Assumption<T> query, int inferenceType)
beliefbase
- an ABA theoryquery
- some assumptioninferenceType
- either Semantics.SCEPTICAL_INFERENCE or Semantics.CREDULOUS_INFERENCEpublic abstract java.util.Collection<AbaExtension<T>> getModels(ABATheory<T> bbase)
ModelProvider
getModels
in interface ModelProvider<Assumption<T extends Formula>,ABATheory<T extends Formula>,AbaExtension<T extends Formula>>
bbase
- some belief basepublic AbaExtension<T> getModel(ABATheory<T> bbase)
ModelProvider
getModel
in interface ModelProvider<Assumption<T extends Formula>,ABATheory<T extends Formula>,AbaExtension<T extends Formula>>