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 Object
implements PASemantics

This class bundles common answering behaviour for probabilistic argumentation semantics.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
AbstractPASemantics()	Default

Method Summary

Modifier and Type	Method	Description
abstract Collection<Statement>	getSatisfactionStatements(DungTheory theory, Map<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 String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

AbstractPASemantics

public AbstractPASemantics()

Default

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