Package net.sf.tweety.arg.aspic.util

Class RandomAspicArgumentationTheoryGenerator

java.lang.Object

net.sf.tweety.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()

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

equals, 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