Class AbstractExtensionSetAfReasoner

java.lang.Object
org.tweetyproject.arg.setaf.reasoners.AbstractSetAfReasoner
org.tweetyproject.arg.setaf.reasoners.AbstractExtensionSetAfReasoner
All Implemented Interfaces:
ModelProvider<Argument,SetAf,Extension<SetAf>>, PostulateEvaluatable<Argument>, QualitativeReasoner<SetAf,Argument>, Reasoner<Boolean,SetAf,Argument>
Direct Known Subclasses:
SimpleAdmissibleSetAfReasoner, SimpleCompleteSetAfReasoner, SimpleConflictFreeSetAfReasoner, SimpleEagerSetAfReasoner, SimpleGroundedSetAfReasoner, SimpleIdealSetAfReasoner, SimpleNaiveSetAfReasoner, SimplePreferredSetAfReasoner, SimpleSemiStableSetAfReasoner, SimpleStableSetAfReasoner, SimpleStageSetAfReasoner

public abstract class AbstractExtensionSetAfReasoner extends AbstractSetAfReasoner implements ModelProvider<Argument,SetAf,Extension<SetAf>>, PostulateEvaluatable<Argument>
Ancestor class for all SetAf-extension-based reasoners.
Author:
Sebastian Franke
  • Constructor Details

    • AbstractExtensionSetAfReasoner

      public AbstractExtensionSetAfReasoner()
  • Method Details

    • query

      public Boolean query(SetAf beliefbase, Argument formula)
      Description copied from interface: Reasoner
      Queries the given belief base for the given formula.
      Specified by:
      query in interface QualitativeReasoner<SetAf,Argument>
      Specified by:
      query in interface Reasoner<Boolean,SetAf,Argument>
      Specified by:
      query in class AbstractSetAfReasoner
      Parameters:
      beliefbase - a belief base
      formula - a formula
      Returns:
      the answer to the query
    • query

      public Boolean query(SetAf 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 AbstractExtensionSetAfReasoner 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