Class CondensedProbabilityDistribution
- java.lang.Object
-
- net.sf.tweety.commons.AbstractInterpretation<RpclBeliefSet,RelationalProbabilisticConditional>
-
- net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution<ReferenceWorld>
-
- net.sf.tweety.logics.rpcl.semantics.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
-
-
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
-
-
-
-
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 interfaceInterpretation<RpclBeliefSet,RelationalProbabilisticConditional>
- Overrides:
satisfies
in classRpclProbabilityDistribution<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 interfaceInterpretation<RpclBeliefSet,RelationalProbabilisticConditional>
- Overrides:
satisfies
in classRpclProbabilityDistribution<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 classRpclProbabilityDistribution<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 distributionsignature
- a fol signatureequivalenceClasses
- 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 distributionsignature
- a fol signatureequivalenceClasses
- 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 classRpclProbabilityDistribution<ReferenceWorld>
- Parameters:
f
- a closed fol formula.- Returns:
- a probability.
-
-