Class RandomAspicArgumentationTheoryGenerator


  • public class RandomAspicArgumentationTheoryGenerator
    extends java.lang.Object
    Generates random ASPIC argumentation theories.
    Author:
    Matthias Thimm
    • Constructor Summary

      Constructors 
      Constructor Description
      RandomAspicArgumentationTheoryGenerator​(int numPropositions, int numFormulas, int maxBodyLiterals, double probStrict)
      Creates a random ASPIC argumentation theory generatir with numPropositions and numFormulas formulas (inference rules).
    • Method Summary

      Modifier and Type Method Description
      AspicArgumentationTheory<PlFormula> next()
      Returns an ASPIC argumentation theory
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • RandomAspicArgumentationTheoryGenerator

        public RandomAspicArgumentationTheoryGenerator​(int numPropositions,
                                                       int numFormulas,
                                                       int maxBodyLiterals,
                                                       double probStrict)
        Creates a random ASPIC argumentation theory generatir with numPropositions and numFormulas formulas (inference rules).
        Parameters:
        numPropositions - the number of propositions
        numFormulas - the number of formulas
        maxBodyLiterals - the maximal number of body literals in each rule.
        probStrict - the probability of each rule being strict.