Package net.sf.tweety.arg.prob.semantics

Class AbstractPASemantics

java.lang.Object

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

Method Summary

Modifier and Type	Method	Description
abstract 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.
protected net.sf.tweety.math.term.Term	probabilityTerm(net.sf.tweety.arg.dung.syntax.Argument arg, Map<Collection<net.sf.tweety.arg.dung.syntax.Argument>,net.sf.tweety.math.term.FloatVariable> worlds2vars)	Constructs the term expressing the probability of the given argument wrt.
abstract boolean	satisfies(ProbabilisticExtension p, net.sf.tweety.arg.dung.syntax.DungTheory theory)	Checks whether the given probabilistic extension satisfies the given argumentation theory wrt.
abstract String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

AbstractPASemantics

public AbstractPASemantics()

Method Detail

satisfies

public abstract boolean satisfies(ProbabilisticExtension p,
                                  net.sf.tweety.arg.dung.syntax.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<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)

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

probabilityTerm

protected net.sf.tweety.math.term.Term probabilityTerm(net.sf.tweety.arg.dung.syntax.Argument arg,
                                                       Map<Collection<net.sf.tweety.arg.dung.syntax.Argument>,net.sf.tweety.math.term.FloatVariable> worlds2vars)

Constructs the term expressing the probability of the given argument wrt. to the variables (describing probabilities) of the extensions.

Parameters:

arg - an argument

worlds2vars - a map mapping extensions to variables.

Returns:

the term expressing the probability of the given argument.