public class RandomAspicArgumentationTheoryGenerator
extends java.lang.Object
Constructor and Description |
---|
RandomAspicArgumentationTheoryGenerator() |
Modifier and Type | Method and Description |
---|---|
static AspicArgumentationTheory<PropositionalFormula> |
next(int numPropositions,
int numFormulas,
int maxBodyLiterals,
double probStrict)
Generates a random ASPIC argumentation theory with
numPropositions
and numFormulas formulas (inference rules). |
public RandomAspicArgumentationTheoryGenerator()
public static AspicArgumentationTheory<PropositionalFormula> next(int numPropositions, int numFormulas, int maxBodyLiterals, double probStrict)
numPropositions
and numFormulas
formulas (inference rules).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.