net.sf.tweety.logics.rpcl

Class CondensedProbabilityDistribution

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation

net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution<ReferenceWorld>

net.sf.tweety.logics.rpcl.CondensedProbabilityDistribution

All Implemented Interfaces:

Map<ReferenceWorld,net.sf.tweety.math.probability.Probability>, net.sf.tweety.commons.Interpretation

public class CondensedProbabilityDistribution
extends net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution<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

Map.Entry<K,V>

Constructor Summary

Constructors

Constructor and Description
CondensedProbabilityDistribution(RpclSemantics semantics, net.sf.tweety.logics.fol.syntax.FolSignature signature) Creates a new condensed probability distribution for the given signature.

Method Summary

Modifier and Type	Method and Description
double	condensedEntropy() Returns the condensed entropy of this distribution (neglecting multiplicators of reference worlds.
double	entropy()
static CondensedProbabilityDistribution	getRandomDistribution(RpclSemantics semantics, net.sf.tweety.logics.fol.syntax.FolSignature signature, Set<Set<net.sf.tweety.logics.commons.syntax.Constant>> equivalenceClasses) Returns a random distribution on the given signature.
RpclSemantics	getSemantics() Returns the semantics of this distribution.
static CondensedProbabilityDistribution	getUniformDistribution(RpclSemantics semantics, net.sf.tweety.logics.fol.syntax.FolSignature signature, Set<Set<net.sf.tweety.logics.commons.syntax.Constant>> equivalenceClasses) Returns the uniform distribution on the given signature.
net.sf.tweety.math.probability.Probability	probability(net.sf.tweety.logics.fol.syntax.FolFormula f)
boolean	satisfies(net.sf.tweety.commons.BeliefBase beliefBase)
boolean	satisfies(net.sf.tweety.commons.Formula formula)
RpclProbabilityDistribution	toProbabilityDistribution() Converts this condensed probability distribution into an ordinary probability distribution.

Methods inherited from class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution

clear, conditionalProbability, containsKey, containsValue, convexCombination, convexCombination, entrySet, get, getSignature, getUniformDistribution, isEmpty, keySet, linearCombination, normalize, probability, probability, put, putAll, remove, size, toString, values

Methods inherited from class net.sf.tweety.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

clone, equals, finalize, 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,
                                        net.sf.tweety.logics.fol.syntax.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(net.sf.tweety.commons.Formula formula)
                  throws IllegalArgumentException

Specified by:

satisfies in interface net.sf.tweety.commons.Interpretation

Overrides:

satisfies in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution<ReferenceWorld>

Throws:

IllegalArgumentException

satisfies

public boolean satisfies(net.sf.tweety.commons.BeliefBase beliefBase)
                  throws IllegalArgumentException

Specified by:

satisfies in interface net.sf.tweety.commons.Interpretation

Overrides:

satisfies in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution<ReferenceWorld>

Throws:

IllegalArgumentException

getSemantics

public RpclSemantics getSemantics()

Returns the semantics of this distribution.

Returns:

the semantics of this distribution.

entropy

public double entropy()

Overrides:

entropy in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution<ReferenceWorld>

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,
                                                                      net.sf.tweety.logics.fol.syntax.FolSignature signature,
                                                                      Set<Set<net.sf.tweety.logics.commons.syntax.Constant>> equivalenceClasses)

Returns the uniform distribution on the given signature.

Parameters:

semantics - the semantics used for the distribution

signature - a fol signature

Returns:

the uniform distribution on the given signature.

getRandomDistribution

public static CondensedProbabilityDistribution getRandomDistribution(RpclSemantics semantics,
                                                                     net.sf.tweety.logics.fol.syntax.FolSignature signature,
                                                                     Set<Set<net.sf.tweety.logics.commons.syntax.Constant>> equivalenceClasses)

Returns a random distribution on the given signature.

Parameters:

semantics - the semantics used for the distribution

signature - a fol signature

Returns:

a random distribution on the given signature.

toProbabilityDistribution

public RpclProbabilityDistribution toProbabilityDistribution()

Converts this condensed probability distribution into an ordinary probability distribution.

Returns:

a probability distribution.

probability

public net.sf.tweety.math.probability.Probability probability(net.sf.tweety.logics.fol.syntax.FolFormula f)