Package net.sf.tweety.arg.prob.lotteries

Class LdoArgumentationLottery

java.lang.Object

net.sf.tweety.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<net.sf.tweety.arg.dung.ldo.syntax.LdoFormula> formulas, SubgraphProbabilityFunction p, net.sf.tweety.arg.dung.semantics.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
net.sf.tweety.math.probability.Probability	get(net.sf.tweety.arg.dung.ldo.syntax.LdoFormula f)	Returns the probability of the given outcome.
Collection<net.sf.tweety.arg.dung.ldo.syntax.LdoFormula>	getPossibleOutcomes()	Returns the set of possible outcomes.
net.sf.tweety.arg.dung.semantics.Semantics	getSemantics()	Returns the used semantics.
net.sf.tweety.arg.dung.syntax.DungTheory	getTheory()	Returns the used argumentation theory.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

LdoArgumentationLottery

public LdoArgumentationLottery(Collection<net.sf.tweety.arg.dung.ldo.syntax.LdoFormula> formulas,
                               SubgraphProbabilityFunction p,
                               net.sf.tweety.arg.dung.semantics.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 Detail

getSemantics

public net.sf.tweety.arg.dung.semantics.Semantics getSemantics()

Returns the used semantics.

Returns:

the used semantics.

getPossibleOutcomes

public Collection<net.sf.tweety.arg.dung.ldo.syntax.LdoFormula> getPossibleOutcomes()

Returns the set of possible outcomes.

Returns:

the set of possible outcomes.

get

public net.sf.tweety.math.probability.Probability get(net.sf.tweety.arg.dung.ldo.syntax.LdoFormula f)

Returns the probability of the given outcome.

Parameters:

f - some LDO formula

Returns:

the probability of the given division.

getTheory

public net.sf.tweety.arg.dung.syntax.DungTheory getTheory()

Returns the used argumentation theory.

Returns:

the used argumentation theory.

toString

public String toString()

Overrides:

toString in class Object