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, 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()
  • Method Details