Package org.tweetyproject.arg.prob.semantics

Class ProbabilisticExtension

java.lang.Object
org.tweetyproject.math.probability.ProbabilityFunction<Extension>
org.tweetyproject.arg.prob.semantics.ProbabilisticExtension
All Implemented Interfaces:
Map<Extension,​Probability>
public class ProbabilisticExtension extends ProbabilityFunction<Extension>
This class implements a probabilistic interpretation for Dung argumentation frameworks, cf. [Thimm:2012].
Author:
Matthias Thimm

  • 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 getAllArguments()
      Returns the set of all arguments appearing.
      Returns:
      the set of all arguments appearing.

    • getUpperCut

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