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

    • getAcceptableArguments

      public abstract Collection<Argument> getAcceptableArguments(DungTheory aaf)
      Returns the set of acceptable arguments of this reasoner.
      Parameters:
      aaf - some AAF
      Returns:
      the set of acceptable arguments of this reasoner.

    • query

      public Boolean query(DungTheory beliefbase, Argument formula)
      Description copied from interface: QualitativeReasoner
      Queries the given belief base with the provided formula and returns a boolean result. The result indicates whether the formula is entailed or satisfied by the belief base according to the qualitative reasoning method implemented by the reasoner.
      Specified by:
      query in interface QualitativeReasoner<DungTheory,Argument>
      Specified by:
      query in interface Reasoner<Boolean,DungTheory,Argument>
      Specified by:
      query in class AbstractDungReasoner
      Parameters:
      beliefbase - The belief base to be queried.
      formula - The formula for which the query is made.
      Returns:
      `TRUE` if the formula is entailed or satisfied by the belief base, `FALSE` otherwise.