Class CondensedProbabilityDistribution

• All Implemented Interfaces:
`java.util.Map<ReferenceWorld,​Probability>`, `Interpretation<RpclBeliefSet,​RelationalProbabilisticConditional>`

```public class CondensedProbabilityDistribution
extends RpclProbabilityDistribution<ReferenceWorld>```
Instances of this class represent condensed probability distributions, rf. [PhD thesis, Thimm].
Author:
Matthias Thimm

• Nested classes/interfaces inherited from interface java.util.Map

`java.util.Map.Entry<K extends java.lang.Object,​V extends java.lang.Object>`
• Constructor Summary

Constructors
Constructor Description
```CondensedProbabilityDistribution​(RpclSemantics semantics, FolSignature signature)```
Creates a new condensed probability distribution for the given signature.
• Method Summary

Modifier and Type Method 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.
• Methods inherited from class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution

`clear, containsKey, containsValue, convexCombination, entrySet, get, getSemantics, getSignature, getUniformDistribution, isEmpty, keySet, probability, put, putAll, remove, size, toString, values`
• Methods inherited from class net.sf.tweety.commons.AbstractInterpretation

`satisfies`
• Methods inherited from class java.lang.Object

`equals, getClass, hashCode, notify, notifyAll, wait, wait, wait`
• Methods inherited from interface java.util.Map

`compute, computeIfAbsent, computeIfPresent, equals, forEach, getOrDefault, hashCode, merge, putIfAbsent, remove, replace, replace, replaceAll`
• Constructor Detail

• CondensedProbabilityDistribution

```public CondensedProbabilityDistribution​(RpclSemantics semantics,
FolSignature signature)```
Creates a new condensed probability distribution for the given signature.
Parameters:
`semantics` - the semantics used for this distribution.
`signature` - a fol signature.
• Method Detail

• satisfies

```public boolean satisfies​(RelationalProbabilisticConditional formula)
throws java.lang.IllegalArgumentException```
Description copied from interface: `Interpretation`
Checks whether this interpretation satisfies the given formula.
Specified by:
`satisfies` in interface `Interpretation<RpclBeliefSet,​RelationalProbabilisticConditional>`
Overrides:
`satisfies` in class `RpclProbabilityDistribution<ReferenceWorld>`
Parameters:
`formula` - a formula .
Returns:
"true" if this interpretation satisfies the given formula.
Throws:
`java.lang.IllegalArgumentException` - if the formula does not correspond to the expected language.
• satisfies

```public boolean satisfies​(RpclBeliefSet beliefBase)
throws java.lang.IllegalArgumentException```
Description copied from interface: `Interpretation`
Checks whether this interpretation satisfies the given knowledge base.
Specified by:
`satisfies` in interface `Interpretation<RpclBeliefSet,​RelationalProbabilisticConditional>`
Overrides:
`satisfies` in class `RpclProbabilityDistribution<ReferenceWorld>`
Parameters:
`beliefBase` - a knowledge base.
Returns:
"true" if this interpretation satisfies the given knowledge base.
Throws:
`java.lang.IllegalArgumentException` - IllegalArgumentException if the knowledgebase does not correspond to the expected language.
• entropy

`public double entropy()`
Description copied from class: `RpclProbabilityDistribution`
Returns the entropy of this probability distribution.
Overrides:
`entropy` in class `RpclProbabilityDistribution<ReferenceWorld>`
Returns:
the entropy of this probability distribution.
• condensedEntropy

`public double condensedEntropy()`
Returns the condensed entropy of this distribution (neglecting multiplicators of reference worlds.
Returns:
the condensed entropy of this distribution
• getUniformDistribution

```public static CondensedProbabilityDistribution getUniformDistribution​(RpclSemantics semantics,
FolSignature signature,
java.util.Set<java.util.Set<Constant>> equivalenceClasses)```
Returns the uniform distribution on the given signature.
Parameters:
`semantics` - the semantics used for the distribution
`signature` - a fol signature
`equivalenceClasses` - the set of equivalence classes
Returns:
the uniform distribution on the given signature.
• getRandomDistribution

```public static CondensedProbabilityDistribution getRandomDistribution​(RpclSemantics semantics,
FolSignature signature,
java.util.Set<java.util.Set<Constant>> equivalenceClasses)```
Returns a random distribution on the given signature.
Parameters:
`semantics` - the semantics used for the distribution
`signature` - a fol signature
`equivalenceClasses` - the set of equivalence classes
Returns:
a random distribution on the given signature.
• toProbabilityDistribution

`public RpclProbabilityDistribution<ReferenceWorld> toProbabilityDistribution()`
Converts this condensed probability distribution into an ordinary probability distribution.
Returns:
a probability distribution.
• probability

`public Probability probability​(FolFormula f)`
Description copied from class: `RpclProbabilityDistribution`
Gets the probability of the given closed formula, i.e. the sum of the probabilities of all interpretations satisfying it.
Overrides:
`probability` in class `RpclProbabilityDistribution<ReferenceWorld>`
Parameters:
`f` - a closed fol formula.
Returns:
a probability.