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.
      • 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 formula
        worlds2vars - a map mapping reference worlds to variables.
        Returns:
        the term expressing the probability of the given formula "f".