Class AbstractAcceptabilityReasoner

java.lang.Object
org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner
org.tweetyproject.arg.dung.reasoner.AbstractAcceptabilityReasoner
All Implemented Interfaces:
QualitativeReasoner<DungTheory,Argument>, Reasoner<Boolean,DungTheory,Argument>
Direct Known Subclasses:
EeeAcceptabilityReasoner, FudgeAcceptabilityReasoner, IaqAcceptabilityReasoner, SeeAcceptabilityReasoner, SeemAcceptabilityReasoner

public abstract class AbstractAcceptabilityReasoner extends AbstractDungReasoner
Ancestor class for reasoners that are tailored towards computing the set {a | a is credulously/skeptically accepted wrt. semantics x} directly, see [Thimm, Cerutti, Vallati; 2020, in preparation].
Author:
Matthias Thimm
  • Constructor Details

    • AbstractAcceptabilityReasoner

      public AbstractAcceptabilityReasoner()
      Default constructor
  • Method Details