Class ModuleBasedAspicReasoner<T extends Invertable>

java.lang.Object
org.tweetyproject.arg.aspic.reasoner.AbstractAspicReasoner<T>
org.tweetyproject.arg.aspic.reasoner.ModuleBasedAspicReasoner<T>
Type Parameters:
T - the type of formulas
All Implemented Interfaces:
QualitativeReasoner<AspicArgumentationTheory<T>,T>, Reasoner<Boolean,AspicArgumentationTheory<T>,T>
public class ModuleBasedAspicReasoner<T extends Invertable> extends AbstractAspicReasoner<T>
Slightly optimised reasoner for ASPIC. It first computes the syntactic module of the ASPIC theory and then constructs an AAF from that module (instead of the whole ASPIC theory).
Author:
Matthias Thimm

  • Constructor Details

    • ModuleBasedAspicReasoner

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

  • Method Details

    • getDungTheory

      public DungTheory getDungTheory(AspicArgumentationTheory<T> aat, T query)
      Description copied from class: AbstractAspicReasoner
      Computes the Dung theory from which the answer will be derived
      Specified by:
      getDungTheory in class AbstractAspicReasoner<T extends Invertable>
      Parameters:
      aat - some Aspic theory
      query - some query
      Returns:
      a Dung theory

    • 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.
      Returns:
      `true` if the solver is installed and available, `false` otherwise.