net.sf.tweety.logics.rpcl.syntax

Class RelationalProbabilisticConditional

java.lang.Object

net.sf.tweety.logics.commons.syntax.RelationalFormula

net.sf.tweety.logics.rcl.syntax.RelationalConditional

net.sf.tweety.logics.rpcl.syntax.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.Conjuctable, 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 and 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 and 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

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

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