Package org.tweetyproject.arg.prob.semantics

Class ProbabilisticExtension

java.lang.Object

org.tweetyproject.math.probability.ProbabilityFunction<Extension<DungTheory>>

org.tweetyproject.arg.prob.semantics.ProbabilisticExtension

All Implemented Interfaces:

Map<Extension<DungTheory>,Probability>

public class ProbabilisticExtension
extends ProbabilityFunction<Extension<DungTheory>>

This class implements a probabilistic interpretation for Dung argumentation frameworks, cf. [Thimm:2012].

Author:

Matthias Thimm

Nested Class Summary

Nested classes/interfaces inherited from interface java.util.Map

Map.Entry<K,V>

Constructor Summary

Constructors

Constructor	Description
ProbabilisticExtension()	Creates a new probabilistic extension for the given theory.

Method Summary

Modifier and Type	Method	Description
Extension<DungTheory>	geLowerCut(DungTheory theory, double delta)	Returns the lower cut of this probabilistic extension wrt.
Extension<DungTheory>	getAllArguments()	Returns the set of all arguments appearing.
static ProbabilisticExtension	getCharacteristicProbabilisticExtension(DungTheory theory, AbstractArgumentationInterpretation i)	Returns the characteristic probabilistic extension of the given interpretation, i.e.
Labeling	getEpistemicLabeling()	Returns the epistemic labeling of this probabilistic extension, i.e.
Extension<DungTheory>	getUpperCut(DungTheory theory, double delta)	Returns the upper cut of this probabilistic extension wrt.
boolean	isCongruent(Labeling l)	Checks whether the given labeling is congruent to this probabilistic extension, i.e.
Probability	probability(Argument a)	Computes the probability of the given argument.

Methods inherited from class org.tweetyproject.math.probability.ProbabilityFunction

clear, containsKey, containsValue, convexCombination, convexCombination, entrySet, equals, get, getProbabilityVector, getProbabilityVectorAsDoubles, getUniformDistribution, hashCode, isEmpty, isNormalized, keySet, linearCombination, normalize, probability, probability, put, putAll, remove, sample, sample, size, toString, values

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Map

compute, computeIfAbsent, computeIfPresent, forEach, getOrDefault, merge, putIfAbsent, remove, replace, replace, replaceAll

Constructor Details

ProbabilisticExtension

public ProbabilisticExtension()

Creates a new probabilistic extension for the given theory.

Method Details

probability

public Probability probability(Argument a)

Computes the probability of the given argument.

Parameters:

a - some argument

Returns:

the probability of the argument.

getAllArguments

public Extension<DungTheory> getAllArguments()

Returns the set of all arguments appearing.

Returns:

the set of all arguments appearing.

getUpperCut

public Extension<DungTheory> getUpperCut(DungTheory theory,
 double delta)

Returns the upper cut of this probabilistic extension wrt. delta, i.e. all arguments that have probability >= delta.

Parameters:

theory - a Dung theory.

delta - some threshold.

Returns:

the set of arguments that have probability >= delta.

geLowerCut

public Extension<DungTheory> geLowerCut(DungTheory theory,
 double delta)

Returns the lower cut of this probabilistic extension wrt. delta, i.e. all arguments that have probability <= delta.

Parameters:

theory - a Dung theory.

delta - some threshold.

Returns:

the set of arguments that have probability <= delta.

isCongruent

public boolean isCongruent(Labeling l)

Checks whether the given labeling is congruent to this probabilistic extension, i.e. whether l(A)=in <=> P(A)=1, l(A)=out <=> P(A)=0, l(A)=undec <=> P(A)=0.5

Parameters:

l - some labelling

Returns:

true iff the given labeling is congruent to this probabilistic extension

getEpistemicLabeling

public Labeling getEpistemicLabeling()

Returns the epistemic labeling of this probabilistic extension, i.e. the labeling with l(A)=in if P(A)>0.5, l(A)=undecided if P(A)=0.5, and l(A)=0 if P(A)=0.

Returns:

the epistemic labeling of this probabilistic extension

getCharacteristicProbabilisticExtension

public static ProbabilisticExtension getCharacteristicProbabilisticExtension(DungTheory theory,
 AbstractArgumentationInterpretation i)

Returns the characteristic probabilistic extension of the given interpretation, i.e. the probabilistic extension that assigns probability 0.5 to the given in arguments of the labeling and 0.5 to the union of the in and undecided arguments

Parameters:

theory - some Dung theory

i - some argumentation interpretation

Returns:

the characteristic probabilistic extension of the given interpretation.