Class RpclProbabilityDistribution<T extends Interpretation<FolBeliefSet, FolFormula>>

java.lang.Object

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

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

Type Parameters:

T - the type of interpretations

All Implemented Interfaces:

Map<T, Probability>, Interpretation<RpclBeliefSet, RelationalProbabilisticConditional>

Direct Known Subclasses:

CondensedProbabilityDistribution

public class RpclProbabilityDistribution<T extends Interpretation<FolBeliefSet, FolFormula>>
extends AbstractInterpretation<RpclBeliefSet, RelationalProbabilisticConditional>
implements Map<T, Probability>

Objects of this class represent probability distributions on the interpretations of an underlying first-order signature for a relational probabilistic conditional knowledge base.

Author:

Matthias Thimm

Nested Class Summary

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

Map.Entry<K,V>

Constructor Summary

Constructors

Constructor	Description
RpclProbabilityDistribution(RpclSemantics semantics, FolSignature signature)	Creates a new probability distribution for the given signature.

Method Summary

Modifier and Type	Method	Description
void	clear()
boolean	containsKey(Object key)
boolean	containsValue(Object value)
RpclProbabilityDistribution<T>	convexCombination(double d, RpclProbabilityDistribution<T> other)	Computes the convex combination of this P1 and the given probability distribution P2 with parameter d, i.e.
double	entropy()	Returns the entropy of this probability distribution.
Set<Map.Entry<T, Probability>>	entrySet()
Probability	get(Object key)
RpclSemantics	getSemantics()	Returns the semantics of this distribution.
Signature	getSignature()	Returns the signature of the underlying language.
static RpclProbabilityDistribution<HerbrandInterpretation>	getUniformDistribution(RpclSemantics semantics, FolSignature signature)	Returns the uniform distribution on the given signature.
boolean	isEmpty()
Set<T>	keySet()
Probability	probability(FolFormula f)	Gets the probability of the given closed formula, i.e.
Probability	probability(RelationalConditional re)	Gets the probability of the given closed relational conditional "re", i.e.
Probability	put(T key, Probability value)
void	putAll(Map<? extends T, ? extends Probability> m)
Probability	remove(Object key)
boolean	satisfies(RelationalProbabilisticConditional formula)	Checks whether this interpretation satisfies the given formula.
boolean	satisfies(RpclBeliefSet kb)	Checks whether this interpretation satisfies the given knowledge base.
int	size()
String	toString()
Collection<Probability>	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 Details

RpclProbabilityDistribution

public RpclProbabilityDistribution(RpclSemantics semantics,
 FolSignature signature)

Creates a new probability distribution for the given signature.

Parameters:

semantics - the used RPCL semantics

signature - a fol signature.

Method Details

getSemantics

public RpclSemantics getSemantics()

Returns the semantics of this distribution.

Returns:

the semantics of this distribution.

satisfies

public boolean satisfies(RelationalProbabilisticConditional formula)
                  throws IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given formula.

Specified by:

satisfies in interface Interpretation<RpclBeliefSet, RelationalProbabilisticConditional>

Parameters:

formula - a formula .

Returns:

"true" if this interpretation satisfies the given formula.

Throws:

IllegalArgumentException - if the formula does not correspond to the expected language.

satisfies

public boolean satisfies(RpclBeliefSet kb)
                  throws IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given knowledge base.

Specified by:

satisfies in interface Interpretation<RpclBeliefSet, RelationalProbabilisticConditional>

Parameters:

kb - a knowledge base.

Returns:

"true" if this interpretation satisfies the given knowledge base.

Throws:

IllegalArgumentException - IllegalArgumentException if the knowledgebase does not correspond to the expected language.

probability

public Probability probability(FolFormula f)

Gets the probability of the given closed formula, i.e. the sum of the probabilities of all interpretations satisfying it.

Parameters:

f - a closed fol formula.

Returns:

a probability.

probability

public Probability probability(RelationalConditional re)

Gets the probability of the given closed relational conditional "re", i.e. the probability of the head of "re" given its body.

Parameters:

re - a closed relational conditional.

Returns:

a probability.

entropy

public double entropy()

Returns the entropy of this probability distribution.

Returns:

the entropy of this probability distribution.

convexCombination

public RpclProbabilityDistribution<T> convexCombination(double d,
 RpclProbabilityDistribution<T> other)

Computes the convex combination of this P1 and the given probability distribution P2 with parameter d, i.e. it returns a P with P(i)=d P1(i) + (1-d) P2(i) for every interpretation i.

Parameters:

d - a double

other - a probability distribution

Returns:

the convex combination of this P1 and the given probability distribution P2 with parameter d.

Throws:

IllegalArgumentException - if either d is not in [0,1] or this and the given probability distribution are not defined on the same set of interpretations.

getUniformDistribution

public static RpclProbabilityDistribution<HerbrandInterpretation> getUniformDistribution(RpclSemantics semantics,
 FolSignature signature)

Returns the uniform distribution on the given signature.

Parameters:

semantics - the semantics for the distribution.

signature - a fol signature

Returns:

the uniform distribution on the given signature.

toString

public String toString()

Overrides:

toString in class Object

clear

public void clear()

Specified by:

clear in interface Map<T extends Interpretation<FolBeliefSet, FolFormula>, Probability>

containsKey

public boolean containsKey(Object key)

Specified by:

containsKey in interface Map<T extends Interpretation<FolBeliefSet, FolFormula>, Probability>

containsValue

public boolean containsValue(Object value)

Specified by:

containsValue in interface Map<T extends Interpretation<FolBeliefSet, FolFormula>, Probability>

entrySet

public Set<Map.Entry<T, Probability>> entrySet()

Specified by:

entrySet in interface Map<T extends Interpretation<FolBeliefSet, FolFormula>, Probability>

get

public Probability get(Object key)

Specified by:

get in interface Map<T extends Interpretation<FolBeliefSet, FolFormula>, Probability>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Map<T extends Interpretation<FolBeliefSet, FolFormula>, Probability>

put

public Probability put(T key,
 Probability value)

Specified by:

put in interface Map<T extends Interpretation<FolBeliefSet, FolFormula>, Probability>

putAll

public void putAll(Map<? extends T, ? extends Probability> m)

Specified by:

putAll in interface Map<T extends Interpretation<FolBeliefSet, FolFormula>, Probability>

remove

public Probability remove(Object key)

Specified by:

remove in interface Map<T extends Interpretation<FolBeliefSet, FolFormula>, Probability>

size

public int size()

Specified by:

size in interface Map<T extends Interpretation<FolBeliefSet, FolFormula>, Probability>

values

public Collection<Probability> values()

Specified by:

values in interface Map<T extends Interpretation<FolBeliefSet, FolFormula>, Probability>

keySet

public Set<T> keySet()

Specified by:

keySet in interface Map<T extends Interpretation<FolBeliefSet, FolFormula>, Probability>

getSignature

public Signature getSignature()

Returns the signature of the underlying language.

Returns:

the signature of the underlying language.