PASemantics (Tweety (Probabilistic Argumentation Library) 1.17 API)

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<net.sf.tweety.math.equation.Statement>`	`getSatisfactionStatements(net.sf.tweety.arg.dung.syntax.DungTheory theory, Map<Collection<net.sf.tweety.arg.dung.syntax.Argument>,net.sf.tweety.math.term.FloatVariable> worlds2vars)`	Returns the mathematical statement corresponding to the satisfaction of the given theory wrt.
`boolean`	`satisfies(ProbabilisticExtension p, net.sf.tweety.arg.dung.syntax.DungTheory theory)`	Checks whether the given probabilistic extension satisfies the given argumentation theory wrt.
`String`	`toString()`

- Method Detail
  - satisfies
```
boolean satisfies(ProbabilisticExtension p,
                  net.sf.tweety.arg.dung.syntax.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<net.sf.tweety.math.equation.Statement> getSatisfactionStatements(net.sf.tweety.arg.dung.syntax.DungTheory theory,
                                                                            Map<Collection<net.sf.tweety.arg.dung.syntax.Argument>,net.sf.tweety.math.term.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