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 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.

Method Detail

next

public AspicArgumentationTheory<PlFormula> next()

Returns an ASPIC argumentation theory

Returns:

an ASPIC argumentation theory