public class ProbabilisticExtension extends ProbabilityFunction<Extension>
Constructor and Description |
---|
ProbabilisticExtension()
Creates a new probabilistic extension for the given theory.
|
Modifier and Type | Method and Description |
---|---|
Extension |
geLowerCut(DungTheory theory,
double delta)
Returns the lower cut of this probabilistic extension wrt.
|
Extension |
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 |
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.
|
clear, containsKey, containsValue, convexCombination, convexCombination, entrySet, equals, get, getProbabilityVector, getProbabilityVectorAsDoubles, getUniformDistribution, hashCode, isEmpty, isNormalized, keySet, linearCombination, normalize, normalize, probability, probability, put, putAll, remove, sample, sample, size, toString, values
public ProbabilisticExtension()
public Probability probability(Argument a)
a
- some argumentpublic Extension getAllArguments()
public Extension getUpperCut(DungTheory theory, double delta)
theory
- a Dung theory.delta
- some threshold.public Extension geLowerCut(DungTheory theory, double delta)
theory
- a Dung theory.delta
- some threshold.public boolean isCongruent(Labeling l)
l
- public Labeling getEpistemicLabeling()
public static ProbabilisticExtension getCharacteristicProbabilisticExtension(DungTheory theory, AbstractArgumentationInterpretation i)
theory
- some Dung theoryi
- some argumentation interpretation