Package org.tweetyproject.arg.prob.semantics

Class CoherentPASemantics

java.lang.Object

org.tweetyproject.arg.prob.semantics.AbstractPASemantics

org.tweetyproject.arg.prob.semantics.CoherentPASemantics

All Implemented Interfaces:

PASemantics

public class CoherentPASemantics
extends AbstractPASemantics

P is coherent wrt. AF if for every A, B in Arg, if A -> B then P (A) \leq 1 - P (B).

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
CoherentPASemantics()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

CoherentPASemantics

public CoherentPASemantics()

Method Details

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

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

Specified by:

toString in interface PASemantics

Specified by:

toString in class AbstractPASemantics