public class CondensedProbabilityDistribution extends ProbabilityDistribution<ReferenceWorld>
Modifier and Type | Field and Description |
---|---|
private RpclSemantics |
semantics
The semantics used for this probability distribution.
|
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.
|
RpclSemantics |
getSemantics()
Returns the semantics of this distribution.
|
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) |
boolean |
satisfies(BeliefBase beliefBase)
Checks whether this interpretation satisfies the given knowledge base.
|
boolean |
satisfies(Formula formula)
Checks whether this interpretation satisfies the given formula.
|
RpclProbabilityDistribution |
toProbabilityDistribution()
Converts this condensed probability distribution into an ordinary
probability distribution.
|
clear, conditionalProbability, containsKey, containsValue, convexCombination, convexCombination, entrySet, get, getSignature, getUniformDistribution, isEmpty, keySet, linearCombination, normalize, probability, probability, put, putAll, remove, size, toString, values
satisfies
private RpclSemantics semantics
public CondensedProbabilityDistribution(RpclSemantics semantics, FolSignature signature)
semantics
- the semantics used for this distribution.signature
- a fol signature.public boolean satisfies(Formula formula) throws java.lang.IllegalArgumentException
Interpretation
satisfies
in interface Interpretation
satisfies
in class ProbabilityDistribution<ReferenceWorld>
formula
- a formula .java.lang.IllegalArgumentException
- if the formula does not correspond
to the expected language.public boolean satisfies(BeliefBase beliefBase) throws java.lang.IllegalArgumentException
Interpretation
satisfies
in interface Interpretation
satisfies
in class ProbabilityDistribution<ReferenceWorld>
beliefBase
- a knowledge base.java.lang.IllegalArgumentException
- IllegalArgumentException if the knowledgebase does not correspond
to the expected language.public RpclSemantics getSemantics()
public double entropy()
ProbabilityDistribution
entropy
in class ProbabilityDistribution<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 toProbabilityDistribution()
public Probability probability(FolFormula f)