Class AbstractPASemantics

java.lang.Object
org.tweetyproject.arg.prob.semantics.AbstractPASemantics
All Implemented Interfaces:
PASemantics
Direct Known Subclasses:
CoherentPASemantics, FoundedPASemantics, InvolutaryPASemantics, JustifiablePASemantics, NeutralPASemantics, OptimisticPASemantics, RationalPASemantics, SemiFoundedPASemantics, SemiOptimisticPASemantics

public abstract class AbstractPASemantics extends Object implements PASemantics
This class bundles common answering behaviour for probabilistic argumentation semantics.
Author:
Matthias Thimm
  • Constructor Details

    • AbstractPASemantics

      public AbstractPASemantics()
  • Method Details

    • 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 Collection<Statement> getSatisfactionStatements(DungTheory theory, Map<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 String toString()
      Specified by:
      toString in interface PASemantics
      Overrides:
      toString in class Object