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

Class OptimisticPASemantics

  • All Implemented Interfaces:
    PASemantics
    public class OptimisticPASemantics
extends AbstractPASemantics
    P is optimistic wrt. AF if P(A) \geq 1 - \sum_{B in Attackers(A)} P(B) for every A in Arg.
    Author:
    Matthias Thimm

    • Method Summary

      Modifier and Type Method Description
      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.
      boolean satisfies​(ProbabilisticExtension p, DungTheory theory)
      Checks whether the given probabilistic extension satisfies the given argumentation theory wrt.
      java.lang.String toString()  

      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

    • Constructor Detail

      • OptimisticPASemantics

        public OptimisticPASemantics()

    • Method Detail

      • satisfies

        public 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
        Specified by:
        satisfies in class AbstractPASemantics
        Parameters:
        p - a probabilistic extension.
        theory - an argumentation theory
        Returns:
        "true" iff the given distribution satisfies the given conditional.

      • getSatisfactionStatements

        public 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
        Specified by:
        getSatisfactionStatements in class AbstractPASemantics
        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.