net.sf.tweety.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 Summary

Modifier and Type	Method and 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()

Method Detail

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

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. 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

java.lang.String toString()

Overrides:

toString in class java.lang.Object