public class SccCompleteReasoner extends AbstractExtensionReasoner
Constructor and Description |
---|
SccCompleteReasoner(BeliefBase beliefBase)
Creates a new complete reasoner for the given knowledge base using sceptical inference.
|
SccCompleteReasoner(BeliefBase beliefBase,
int inferenceType)
Creates a new complete reasoner for the given knowledge base.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<Extension> |
computeExtensions()
Computes the extensions this reasoner bases upon.
|
private java.util.Set<Extension> |
computeExtensionsViaSccs(DungTheory theory,
java.util.List<java.util.Collection<Argument>> sccs,
int idx,
java.util.Collection<Argument> in,
java.util.Collection<Argument> out,
java.util.Collection<Argument> undec)
Computes extensions recursively following the SCC structure.
|
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 . |
getExtensions, getInferenceType, getPropositionalCharacterisation, getReasonerForSemantics, query
getKnowledgeBase
public SccCompleteReasoner(BeliefBase beliefBase, int inferenceType)
beliefBase
- a knowledge base.inferenceType
- The inference type for this reasoner.public SccCompleteReasoner(BeliefBase beliefBase)
beliefBase
- The knowledge base for this reasoner.private java.util.Set<Extension> computeExtensionsViaSccs(DungTheory theory, java.util.List<java.util.Collection<Argument>> sccs, int idx, java.util.Collection<Argument> in, java.util.Collection<Argument> out, java.util.Collection<Argument> undec)
theory
- the theorysccs
- all SCCs topologically sortedidx
- the current SCC to be processedin
- all arguments currently inout
- all arguments currently outundec
- all arguments currently undecidedpublic java.util.Set<Extension> computeExtensions()
AbstractExtensionReasoner
computeExtensions
in class AbstractExtensionReasoner
protected 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
.