public class RelationalProbabilisticConditional extends RelationalConditional
Modifier and Type | Field and Description |
---|---|
private Probability |
probability
The probability of the formula.
|
Constructor and Description |
---|
RelationalProbabilisticConditional(FolFormula premise,
FolFormula conclusion,
Probability probability)
Creates a new conditional with the given premise, conclusion and probability.
|
RelationalProbabilisticConditional(FolFormula conclusion,
Probability probability)
Creates a new conditional with the given conclusion and probability and
a tautological premise.
|
RelationalProbabilisticConditional(RelationalConditional conditional,
Probability probability)
Creates a new relational probabilistic conditional with the given conditional and probability
|
Modifier and Type | Method and Description |
---|---|
RelationalProbabilisticConditional |
complement() |
boolean |
equals(java.lang.Object obj) |
Probability |
getProbability()
Returns the probability of this conditional.
|
int |
hashCode() |
RelationalFormula |
substitute(Term<?> v,
Term<?> t)
Substitutes all occurrences of term "v" in this formula
by term "t" and returns the new formula.
|
java.lang.String |
toString() |
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
allGroundInstances, allSubstitutions, containsTermsOfType, exchange, getFormula, getPredicateCls, getSatisfactionRatio, isGround, isWellFormed, substitute
private Probability probability
public RelationalProbabilisticConditional(FolFormula premise, FolFormula conclusion, Probability probability)
premise
- a fol formula.conclusion
- a fol formula.probability
- a probability.public RelationalProbabilisticConditional(FolFormula conclusion, Probability probability)
conclusion
- a fol formula.probability
- a probability.public RelationalProbabilisticConditional(RelationalConditional conditional, Probability probability)
conditional
- a relational conditional.probability
- a probability.public Probability getProbability()
public RelationalFormula substitute(Term<?> v, Term<?> t) throws java.lang.IllegalArgumentException
RelationalFormula
substitute
in interface ComplexLogicalFormula
substitute
in class RelationalConditional
v
- the term to be substituted.t
- the term to substitute.java.lang.IllegalArgumentException
- if "v" and "t" are of different sorts
(NOTE: this exception is only thrown when "v" actually appears in this
formula).public java.lang.String toString()
toString
in class RelationalConditional
public RelationalProbabilisticConditional complement()
complement
in interface Invertable
complement
in class RelationalConditional
public int hashCode()
hashCode
in interface SimpleLogicalFormula
hashCode
in class RelationalConditional
public boolean equals(java.lang.Object obj)
equals
in interface SimpleLogicalFormula
equals
in class RelationalConditional