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.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
-
-