Package org.tweetyproject.arg.aspic.util
Class RandomAspicArgumentationTheoryGenerator
- java.lang.Object
-
- org.tweetyproject.arg.aspic.util.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 withnumPropositions
andnumFormulas
formulas (inference rules).
-
Method Summary
Modifier and Type Method Description AspicArgumentationTheory<PlFormula>
next()
Returns an ASPIC argumentation theory
-
-
-
Constructor Detail
-
RandomAspicArgumentationTheoryGenerator
public RandomAspicArgumentationTheoryGenerator(int numPropositions, int numFormulas, int maxBodyLiterals, double probStrict)
Creates a random ASPIC argumentation theory generatir withnumPropositions
andnumFormulas
formulas (inference rules).- Parameters:
numPropositions
- the number of propositionsnumFormulas
- the number of formulasmaxBodyLiterals
- the maximal number of body literals in each rule.probStrict
- the probability of each rule being strict.
-
-
Method Detail
-
next
public AspicArgumentationTheory<PlFormula> next()
Returns an ASPIC argumentation theory- Returns:
- an ASPIC argumentation theory
-
-