Class AbstractRpclSemantics

    • Constructor Detail

      • AbstractRpclSemantics

        public AbstractRpclSemantics()
    • 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 interface RpclSemantics
        Parameters:
        p - a probability distribution
        r - 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 interface RpclSemantics
        Overrides:
        toString in class java.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 interface RpclSemantics
        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.