public class StratifiedLabelingReasoner extends AbstractDungReasoner implements ModelProvider<Argument,DungTheory,StratifiedLabeling>
Modifier and Type | Field and Description |
---|---|
private Semantics |
semantics
The semantics used for this reasoner.
|
Constructor and Description |
---|
StratifiedLabelingReasoner()
Creates a new reasoner using sceptical inference and grounded semantics.
|
StratifiedLabelingReasoner(Semantics semantics)
Creates a new reasoner for the given Dung theory, semantics, and inference type.
|
Modifier and Type | Method and Description |
---|---|
StratifiedLabeling |
getModel(DungTheory bbase)
Returns a single (dedicated) model of the given belief base.
|
java.util.Collection<StratifiedLabeling> |
getModels(DungTheory bbase)
Returns a characterizing model of the given belief base
|
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.
|
private Semantics semantics
public StratifiedLabelingReasoner(Semantics semantics)
beliefBase
- a Dung theorysemantics
- a semanticsinferenceType
- and inference typepublic StratifiedLabelingReasoner()
beliefBase
- The knowledge base for this reasoner.public java.util.Collection<StratifiedLabeling> getModels(DungTheory bbase)
ModelProvider
getModels
in interface ModelProvider<Argument,DungTheory,StratifiedLabeling>
bbase
- some belief basepublic StratifiedLabeling getModel(DungTheory bbase)
ModelProvider
getModel
in interface ModelProvider<Argument,DungTheory,StratifiedLabeling>
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_INFERENCE