Package org.tweetyproject.arg.prob.semantics

Interface PASemantics

All Known Implementing Classes:
AbstractPASemantics, CoherentPASemantics, FoundedPASemantics, InvolutaryPASemantics, JustifiablePASemantics, NeutralPASemantics, OptimisticPASemantics, RationalPASemantics, SemiFoundedPASemantics, SemiOptimisticPASemantics
public interface PASemantics
This interface contains common methods for probabilistic argumentation semantics.
Author:
Matthias Thimm

  • Method Details

    • 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

      Collection<Statement> getSatisfactionStatements(DungTheory theory, Map<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

      String toString()
      Overrides:
      toString in class Object