Package net.sf.tweety.arg.prob.semantics
Class AbstractPASemantics
- java.lang.Object
-
- net.sf.tweety.arg.prob.semantics.AbstractPASemantics
-
- All Implemented Interfaces:
PASemantics
- Direct Known Subclasses:
CoherentPASemantics
,FoundedPASemantics
,InvolutaryPASemantics
,JustifiablePASemantics
,NeutralPASemantics
,OptimisticPASemantics
,RationalPASemantics
,SemiFoundedPASemantics
,SemiOptimisticPASemantics
public abstract class AbstractPASemantics extends java.lang.Object implements PASemantics
This class bundles common answering behaviour for probabilistic argumentation semantics.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description AbstractPASemantics()
-
Method Summary
Modifier and Type Method 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()
-
-
-
Method Detail
-
satisfies
public abstract 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 interfacePASemantics
- Parameters:
p
- a probabilistic extension.theory
- an argumentation theory- Returns:
- "true" iff the given distribution satisfies the given conditional.
-
getSatisfactionStatements
public abstract 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 interfacePASemantics
- 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 abstract java.lang.String toString()
- Specified by:
toString
in interfacePASemantics
- Overrides:
toString
in classjava.lang.Object
-
probabilityTerm
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. to the variables (describing probabilities) of the extensions.- Parameters:
arg
- an argumentworlds2vars
- a map mapping extensions to variables.- Returns:
- the term expressing the probability of the given argument.
-
-