Class SeemAcceptabilityReasoner

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

    public class SeemAcceptabilityReasoner
    extends AbstractAcceptabilityReasoner
    Implements the SEEM approach ("selective extension enumeration with MaxSAT") to determine the set of credulously acceptable arguments of an AF wrt. complete semantics, cf. [Thimm, Cerutti, Vallati; 2020, in preparation]. It iteratively calls a MaxSAT solver to discover new acceptable arguments.
    Author:
    Matthias Thimm
    • Method Summary

      Modifier and Type Method Description
      java.util.Collection<Argument> getAcceptableArguments​(DungTheory aaf)
      Returns the set of acceptable arguments of this reasoner.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • SeemAcceptabilityReasoner

        public SeemAcceptabilityReasoner​(MaxSatSolver maxSatSolver)
        Creates a new IaqAcceptabilityReasoner.
        Parameters:
        maxSatSolver - some MaxSATSolver.