public class SemiFoundedPASemantics extends AbstractPASemantics
Constructor and Description |
---|
SemiFoundedPASemantics() |
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
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