public class StratifiedLabelingReasoner extends Reasoner
Modifier and Type | Field and Description |
---|---|
private int |
inferenceType
The type of inference for this reasoner, either sceptical or
credulous.
|
private java.util.Set<StratifiedLabeling> |
labelings
The set of stratified labelings this reasoner is based upon.
|
private Semantics |
semantics
The semantics used for this reasoner.
|
Constructor and Description |
---|
StratifiedLabelingReasoner(BeliefBase beliefBase)
Creates a new reasoner for the given knowledge base using sceptical inference and grounded semantics.
|
StratifiedLabelingReasoner(BeliefBase beliefBase,
Semantics semantics,
int inferenceType)
Creates a new reasoner for the given Dung theory, semantics, and inference type.
|
Modifier and Type | Method and Description |
---|---|
private java.util.Set<StratifiedLabeling> |
computeLabelings()
Computes the labelings this reasoner bases upon.
|
int |
getInferenceType()
Returns the inference type of this reasoner.
|
java.util.Set<StratifiedLabeling> |
getLabelings()
Returns the labelings this reasoner bases upon.
|
Answer |
query(Formula query)
This method determines the answer of the given query
wrt.
|
getKnowledgeBase
private java.util.Set<StratifiedLabeling> labelings
private int inferenceType
private Semantics semantics
public StratifiedLabelingReasoner(BeliefBase beliefBase, Semantics semantics, int inferenceType)
beliefBase
- a Dung theorysemantics
- a semanticsinferenceType
- and inference typepublic StratifiedLabelingReasoner(BeliefBase beliefBase)
beliefBase
- The knowledge base for this reasoner.public Answer query(Formula query)
Reasoner
public java.util.Set<StratifiedLabeling> getLabelings()
public int getInferenceType()
private java.util.Set<StratifiedLabeling> computeLabelings()