Class AbstractPASemantics

    • Method Summary

      Modifier and Type Method Description
      abstract 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.
      protected Term probabilityTerm​(Argument arg, java.util.Map<java.util.Collection<Argument>,​FloatVariable> worlds2vars)
      Constructs the term expressing the probability of the given argument wrt.
      abstract boolean satisfies​(ProbabilisticExtension p, DungTheory theory)
      Checks whether the given probabilistic extension satisfies the given argumentation theory wrt.
      abstract java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • AbstractPASemantics

        public AbstractPASemantics()
    • Method Detail

      • satisfies

        public abstract boolean satisfies​(ProbabilisticExtension p,
                                          DungTheory theory)
        Description copied from interface: PASemantics
        Checks whether the given probabilistic extension satisfies the given argumentation theory wrt. this semantics.
        Specified by:
        satisfies in interface PASemantics
        Parameters:
        p - a probabilistic extension.
        theory - an argumentation theory
        Returns:
        "true" iff the given distribution satisfies the given conditional.
      • getSatisfactionStatements

        public abstract java.util.Collection<Statement> getSatisfactionStatements​(DungTheory theory,
                                                                                  java.util.Map<java.util.Collection<Argument>,​FloatVariable> worlds2vars)
        Description copied from interface: PASemantics
        Returns the mathematical statement corresponding to the satisfaction of the given theory wrt. this semantics.
        Specified by:
        getSatisfactionStatements in interface PASemantics
        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

        public abstract java.lang.String toString()
        Specified by:
        toString in interface PASemantics
        Overrides:
        toString in class java.lang.Object
      • probabilityTerm

        protected Term probabilityTerm​(Argument arg,
                                       java.util.Map<java.util.Collection<Argument>,​FloatVariable> worlds2vars)
        Constructs the term expressing the probability of the given argument wrt. to the variables (describing probabilities) of the extensions.
        Parameters:
        arg - an argument
        worlds2vars - a map mapping extensions to variables.
        Returns:
        the term expressing the probability of the given argument.