public abstract class AbstractExtensionReasoner extends AbstractDungReasoner implements ModelProvider<Argument,DungTheory,Extension>
Constructor and Description |
---|
AbstractExtensionReasoner() |
Modifier and Type | Method and Description |
---|---|
abstract Extension |
getModel(DungTheory bbase)
Returns a single (dedicated) model of the given belief base.
|
abstract java.util.Collection<Extension> |
getModels(DungTheory bbase)
Returns a characterizing model of the given belief base
|
static AbstractExtensionReasoner |
getSimpleReasonerForSemantics(Semantics semantics)
Creates a reasoner for the given semantics.
|
java.lang.Boolean |
query(DungTheory beliefbase,
Argument formula)
Queries the given belief base for the given formula.
|
java.lang.Boolean |
query(DungTheory beliefbase,
Argument formula,
int inferenceType)
Queries the given AAF for the given argument using the given
inference type.
|
public java.lang.Boolean query(DungTheory beliefbase, Argument formula)
Reasoner
query
in interface QualitativeReasoner<DungTheory,Argument>
query
in interface Reasoner<java.lang.Boolean,DungTheory,Argument>
query
in class AbstractDungReasoner
beliefbase
- a belief baseformula
- a formulapublic java.lang.Boolean query(DungTheory beliefbase, Argument formula, int inferenceType)
beliefbase
- an AAFformula
- a single argumentinferenceType
- either Semantics.SCEPTICAL_INFERENCE or Semantics.CREDULOUS_INFERENCEpublic static AbstractExtensionReasoner getSimpleReasonerForSemantics(Semantics semantics)
semantics
- a semanticsinferenceType
- an inference typepublic abstract java.util.Collection<Extension> getModels(DungTheory bbase)
ModelProvider
getModels
in interface ModelProvider<Argument,DungTheory,Extension>
bbase
- some belief basepublic abstract Extension getModel(DungTheory bbase)
ModelProvider
getModel
in interface ModelProvider<Argument,DungTheory,Extension>