public class JustifiablePASemantics extends AbstractPASemantics
Modifier and Type | Field and Description |
---|---|
private PASemantics |
cohSemantics
The semantics this semantics is based upon.
|
private PASemantics |
optSemantics |
Constructor and Description |
---|
JustifiablePASemantics() |
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() |
probabilityTerm
private PASemantics cohSemantics
private PASemantics optSemantics
public boolean satisfies(ProbabilisticExtension p, DungTheory theory)
PASemantics
satisfies
in interface PASemantics
satisfies
in class AbstractPASemantics
p
- a probabilistic extension.theory
- an argumentation theorypublic java.util.Collection<Statement> getSatisfactionStatements(DungTheory theory, java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars)
PASemantics
getSatisfactionStatements
in interface PASemantics
getSatisfactionStatements
in class AbstractPASemantics
theory
- an argumentation theory.worlds2vars
- a map mapping the (probabilities of the) extensions to mathematical variables (for constructing the statement).public java.lang.String toString()
toString
in interface PASemantics
toString
in class AbstractPASemantics