Class RelationalProbabilisticConditional

    • Constructor Detail

      • RelationalProbabilisticConditional

        public RelationalProbabilisticConditional​(FolFormula premise,
                                                  FolFormula conclusion,
                                                  Probability probability)
        Creates a new conditional with the given premise, conclusion and probability.
        Parameters:
        premise - a fol formula.
        conclusion - a fol formula.
        probability - a probability.
      • RelationalProbabilisticConditional

        public RelationalProbabilisticConditional​(FolFormula conclusion,
                                                  Probability probability)
        Creates a new conditional with the given conclusion and probability and a tautological premise.
        Parameters:
        conclusion - a fol formula.
        probability - a probability.
      • RelationalProbabilisticConditional

        public RelationalProbabilisticConditional​(RelationalConditional conditional,
                                                  Probability probability)
        Creates a new relational probabilistic conditional with the given conditional and probability
        Parameters:
        conditional - a relational conditional.
        probability - a probability.