Package org.tweetyproject.arg.prob.semantics

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 java.lang.Object
implements PASemantics

This class bundles common answering behaviour for probabilistic argumentation semantics.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
AbstractPASemantics()

Method Summary

Modifier and Type	Method	Description
abstract 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.
abstract boolean	satisfies(ProbabilisticExtension p, DungTheory theory)	Checks whether the given probabilistic extension satisfies the given argumentation theory wrt.
abstract java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

AbstractPASemantics

public AbstractPASemantics()

Method Detail

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 java.util.Collection<Statement> getSatisfactionStatements(DungTheory theory,
                                                                          java.util.Map<java.util.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 java.lang.String toString()

Specified by:

toString in interface PASemantics

Overrides:

toString in class java.lang.Object