Package org.tweetyproject.arg.prob.semantics

Class JustifiablePASemantics

java.lang.Object

org.tweetyproject.arg.prob.semantics.AbstractPASemantics

org.tweetyproject.arg.prob.semantics.JustifiablePASemantics

All Implemented Interfaces:

PASemantics

public class JustifiablePASemantics
extends AbstractPASemantics

P is justifiable wrt. AF if P is coherent and optimistic.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
JustifiablePASemantics()	Deafult

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

JustifiablePASemantics

public JustifiablePASemantics()

Deafult

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