Package org.tweetyproject.arg.prob.lotteries

Class LdoArgumentationLottery

java.lang.Object

org.tweetyproject.arg.prob.lotteries.LdoArgumentationLottery

public class LdoArgumentationLottery
extends Object

This class implements an argumentation lottery based on the logic of dialectical outcomes, i.e. a lottery on an exhaustive and disjoint set of formulas of LDO.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
LdoArgumentationLottery(Collection<LdoFormula> formulas, SubgraphProbabilityFunction p, Semantics semantics)	Creates a new lottery for the given set of formulas using the given probability function and semantics.

Method Summary

Modifier and Type	Method	Description
Probability	get(LdoFormula f)	Returns the probability of the given outcome.
Collection<LdoFormula>	getPossibleOutcomes()	Returns the set of possible outcomes.
Semantics	getSemantics()	Returns the used semantics.
DungTheory	getTheory()	Returns the used argumentation theory.
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

LdoArgumentationLottery

public LdoArgumentationLottery(Collection<LdoFormula> formulas,
 SubgraphProbabilityFunction p,
 Semantics semantics)

Creates a new lottery for the given set of formulas using the given probability function and semantics.

Parameters:

formulas - some set of formulas

p - some probability function

semantics - some semantics

Method Details

getSemantics

public Semantics getSemantics()

Returns the used semantics.

Returns:

the used semantics.

getPossibleOutcomes

public Collection<LdoFormula> getPossibleOutcomes()

Returns the set of possible outcomes.

Returns:

the set of possible outcomes.

get

public Probability get(LdoFormula f)

Returns the probability of the given outcome.

Parameters:

f - some LDO formula

Returns:

the probability of the given division.

getTheory

public DungTheory getTheory()

Returns the used argumentation theory.

Returns:

the used argumentation theory.

toString

public String toString()

Overrides:

toString in class Object