Package org.tweetyproject.arg.dung.reasoner

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()
      Indicates that this reasoner is installed if the underlying SAT solver is installed.
      Returns:
      whether the underlying SAT solver is installed