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 Summary

Modifier and Type

Method

Description

Collection<Statement>

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

String

toString()

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