Class SubgraphProbabilityFunction

    • Constructor Detail

      • SubgraphProbabilityFunction

        public SubgraphProbabilityFunction​(DungTheory theory)
        Creates a new uniform probability function for the given theory, i.e. all sub graphs of the given theory receive the same probability.
        Parameters:
        theory - some theory.
    • Method Detail

      • getTheory

        public DungTheory getTheory()
        Returns the theory of this probability function.
        Returns:
        the theory of this probability function.
      • getEpistemicProbability

        public Probability getEpistemicProbability​(Argument arg)
        Returns the epistemic probability of the given argument, i.e. the probability that the given argument is present in some randomly sampled sub graph.
        Parameters:
        arg - some argument
        Returns:
        a probability
      • getEpistemicProbability

        public Probability getEpistemicProbability​(Attack att)
        Returns the epistemic probability of the given attack, i.e. the probability that the given attack is present in some randomly sampled sub graph.
        Parameters:
        att - some attack
        Returns:
        a probability
      • getAcceptanceProbability

        public Probability getAcceptanceProbability​(LdoFormula f,
                                                    Semantics semantics)
        Returns the probability of the given formula being acceptable wrt. the given semantics and this probability function, i.e. the sum of the probabilities of all sub-graphs that are dividers of the given formula.
        Parameters:
        f - some formula
        semantics - some semantics.
        Returns:
        a probability
      • getAcceptanceProbability

        public Probability getAcceptanceProbability​(Division d,
                                                    Semantics semantics)
        Returns the probability of the given division being acceptable wrt. the given semantics and this probability function, i.e. the sum of the probabilities of all sub-graphs that are dividers of the given division.
        Parameters:
        d - some division
        semantics - some semantics.
        Returns:
        a probability
      • getAcceptanceProbability

        public Probability getAcceptanceProbability​(Argument arg,
                                                    Semantics semantics)
        Returns the probability of the given argument being acceptable wrt. the given semantics and this probability functions. This is equivalent to the probability of the division ({arg},{}).
        Parameters:
        arg - some argument
        semantics - some semantics.
        Returns:
        a probability
      • getAcceptanceProbability

        public Probability getAcceptanceProbability​(Extension ext,
                                                    Semantics semantics)
        Returns the probability of the given set of arguments being acceptable wrt. the given semantics and this probability functions. This is equivalent to the probability of the division (ext,{}).
        Parameters:
        ext - some set of arguments
        semantics - some semantics.
        Returns:
        a probability
      • naiveUpdate

        public SubgraphProbabilityFunction naiveUpdate​(Extension e)
        Updates this probability function with the given extension, i.e. all theories that do not contain the given arguments get probability zero. Afterwards the function is normalized.
        Parameters:
        e - some extension
        Returns:
        the updated probability function
      • simpleUpdate

        public SubgraphProbabilityFunction simpleUpdate​(DungTheory theory)
        Updates this probability function with the given theory using "simple redistribution", cf. [Hunter, Thimm, 2015].
        Parameters:
        theory - some abstract theory
        Returns:
        the updated probability function
      • stickyUpdate

        public SubgraphProbabilityFunction stickyUpdate​(DungTheory theory,
                                                        double stickyCoefficient)
        Updates this probability function with the given theory using "sticky redistribution", cf. [Hunter, Thimm, 2015].
        Parameters:
        theory - some abstract theory
        stickyCoefficient - the sticky coefficient
        Returns:
        the updated probability function
      • roughUpdate

        public SubgraphProbabilityFunction roughUpdate​(DungTheory theory)
        Updates this probability function with the given theory using "rough redistribution", cf. [Hunter, Thimm, 2015].
        Parameters:
        theory - some abstract theory
        Returns:
        the updated probability function