Class AbstractExtensionReasoner

java.lang.Object
org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner
org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner
All Implemented Interfaces:
ModelProvider<Argument,DungTheory,Extension<DungTheory>>, PostulateEvaluatable<Argument>, QualitativeReasoner<DungTheory,Argument>, Reasoner<Boolean,DungTheory,Argument>
Direct Known Subclasses:
AbstractSatExtensionReasoner, ProboI23Reasoner, ProboReasoner, QualifiedReasoner, SccCF2Reasoner, SCF2Reasoner, SCOOCNaiveReasoner, SemiQualifiedReasoner, SerialisableExtensionReasoner, SimpleAdmissibleReasoner, SimpleCompleteReasoner, SimpleConflictFreeReasoner, SimpleEagerReasoner, SimpleGroundedReasoner, SimpleIdealReasoner, SimpleInitialReasoner, SimpleNaiveReasoner, SimplePreferredReasoner, SimpleResolutionBasedReasoner, SimpleSccCompleteReasoner, SimpleSccRecursiveReasoner, SimpleSemiStableReasoner, SimpleStableReasoner, SimpleStageReasoner, SolidAdmissibleReasoner, Stage2Reasoner, StronglyAdmissibleReasoner, VacuousReductReasoner, WeaklyAdmissibleReasoner, WeaklyCompleteReasoner, WeaklyGroundedReasoner, WeaklyPreferredReasoner

public abstract class AbstractExtensionReasoner extends AbstractDungReasoner implements ModelProvider<Argument,DungTheory,Extension<DungTheory>>, PostulateEvaluatable<Argument>
Ancestor class for all extension-based reasoners.
Author:
Matthias Thimm
  • Constructor Details

    • AbstractExtensionReasoner

      public AbstractExtensionReasoner()
  • Method Details

    • query

      public Boolean query(DungTheory beliefbase, Argument formula)
      Description copied from interface: Reasoner
      Queries the given belief base for the given formula.
      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 - a belief base
      formula - a formula
      Returns:
      the answer to the query
    • query

      public Boolean query(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode)
      Queries the given AAF for the given argument using the given inference type.
      Parameters:
      beliefbase - an AAF
      formula - a single argument
      inferenceMode - either InferenceMode.SKEPTICAL or InferenceMode.CREDULOUS
      Returns:
      "true" if the argument is accepted
    • getSimpleReasonerForSemantics

      public static AbstractExtensionReasoner getSimpleReasonerForSemantics(Semantics semantics)
      Creates a reasoner for the given semantics.
      Parameters:
      semantics - a semantics
      Returns:
      a reasoner for the given Dung theory, inference type, and semantics
    • isInstalled

      public boolean isInstalled()
      the solver is natively installed and is therefore always installed
      Specified by:
      isInstalled in interface QualitativeReasoner<DungTheory,Argument>
      Returns:
      if the solver is installed