public class StableReasoner extends AbstractExtensionReasoner
Constructor and Description |
---|
StableReasoner(BeliefBase beliefBase)
Creates a new stable reasoner for the given knowledge base using sceptical inference.
|
StableReasoner(BeliefBase beliefBase,
int inferenceType)
Creates a new stable reasoner for the given knowledge base.
|
Modifier and Type | Method and Description |
---|---|
protected java.util.Set<Extension> |
computeExtensions()
Computes the extensions this reasoner bases upon.
|
protected 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 . |
private java.util.Set<Extension> |
getStableExtensions(Extension ext)
Auxiliary method to compute the set of all stable extensions
|
getExtensions, getInferenceType, getPropositionalCharacterisation, getReasonerForSemantics, query
getKnowledgeBase
public StableReasoner(BeliefBase beliefBase, int inferenceType)
beliefBase
- a knowledge base.inferenceType
- The inference type for this reasoner.public StableReasoner(BeliefBase beliefBase)
beliefBase
- The knowledge base for this reasoner.protected java.util.Set<Extension> computeExtensions()
AbstractExtensionReasoner
computeExtensions
in class AbstractExtensionReasoner
private java.util.Set<Extension> getStableExtensions(Extension ext)
arguments
- a set of arguments to be refined to yield a stable extensionprotected PlBeliefSet getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
AbstractExtensionReasoner
getPropositionalCharacterisation
.getPropositionalCharacterisationBySemantics
in class AbstractExtensionReasoner
in
- propositional variables of in arguments.out
- propositional variables of out arguments.undec
- propositional variables of undec arguments.getPropositionalCharacterisation
.