Interface PASemantics

    • Method Detail

      • satisfies

        boolean satisfies​(ProbabilisticExtension p,
                          DungTheory theory)
        Checks whether the given probabilistic extension satisfies the given argumentation theory wrt. this semantics.
        Parameters:
        p - a probabilistic extension.
        theory - an argumentation theory
        Returns:
        "true" iff the given distribution satisfies the given conditional.
      • getSatisfactionStatements

        java.util.Collection<Statement> getSatisfactionStatements​(DungTheory theory,
                                                                  java.util.Map<java.util.Collection<Argument>,​FloatVariable> worlds2vars)
        Returns the mathematical statement corresponding to the satisfaction of the given theory wrt. this semantics.
        Parameters:
        theory - an argumentation theory.
        worlds2vars - a map mapping the (probabilities of the) extensions to mathematical variables (for constructing the statement).
        Returns:
        the mathematical statement corresponding to the satisfaction of the given theory wrt. this semantics.
      • toString

        java.lang.String toString()
        Overrides:
        toString in class java.lang.Object