public abstract class AbstractPASemantics extends java.lang.Object implements PASemantics
Constructor and Description |
---|
AbstractPASemantics() |
Modifier and Type | Method and Description |
---|---|
abstract 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.
|
protected Term |
probabilityTerm(Argument arg,
java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars)
Constructs the term expressing the probability of the given argument
wrt.
|
abstract boolean |
satisfies(ProbabilisticExtension p,
DungTheory theory)
Checks whether the given probabilistic extension satisfies the given
argumentation theory wrt.
|
abstract java.lang.String |
toString() |
public abstract boolean satisfies(ProbabilisticExtension p, DungTheory theory)
PASemantics
satisfies
in interface PASemantics
p
- a probabilistic extension.theory
- an argumentation theorypublic abstract java.util.Collection<Statement> getSatisfactionStatements(DungTheory theory, java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars)
PASemantics
getSatisfactionStatements
in interface PASemantics
theory
- an argumentation theory.worlds2vars
- a map mapping the (probabilities of the) extensions to mathematical variables (for constructing the statement).public abstract java.lang.String toString()
toString
in interface PASemantics
toString
in class java.lang.Object
protected Term probabilityTerm(Argument arg, java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars)
arg
- an argumentworlds2vars
- a map mapping extensions to variables.