Package net.sf.tweety.arg.prob.semantics

Class ProbabilisticExtension

  • All Implemented Interfaces:
    Map<net.sf.tweety.arg.dung.semantics.Extension,​net.sf.tweety.math.probability.Probability>
    public class ProbabilisticExtension
extends net.sf.tweety.math.probability.ProbabilityFunction<net.sf.tweety.arg.dung.semantics.Extension>
    This class implements a probabilistic interpretation for Dung argumentation frameworks, cf. [Thimm:2012].
    Author:
    Matthias Thimm

    • Constructor Summary

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

    • Method Summary

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

      • Methods inherited from class net.sf.tweety.math.probability.ProbabilityFunction

        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

    • Constructor Detail

      • ProbabilisticExtension

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

    • Method Detail

      • probability

        public net.sf.tweety.math.probability.Probability probability​(net.sf.tweety.arg.dung.syntax.Argument a)
        Computes the probability of the given argument.
        Parameters:
        a - some argument
        Returns:
        the probability of the argument.

      • getAllArguments

        public net.sf.tweety.arg.dung.semantics.Extension getAllArguments()
        Returns the set of all arguments appearing.
        Returns:
        the set of all arguments appearing.

      • getUpperCut

        public net.sf.tweety.arg.dung.semantics.Extension getUpperCut​(net.sf.tweety.arg.dung.syntax.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 net.sf.tweety.arg.dung.semantics.Extension geLowerCut​(net.sf.tweety.arg.dung.syntax.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​(net.sf.tweety.arg.dung.semantics.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 net.sf.tweety.arg.dung.semantics.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​(net.sf.tweety.arg.dung.syntax.DungTheory theory,
                                                                             net.sf.tweety.arg.dung.semantics.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.