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