Class AbstractRpclSemantics
- java.lang.Object
-
- net.sf.tweety.logics.rpcl.semantics.AbstractRpclSemantics
-
- All Implemented Interfaces:
RpclSemantics
- Direct Known Subclasses:
AggregatingSemantics
,AveragingSemantics
public abstract class AbstractRpclSemantics extends java.lang.Object implements RpclSemantics
This class bundles common answering behaviour for relational conditional semantics.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description AbstractRpclSemantics()
-
Method Summary
Modifier and Type Method Description abstract Statement
getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt.protected Term
probabilityTerm(FolFormula f, java.util.Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Constructs the term expressing the probability of the given formula "f" wrt.abstract boolean
satisfies(RpclProbabilityDistribution<?> p, RelationalProbabilisticConditional r)
Checks whether the given probability distribution satisfies the given conditional wrt.protected boolean
satisfiesGroundConditional(RpclProbabilityDistribution<?> p, RelationalProbabilisticConditional groundConditional)
Checks whether the given ground conditional is satisfied by the given distribution wrt.abstract java.lang.String
toString()
-
-
-
Method Detail
-
satisfies
public abstract boolean satisfies(RpclProbabilityDistribution<?> p, RelationalProbabilisticConditional r)
Description copied from interface:RpclSemantics
Checks whether the given probability distribution satisfies the given conditional wrt. this semantics.- Specified by:
satisfies
in interfaceRpclSemantics
- Parameters:
p
- a probability distributionr
- a relational probability conditional.- Returns:
- "true" iff the given distribution satisfies the given conditional.
-
toString
public abstract java.lang.String toString()
- Specified by:
toString
in interfaceRpclSemantics
- Overrides:
toString
in classjava.lang.Object
-
getSatisfactionStatement
public abstract Statement getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Description copied from interface:RpclSemantics
Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt. this semantics and the given signature.- Specified by:
getSatisfactionStatement
in interfaceRpclSemantics
- Parameters:
r
- a relational probabilistic conditionalsignature
- a fol signatureworlds2vars
- a map mapping the interpretations of the fol to mathematical variables.- Returns:
- the mathematical statement corresponding to the satisfaction of the given conditional wrt. this semantics and the given signature.
-
satisfiesGroundConditional
protected boolean satisfiesGroundConditional(RpclProbabilityDistribution<?> p, RelationalProbabilisticConditional groundConditional)
Checks whether the given ground conditional is satisfied by the given distribution wrt. this semantics. For every rational semantics this satisfaction relation should coincide with the propositional case.- Parameters:
p
- a probability distribution.groundConditional
- a ground conditional- Returns:
- "true" iff the given ground conditional is satisfied by the given distribution wrt. this semantics
-
probabilityTerm
protected Term probabilityTerm(FolFormula f, java.util.Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Constructs the term expressing the probability of the given formula "f" wrt. to the variables (describing probabilities) of the reference worlds.- Parameters:
f
- a fol formulaworlds2vars
- a map mapping reference worlds to variables.- Returns:
- the term expressing the probability of the given formula "f".
-
-