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

Class InvolutaryPASemantics

java.lang.Object

net.sf.tweety.arg.prob.semantics.AbstractPASemantics

net.sf.tweety.arg.prob.semantics.InvolutaryPASemantics

All Implemented Interfaces:

PASemantics

public class InvolutaryPASemantics
extends AbstractPASemantics

P is involutary wrt. AF if for every A,B in Arg, if A->B then P(A)=1-P(B).

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
InvolutaryPASemantics()

Method Summary

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

Methods inherited from class net.sf.tweety.arg.prob.semantics.AbstractPASemantics

probabilityTerm

Methods inherited from class java.lang.Object

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

Constructor Detail

InvolutaryPASemantics

public InvolutaryPASemantics()

Method Detail

satisfies

public 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

Specified by:

satisfies in class AbstractPASemantics

Parameters:

p - a probabilistic extension.

theory - an argumentation theory

Returns:

"true" iff the given distribution satisfies the given conditional.

getSatisfactionStatements

public 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

Specified by:

getSatisfactionStatements in class AbstractPASemantics

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 java.lang.String toString()

Specified by:

toString in interface PASemantics

Specified by:

toString in class AbstractPASemantics