public class CondensedProbabilityDistribution extends RpclProbabilityDistribution<ReferenceWorld>
Constructor and Description |
---|
CondensedProbabilityDistribution(RpclSemantics semantics,
FolSignature signature)
Creates a new condensed probability distribution for the given signature.
|
Modifier and Type | Method and Description |
---|---|
double |
condensedEntropy()
Returns the condensed entropy of this distribution (neglecting multiplicators of
reference worlds.
|
double |
entropy()
Returns the entropy of this probability distribution.
|
static CondensedProbabilityDistribution |
getRandomDistribution(RpclSemantics semantics,
FolSignature signature,
java.util.Set<java.util.Set<Constant>> equivalenceClasses)
Returns a random distribution on the given signature.
|
static CondensedProbabilityDistribution |
getUniformDistribution(RpclSemantics semantics,
FolSignature signature,
java.util.Set<java.util.Set<Constant>> equivalenceClasses)
Returns the uniform distribution on the given signature.
|
Probability |
probability(FolFormula f)
Gets the probability of the given closed formula, i.e.
|
boolean |
satisfies(RelationalProbabilisticConditional formula)
Checks whether this interpretation satisfies the given formula.
|
boolean |
satisfies(RpclBeliefSet beliefBase)
Checks whether this interpretation satisfies the given knowledge base.
|
RpclProbabilityDistribution<ReferenceWorld> |
toProbabilityDistribution()
Converts this condensed probability distribution into an ordinary
probability distribution.
|
clear, containsKey, containsValue, convexCombination, entrySet, get, getSemantics, getSignature, getUniformDistribution, isEmpty, keySet, probability, put, putAll, remove, size, toString, values
satisfies
public CondensedProbabilityDistribution(RpclSemantics semantics, FolSignature signature)
semantics
- the semantics used for this distribution.signature
- a fol signature.public boolean satisfies(RelationalProbabilisticConditional formula) throws java.lang.IllegalArgumentException
Interpretation
satisfies
in interface Interpretation<RpclBeliefSet,RelationalProbabilisticConditional>
satisfies
in class RpclProbabilityDistribution<ReferenceWorld>
formula
- a formula .java.lang.IllegalArgumentException
- if the formula does not correspond
to the expected language.public boolean satisfies(RpclBeliefSet beliefBase) throws java.lang.IllegalArgumentException
Interpretation
satisfies
in interface Interpretation<RpclBeliefSet,RelationalProbabilisticConditional>
satisfies
in class RpclProbabilityDistribution<ReferenceWorld>
beliefBase
- a knowledge base.java.lang.IllegalArgumentException
- IllegalArgumentException if the knowledgebase does not correspond
to the expected language.public double entropy()
RpclProbabilityDistribution
entropy
in class RpclProbabilityDistribution<ReferenceWorld>
public double condensedEntropy()
public static CondensedProbabilityDistribution getUniformDistribution(RpclSemantics semantics, FolSignature signature, java.util.Set<java.util.Set<Constant>> equivalenceClasses)
semantics
- the semantics used for the distributionsignature
- a fol signaturepublic static CondensedProbabilityDistribution getRandomDistribution(RpclSemantics semantics, FolSignature signature, java.util.Set<java.util.Set<Constant>> equivalenceClasses)
semantics
- the semantics used for the distributionsignature
- a fol signaturepublic RpclProbabilityDistribution<ReferenceWorld> toProbabilityDistribution()
public Probability probability(FolFormula f)
RpclProbabilityDistribution
probability
in class RpclProbabilityDistribution<ReferenceWorld>
f
- a closed fol formula.