Interface RpclSemantics

All Known Implementing Classes:
AbstractRpclSemantics, AggregatingSemantics, AveragingSemantics

public interface RpclSemantics
This interface describes semantics for relational probabilistic logic.
Author:
Matthias Thimm
  • Method Details

    • satisfies

      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

      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