public abstract class AbstractExtensionReasoner extends Reasoner
Modifier and Type | Field and Description |
---|---|
private java.util.Set<Extension> |
extensions
The extensions this reasoner bases upon.
|
private int |
inferenceType
The type of inference for this reasoner, either sceptical or
credulous.
|
Constructor and Description |
---|
AbstractExtensionReasoner(BeliefBase beliefBase)
Creates a new reasoner for the given knowledge base using sceptical inference.
|
AbstractExtensionReasoner(BeliefBase beliefBase,
int inferenceType)
Creates a new reasoner for the given knowledge base.
|
Modifier and Type | Method and Description |
---|---|
protected abstract java.util.Set<Extension> |
computeExtensions()
Computes the extensions this reasoner bases upon.
|
java.util.Set<Extension> |
getExtensions()
Returns the extensions this reasoner bases upon.
|
int |
getInferenceType()
Returns the inference type of this reasoner.
|
PlBeliefSet |
getPropositionalCharacterisation()
Creates a propositional representation of the set of labelings of the underlying
Dung theory that are consistent with the given semantics.
|
protected abstract PlBeliefSet |
getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in,
java.util.Map<Argument,Proposition> out,
java.util.Map<Argument,Proposition> undec)
Returns the semantic-specific propositional characterization of the underlying Dung
theory, see
getPropositionalCharacterisation . |
static AbstractExtensionReasoner |
getReasonerForSemantics(BeliefBase beliefBase,
Semantics semantics,
int inferenceType)
Creates a reasoner for the given semantics.
|
Answer |
query(Formula query)
This method determines the answer of the given query
wrt.
|
getKnowledgeBase
private java.util.Set<Extension> extensions
private int inferenceType
public AbstractExtensionReasoner(BeliefBase beliefBase, int inferenceType)
beliefBase
- The knowledge base for this reasoner.inferenceType
- The inference type for this reasoner.public AbstractExtensionReasoner(BeliefBase beliefBase)
beliefBase
- The knowledge base for this reasoner.public static AbstractExtensionReasoner getReasonerForSemantics(BeliefBase beliefBase, Semantics semantics, int inferenceType)
beliefBase
- some Dung theorysemantics
- a semanticsinferenceType
- an inference typepublic Answer query(Formula query)
Reasoner
public PlBeliefSet getPropositionalCharacterisation()
protected abstract PlBeliefSet getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
getPropositionalCharacterisation
.in
- propositional variables of in arguments.out
- propositional variables of out arguments.undec
- propositional variables of undec arguments.getPropositionalCharacterisation
.public java.util.Set<Extension> getExtensions()
public int getInferenceType()
protected abstract java.util.Set<Extension> computeExtensions()