Class EeeAcceptabilityReasoner

java.lang.Object
org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner
org.tweetyproject.arg.dung.reasoner.AbstractAcceptabilityReasoner
org.tweetyproject.arg.dung.reasoner.EeeAcceptabilityReasoner
All Implemented Interfaces:
QualitativeReasoner<DungTheory,Argument>, Reasoner<Boolean,DungTheory,Argument>
public class EeeAcceptabilityReasoner extends AbstractAcceptabilityReasoner
Implements the EEE approach ("exhaustively enumerate extensions") to determine the set of acceptable arguments of an AF, cf. [Thimm, Cerutti, Vallati; COMMA 2020]. It uses another extension-based reasoner to retrieve all extensions and takes the union/intersection.
Author:
Matthias Thimm

  • Constructor Details

    • EeeAcceptabilityReasoner

      public EeeAcceptabilityReasoner(AbstractExtensionReasoner reasoner, InferenceMode inferenceMode)
      Creates a new EeeAcceptabilityReasoner.
      Parameters:
      reasoner - the internal reasoner used.
      inferenceMode - the inference mode.

  • Method Details

    • getAcceptableArguments

      public Collection<Argument> getAcceptableArguments(DungTheory aaf)
      Description copied from class: AbstractAcceptabilityReasoner
      Returns the set of acceptable arguments of this reasoner.
      Specified by:
      getAcceptableArguments in class AbstractAcceptabilityReasoner
      Parameters:
      aaf - some AAF
      Returns:
      the set of acceptable arguments of this reasoner.

    • isInstalled

      public boolean isInstalled()
      this method always returns true because the solver is native
      Returns:
      `true` if the solver is installed and available, `false` otherwise.