RpclSemantics

All Known Implementing Classes:: AbstractRpclSemantics, AggregatingSemantics, AveragingSemantics

public interface RpclSemantics

This interface describes semantics for relational probabilistic logic.

Author:: Matthias Thimm

Method Summary

Modifier and Type

Method

Description

Statement

getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)

Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt.

boolean

satisfies(RpclProbabilityDistribution<?> p, RelationalProbabilisticConditional r)

Checks whether the given probability distribution satisfies the given conditional wrt.

String

toString()

Method Details
- satisfies
  
  boolean satisfies(RpclProbabilityDistribution<?> p, RelationalProbabilisticConditional r)
  
  Checks whether the given probability distribution satisfies the given conditional wrt. this semantics.
  
  Parameters:
  
  p - a probability distribution
  
  r - a relational probability conditional.
  
  Returns:
  
  "true" iff the given distribution satisfies the given conditional.
- getSatisfactionStatement
  
  Statement getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
  
  Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt. this semantics and the given signature.
  
  Parameters:
  
  r - a relational probabilistic conditional
  
  signature - a fol signature
  
  worlds2vars - 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.
- toString
  
  String toString()
  
  Overrides:
  
  toString in class Object