net.sf.tweety.logics.rpcl.semantics

Class RpclProbabilityDistribution

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation

net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution<net.sf.tweety.logics.fol.semantics.HerbrandInterpretation>

net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution

All Implemented Interfaces:

Map<net.sf.tweety.logics.fol.semantics.HerbrandInterpretation,net.sf.tweety.math.probability.Probability>, net.sf.tweety.commons.Interpretation

public class RpclProbabilityDistribution
extends net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution<net.sf.tweety.logics.fol.semantics.HerbrandInterpretation>

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 and Description
RpclProbabilityDistribution(RpclSemantics semantics, net.sf.tweety.logics.fol.syntax.FolSignature signature) Creates a new probability distribution for the given signature.

Method Summary

Modifier and Type	Method and Description
RpclProbabilityDistribution	convexCombination(double d, RpclProbabilityDistribution other) Computes the convex combination of this P1 and the given probability distribution P2 with parameter d, i.e.
RpclSemantics	getSemantics() Returns the semantics of this distribution.
static RpclProbabilityDistribution	getUniformDistribution(RpclSemantics semantics, net.sf.tweety.logics.fol.syntax.FolSignature signature) Returns the uniform distribution on the given signature.
net.sf.tweety.math.probability.Probability	probability(net.sf.tweety.logics.fol.syntax.FolFormula f) Gets the probability of the given closed formula, i.e.
net.sf.tweety.math.probability.Probability	probability(net.sf.tweety.logics.rcl.syntax.RelationalConditional re) Gets the probability of the given closed relational conditional "re", i.e.
boolean	satisfies(net.sf.tweety.commons.BeliefBase beliefBase)
boolean	satisfies(net.sf.tweety.commons.Formula formula)

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

clear, conditionalProbability, containsKey, containsValue, convexCombination, convexCombination, entropy, 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

RpclProbabilityDistribution

public RpclProbabilityDistribution(RpclSemantics semantics,
                                   net.sf.tweety.logics.fol.syntax.FolSignature signature)

Creates a new probability distribution for the given signature.

Parameters:

signature - a fol signature.

Method Detail

getSemantics

public RpclSemantics getSemantics()

Returns the semantics of this distribution.

Returns:

the semantics of this distribution.

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<net.sf.tweety.logics.fol.semantics.HerbrandInterpretation>

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<net.sf.tweety.logics.fol.semantics.HerbrandInterpretation>

Throws:

IllegalArgumentException

probability

public net.sf.tweety.math.probability.Probability probability(net.sf.tweety.logics.fol.syntax.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 net.sf.tweety.math.probability.Probability probability(net.sf.tweety.logics.rcl.syntax.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.

convexCombination

public RpclProbabilityDistribution convexCombination(double d,
                                                     RpclProbabilityDistribution 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 getUniformDistribution(RpclSemantics semantics,
                                                                 net.sf.tweety.logics.fol.syntax.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.