Class AbstractAspicReasoner<T extends Invertable>

java.lang.Object
org.tweetyproject.arg.aspic.reasoner.AbstractAspicReasoner<T>
Type Parameters:
T - The type of formulas
All Implemented Interfaces:
QualitativeReasoner<AspicArgumentationTheory<T>,T>, Reasoner<Boolean,AspicArgumentationTheory<T>,T>
Direct Known Subclasses:
DirectionalAspicReasoner, ModuleBasedAspicReasoner, RandomAspicReasoner, SimpleAspicReasoner
public abstract class AbstractAspicReasoner<T extends Invertable> extends Object implements QualitativeReasoner<AspicArgumentationTheory<T>,T>
The abstract ancestor of all Aspic reasoner implementations
Author:
Matthias Thimm

  • Constructor Details

    • AbstractAspicReasoner

      public AbstractAspicReasoner(AbstractExtensionReasoner aafReasoner)
      Creates a new instance
      Parameters:
      aafReasoner - Underlying reasoner for AAFs.

  • Method Details

    • getDungTheory

      public abstract DungTheory getDungTheory(AspicArgumentationTheory<T> aat, T query)
      Computes the Dung theory from which the answer will be derived
      Parameters:
      aat - some Aspic theory
      query - some query
      Returns:
      a Dung theory

    • query

      public Boolean query(AspicArgumentationTheory<T> aat, T query)
      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<AspicArgumentationTheory<T extends Invertable>,T extends Invertable>
      Specified by:
      query in interface Reasoner<Boolean,AspicArgumentationTheory<T extends Invertable>,T extends Invertable>
      Parameters:
      aat - The belief base to be queried.
      query - 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 final Boolean query(AspicArgumentationTheory<T> aat, T query, InferenceMode inferenceMode)
      Queries the given AspicArgumentationTheory for the given formula using the given inference type.
      Parameters:
      aat - an AspicArgumentationTheory
      query - a formula
      inferenceMode - either Semantics.SCEPTICAL_INFERENCE or Semantics.CREDULOUS_INFERENCE
      Returns:
      "true" if the formula is accepted

    • query

      public final Boolean query(DungTheory dt, T query, InferenceMode inferenceMode)
      Parameters:
      dt - dung theory
      query - a formula
      inferenceMode - either Semantics.SCEPTICAL_INFERENCE or Semantics.CREDULOUS_INFERENCE
      Returns:
      "true" if the formula is accepted