net.sf.tweety.logics.pcl.syntax

Class ProbabilisticConditional

java.lang.Object

net.sf.tweety.logics.cl.syntax.Conditional

net.sf.tweety.logics.pcl.syntax.ProbabilisticConditional

All Implemented Interfaces:

net.sf.tweety.commons.Formula, net.sf.tweety.commons.util.rules.Rule<net.sf.tweety.logics.pl.syntax.PropositionalFormula,net.sf.tweety.logics.pl.syntax.PropositionalFormula>, net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware, net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

public class ProbabilisticConditional
extends net.sf.tweety.logics.cl.syntax.Conditional
implements net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware

This class represents a probabilistic conditional of the form (B|A)[p] with formulas A,B and a probability p.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
ProbabilisticConditional(net.sf.tweety.logics.cl.syntax.Conditional conditional, net.sf.tweety.math.probability.Probability probability) Creates a new probabilistic conditional using the given conditional and probability.
ProbabilisticConditional(net.sf.tweety.logics.pl.syntax.PropositionalFormula conclusion, net.sf.tweety.math.probability.Probability probability) Creates a new probabilistic conditional with a tautological premise and given conclusion and probability.
ProbabilisticConditional(net.sf.tweety.logics.pl.syntax.PropositionalFormula premise, net.sf.tweety.logics.pl.syntax.PropositionalFormula conclusion, net.sf.tweety.math.probability.Probability probability) Creates a new probabilistic conditional with the given premise, conclusion, and probability.

Method Summary

Modifier and Type	Method and Description
ProbabilisticConditional	complement()
boolean	equals(Object obj)
net.sf.tweety.math.probability.Probability	getProbability() Returns the probability of this conditional.
net.sf.tweety.math.probability.Probability	getUniformProbability()
int	hashCode()
boolean	qualitativeEquals(ProbabilisticConditional other) Checks whether this and the given probabilistic conditional are qualitatively equivalent, i.e.
String	toString()

Methods inherited from class net.sf.tweety.logics.cl.syntax.Conditional

addPremise, addPremises, clone, combineWithAnd, combineWithOr, getAtoms, getConclusion, getPredicateCls, getPredicates, getPremise, getSignature, isConstraint, isFact, isLiteral, setConclusion

Methods inherited from class java.lang.Object

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

Constructor Detail

ProbabilisticConditional

public ProbabilisticConditional(net.sf.tweety.logics.pl.syntax.PropositionalFormula conclusion,
                                net.sf.tweety.math.probability.Probability probability)

Creates a new probabilistic conditional with a tautological premise and given conclusion and probability.

Parameters:

conclusion - the conclusion (a formula) of this conditional.

probability - a probability.

ProbabilisticConditional

public ProbabilisticConditional(net.sf.tweety.logics.pl.syntax.PropositionalFormula premise,
                                net.sf.tweety.logics.pl.syntax.PropositionalFormula conclusion,
                                net.sf.tweety.math.probability.Probability probability)

Creates a new probabilistic conditional with the given premise, conclusion, and probability.

Parameters:

premise - the premise (a formula) of this conditional.

conclusion - the conclusion (a formula) of this conditional.

probability - a probability.

ProbabilisticConditional

public ProbabilisticConditional(net.sf.tweety.logics.cl.syntax.Conditional conditional,
                                net.sf.tweety.math.probability.Probability probability)

Creates a new probabilistic conditional using the given conditional and probability.

Parameters:

conditional - a conditional.

probability - a probability.

Method Detail

qualitativeEquals

public boolean qualitativeEquals(ProbabilisticConditional other)

Checks whether this and the given probabilistic conditional are qualitatively equivalent, i.e. whether they are equivalent when neglecting the probability.

Parameters:

other - some probabilistic conditional.

Returns:

"true" iff the two conditionals are qualitatively equivalent.

getProbability

public net.sf.tweety.math.probability.Probability getProbability()

Returns the probability of this conditional.

Returns:

the probability of this conditional.

toString

public String toString()

Overrides:

toString in class net.sf.tweety.logics.cl.syntax.Conditional

complement

public ProbabilisticConditional complement()

Overrides:

complement in class net.sf.tweety.logics.cl.syntax.Conditional

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.cl.syntax.Conditional

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.cl.syntax.Conditional

getUniformProbability

public net.sf.tweety.math.probability.Probability getUniformProbability()

Specified by:

getUniformProbability in interface net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware