Class FudgeAcceptabilityReasoner

java.lang.Object
org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner
org.tweetyproject.arg.dung.reasoner.AbstractAcceptabilityReasoner
org.tweetyproject.arg.dung.reasoner.FudgeAcceptabilityReasoner
All Implemented Interfaces:
QualitativeReasoner<DungTheory,Argument>, Reasoner<Boolean,DungTheory,Argument>
public class FudgeAcceptabilityReasoner extends AbstractAcceptabilityReasoner
Implements the Fudge approach to determine the set of acceptable arguments of an AF wrt. preferred semantics and skeptical reasoning, cf. [Thimm, Cerutti, Vallati; 2021, in preparation].
Author:
Matthias Thimm

  • Constructor Details

    • FudgeAcceptabilityReasoner

      public FudgeAcceptabilityReasoner(DimacsSatSolver satSolver)
      Creates a new FudgeAcceptabilityReasoner.
      Parameters:
      satSolver - some DimacsSatSolver. *

  • 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()
      Description copied from interface: QualitativeReasoner
      Checks whether the underlying solver or reasoning mechanism used by this reasoner is installed and available for use. This can be helpful when the reasoner depends on external tools or libraries for performing the reasoning tasks.
      Returns:
      `true` if the solver is installed and available, `false` otherwise.