Class RandomAspicArgumentationTheoryGenerator


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

      Modifier and Type Method Description
      static AspicArgumentationTheory<PlFormula> next​(int numPropositions, int numFormulas, int maxBodyLiterals, double probStrict)
      Generates a random ASPIC argumentation theory with numPropositions and numFormulas formulas (inference rules).
      • Methods inherited from class java.lang.Object

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

      • RandomAspicArgumentationTheoryGenerator

        public RandomAspicArgumentationTheoryGenerator()
    • Method Detail

      • next

        public static AspicArgumentationTheory<PlFormula> next​(int numPropositions,
                                                               int numFormulas,
                                                               int maxBodyLiterals,
                                                               double probStrict)
        Generates a random ASPIC argumentation theory 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.
        Returns:
        an ASPIC argumentation theory