Class AbstractEAFReasoner

java.lang.Object
org.tweetyproject.arg.eaf.reasoner.AbstractEAFReasoner
All Implemented Interfaces:
ModelProvider<Argument, EpistemicArgumentationFramework, Extension<EpistemicArgumentationFramework>>, PostulateEvaluatable<Argument>, QualitativeReasoner<EpistemicArgumentationFramework, Argument>, Reasoner<Boolean, EpistemicArgumentationFramework, Argument>
Direct Known Subclasses:
SimpleEAFAdmissibleReasoner, SimpleEAFCompleteReasoner, SimpleEAFGroundedReasoner, SimpleEAFPreferredReasoner, SimpleEAFStableReasoner
public abstract class AbstractEAFReasoner extends Object implements QualitativeReasoner<EpistemicArgumentationFramework, Argument>, ModelProvider<Argument, EpistemicArgumentationFramework, Extension<EpistemicArgumentationFramework>>, PostulateEvaluatable<Argument>
Ancestor class for EAF reasoners
Author:
Sandra Hoffmann

  • Constructor Details

    • AbstractEAFReasoner

      public AbstractEAFReasoner()

  • Method Details

    • query

      public Boolean query(EpistemicArgumentationFramework 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<EpistemicArgumentationFramework, Argument>
      Specified by:
      query in interface Reasoner<Boolean, EpistemicArgumentationFramework, Argument>
      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.

    • query

      public Boolean query(EpistemicArgumentationFramework 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 AbstractEAFReasoner getSimpleReasonerForSemantics(EAFSemantics semantics)
      Creates a reasoner for the given semantics.
      Parameters:
      semantics - a semantics
      Returns:
      a reasoner for the given CAF theory, inference type, and semantics

    • getModels

      public Collection<Extension<EpistemicArgumentationFramework>> getModels(EpistemicArgumentationFramework bbase, Semantics semantics)
      Computes all admissible extensions that satisfy the epistemic constraint of the EAF for the specified semantics.
      Parameters:
      bbase - the epistemic argumentation framework
      semantics - the desired semantics
      Returns:
      A collection of all admissible extensions that satisfy the constraint.

    • getModel

      public Extension<EpistemicArgumentationFramework> getModel(EpistemicArgumentationFramework bbase, Semantics semantics)
      Computes one extension that satisfies the epistemic constraint of the EAF for the specified semantics.
      Parameters:
      bbase - the constrained argumentation framework
      semantics - the desired semantics
      Returns:
      An admissible extension that satisfies the constraint.

    • isInstalled

      public boolean isInstalled()
      Description copied from interface: QualitativeReasoner
      Checks whether the underlying solver or reasoning mechanism used by this reasoner is installed and available for use. This can be helpful when the reasoner depends on external tools or libraries for performing the reasoning tasks.
      Specified by:
      isInstalled in interface QualitativeReasoner<EpistemicArgumentationFramework, Argument>
      Returns:
      `true` if the solver is installed and available, `false` otherwise.