Class RandomAspicReasoner<T extends Invertable>

java.lang.Object
org.tweetyproject.arg.aspic.reasoner.AbstractAspicReasoner<T>
org.tweetyproject.arg.aspic.reasoner.RandomAspicReasoner<T>
Type Parameters:
T - The type of formulas.
All Implemented Interfaces:
QualitativeReasoner<AspicArgumentationTheory<T>,T>, Reasoner<Boolean,AspicArgumentationTheory<T>,T>

public class RandomAspicReasoner<T extends Invertable> extends AbstractAspicReasoner<T>
This class implements an approximate reasoner for ASPIC+ that randomly samples arguments.
Author:
Matthias Thimm
  • Constructor Details

    • RandomAspicReasoner

      public RandomAspicReasoner(AbstractExtensionReasoner aafReasoner, int maxArguments, int maxDuplicates)
      Creates a new instance.
      Parameters:
      aafReasoner - Underlying reasoner for AAFs.
      maxArguments - The maximal number of arguments constructed by this reasoner.
      maxDuplicates - The maximal number of duplicates tolerated before this reasoner cancels looking for more arguments (even if maxArguments is not yet reached).
  • Method Details