Package org.tweetyproject.logics.rpcl.semantics

Class CondensedProbabilityDistribution

java.lang.Object

org.tweetyproject.commons.AbstractInterpretation<RpclBeliefSet,RelationalProbabilisticConditional>

org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution<ReferenceWorld>

org.tweetyproject.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

Nested Class Summary

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 org.tweetyproject.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 org.tweetyproject.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.