net.sf.tweety.arg.prob.semantics

Class JustifiablePASemantics

java.lang.Object

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

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

Field Summary

Fields

Modifier and Type	Field and Description
private PASemantics	cohSemantics The semantics this semantics is based upon.
private PASemantics	optSemantics

Constructor Summary

Constructors

Constructor and Description
JustifiablePASemantics()

Method Summary

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

Field Detail

cohSemantics

private PASemantics cohSemantics

The semantics this semantics is based upon.

optSemantics

private PASemantics optSemantics

Constructor Detail

JustifiablePASemantics

public JustifiablePASemantics()

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