Class 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