Class SemiQualifiedReasoner

  • All Implemented Interfaces:
    ModelProvider<Argument,​DungTheory,​Extension>, QualitativeReasoner<DungTheory,​Argument>, Reasoner<java.lang.Boolean,​DungTheory,​Argument>

    public class SemiQualifiedReasoner
    extends AbstractExtensionReasoner
    Reasoner for semi-qualified sigma-semantics. If sigma is a scc-decomposable semantics this reasoner will compute the qualified extensions for the semantics. In qualified semantics a undecided argument x is treated as out iff there are no other possible labelings where x is in. This means an argument y attacked by x and in a different scc can still be accepted(in) iff x is undecided or out in all possible labelings. see: TODO add reference
    Author:
    Lars Bengel
    • Constructor Detail

      • SemiQualifiedReasoner

        public SemiQualifiedReasoner​(Semantics semantics)
        initialize reasoner with the given semantics as base function. Will only produce meaningful results if the given semantics is SCC-decomposable
        Parameters:
        semantics - a scc-decomposable semantics