Package net.sf.tweety.logics.rpcl.syntax

Class RelationalProbabilisticConditional

  • All Implemented Interfaces:
    net.sf.tweety.commons.Formula, net.sf.tweety.commons.util.rules.Rule<net.sf.tweety.logics.fol.syntax.FolFormula,​net.sf.tweety.logics.fol.syntax.FolFormula>, net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.Conjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Invertable, net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure, net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware, net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula, net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    public class RelationalProbabilisticConditional
extends net.sf.tweety.logics.rcl.syntax.RelationalConditional
    This class represents a relational probabilistic conditional, i.e. a structure (B|A)[p] with first-order formulas A and B and a probability p.

    Premise and conclusion of this conditional must confirm to a fol language without quantifiers and without functions (@see net.sf.tweety.logics.firstorderlogic.lang.FolLanguageNoQuantifiersNoFunctions)
    Author:
    Matthias Thimm

    • Constructor Summary

      Constructors 
      Constructor Description
      RelationalProbabilisticConditional​(net.sf.tweety.logics.fol.syntax.FolFormula premise, net.sf.tweety.logics.fol.syntax.FolFormula conclusion, net.sf.tweety.math.probability.Probability probability)
      Creates a new conditional with the given premise, conclusion and probability.
      RelationalProbabilisticConditional​(net.sf.tweety.logics.fol.syntax.FolFormula conclusion, net.sf.tweety.math.probability.Probability probability)
      Creates a new conditional with the given conclusion and probability and a tautological premise.
      RelationalProbabilisticConditional​(net.sf.tweety.logics.rcl.syntax.RelationalConditional conditional, net.sf.tweety.math.probability.Probability probability)
      Creates a new relational probabilistic conditional with the given conditional and probability

    • Method Summary

      Modifier and Type Method Description
      RelationalProbabilisticConditional complement()  
      boolean equals​(Object obj)  
      net.sf.tweety.math.probability.Probability getProbability()
      Returns the probability of this conditional.
      int hashCode()  
      net.sf.tweety.logics.commons.syntax.RelationalFormula substitute​(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)  
      String toString()  

      • Methods inherited from class net.sf.tweety.logics.rcl.syntax.RelationalConditional

        addPremise, addPremises, clone, combineWithAnd, combineWithOr, containsQuantifier, getAtoms, getConclusion, getFunctors, getPredicates, getPremise, getQuantifierVariables, getSignature, getTerms, getTerms, getUnboundVariables, getUniformProbability, isClosed, isClosed, isConstraint, isFact, isLiteral, isWellBound, isWellBound, setConclusion

      • Methods inherited from class net.sf.tweety.logics.commons.syntax.RelationalFormula

        allGroundInstances, allSubstitutions, containsTermsOfType, exchange, getFormula, getPredicateCls, getSatisfactionRatio, isGround, isWellFormed, substitute

    • Constructor Detail

      • RelationalProbabilisticConditional

        public RelationalProbabilisticConditional​(net.sf.tweety.logics.fol.syntax.FolFormula premise,
                                          net.sf.tweety.logics.fol.syntax.FolFormula conclusion,
                                          net.sf.tweety.math.probability.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​(net.sf.tweety.logics.fol.syntax.FolFormula conclusion,
                                          net.sf.tweety.math.probability.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​(net.sf.tweety.logics.rcl.syntax.RelationalConditional conditional,
                                          net.sf.tweety.math.probability.Probability probability)
        Creates a new relational probabilistic conditional with the given conditional and probability
        Parameters:
        conditional - a relational conditional.
        probability - a probability.

    • Method Detail

      • getProbability

        public net.sf.tweety.math.probability.Probability getProbability()
        Returns the probability of this conditional.
        Returns:
        the probability of this conditional.

      • substitute

        public net.sf.tweety.logics.commons.syntax.RelationalFormula substitute​(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v,
                                                                        net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
                                                                 throws IllegalArgumentException
        Specified by:
        substitute in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula
        Overrides:
        substitute in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
        Throws:
        IllegalArgumentException

      • toString

        public String toString()
        Overrides:
        toString in class net.sf.tweety.logics.rcl.syntax.RelationalConditional

      • complement

        public RelationalProbabilisticConditional complement()
        Specified by:
        complement in interface net.sf.tweety.logics.commons.syntax.interfaces.Invertable
        Overrides:
        complement in class net.sf.tweety.logics.rcl.syntax.RelationalConditional

      • hashCode

        public int hashCode()
        Specified by:
        hashCode in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
        Overrides:
        hashCode in class net.sf.tweety.logics.rcl.syntax.RelationalConditional

      • equals

        public boolean equals​(Object obj)
        Specified by:
        equals in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
        Overrides:
        equals in class net.sf.tweety.logics.rcl.syntax.RelationalConditional