| Package | Description | 
|---|---|
| net.sf.tweety.logics.ml | |
| net.sf.tweety.logics.pcl | |
| net.sf.tweety.logics.pcl.semantics | |
| net.sf.tweety.logics.rpcl | |
| net.sf.tweety.logics.rpcl.semantics | 
| Modifier and Type | Field and Description | 
|---|---|
private ProbabilityDistribution<HerbrandInterpretation> | 
ApproximateNaiveMlnReasoner.prob
The approximated model of the MLN (saved for avoid double
 computation). 
 | 
| Modifier and Type | Method and Description | 
|---|---|
private ProbabilityDistribution<HerbrandInterpretation> | 
ApproximateNaiveMlnReasoner.computeModel()
Computes the model of the given MLN wrt. 
 | 
| Modifier and Type | Field and Description | 
|---|---|
private ProbabilityDistribution<PossibleWorld> | 
DefaultMeReasoner.meDistribution
The ME-distribution this reasoner bases on. 
 | 
private ProbabilityDistribution<PossibleWorld> | 
GeneralizedMeReasoner.meDistribution
The ME-distribution this reasoner bases on. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
private ProbabilityDistribution<PossibleWorld> | 
DefaultMeReasoner.computeMeDistribution()
Computes the ME-distribution this reasoner bases on. 
 | 
private ProbabilityDistribution<PossibleWorld> | 
GeneralizedMeReasoner.computeMeDistribution()
Computes the ME-distribution this reasoner bases on. 
 | 
ProbabilityDistribution<PossibleWorld> | 
DefaultMeReasoner.getMeDistribution()
Returns the ME-distribution this reasoner bases on. 
 | 
ProbabilityDistribution<PossibleWorld> | 
GeneralizedMeReasoner.getMeDistribution()
Returns the ME-distribution this reasoner bases on. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
static <S extends Interpretation> | 
ProbabilityDistribution.convexCombination(double[] factors,
                 ProbabilityDistribution<S>[] creators)
Computes the convex combination of the
 given probability distributions P1,...,PN with parameters factors, i.e. 
 | 
ProbabilityDistribution<T> | 
ProbabilityDistribution.convexCombination(double d,
                 ProbabilityDistribution<T> other)
Computes the convex combination of this P1 and the
 given probability distribution P2 with parameter d, i.e. 
 | 
static <S extends Interpretation> | 
ProbabilityDistribution.getUniformDistribution(java.util.Set<S> interpretations,
                      Signature sig)
Returns the uniform distribution on the given interpretations. 
 | 
ProbabilityDistribution<T> | 
ProbabilityDistribution.linearCombination(double d1,
                 double d2,
                 ProbabilityDistribution<T> other)
Makes a linear combination of this distribution "p1" and the given distribution "other" and
 the given parameters, i.e. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
static <S extends Interpretation> | 
ProbabilityDistribution.convexCombination(double[] factors,
                 ProbabilityDistribution<S>[] creators)
Computes the convex combination of the
 given probability distributions P1,...,PN with parameters factors, i.e. 
 | 
ProbabilityDistribution<T> | 
ProbabilityDistribution.convexCombination(double d,
                 ProbabilityDistribution<T> other)
Computes the convex combination of this P1 and the
 given probability distribution P2 with parameter d, i.e. 
 | 
ProbabilityDistribution<T> | 
ProbabilityDistribution.linearCombination(double d1,
                 double d2,
                 ProbabilityDistribution<T> other)
Makes a linear combination of this distribution "p1" and the given distribution "other" and
 the given parameters, i.e. 
 | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
CondensedProbabilityDistribution
Instances of this class represent condensed probability distributions, rf. 
 | 
| Modifier and Type | Field and Description | 
|---|---|
private ProbabilityDistribution<?> | 
RpclMeReasoner.meDistribution
The ME-distribution for this reasoner. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
private ProbabilityDistribution<?> | 
RpclMeReasoner.computeMeDistribution()
Computes the ME-distribution for this reasoner's knowledge base. 
 | 
ProbabilityDistribution<?> | 
RpclMeReasoner.getMeDistribution()
Returns the ME-distribution this reasoner bases on. 
 | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
RpclProbabilityDistribution
Objects of this class represent probability distributions on the interpretations
 of an underlying first-order signature for a relational probabilistic conditional knowledge base. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
boolean | 
RpclSemantics.satisfies(ProbabilityDistribution<?> p,
         RelationalProbabilisticConditional r)
Checks whether the given probability distribution satisfies the given
 conditional wrt. 
 | 
boolean | 
AveragingSemantics.satisfies(ProbabilityDistribution<?> p,
         RelationalProbabilisticConditional r)  | 
boolean | 
AggregatingSemantics.satisfies(ProbabilityDistribution<?> p,
         RelationalProbabilisticConditional r)  | 
abstract boolean | 
AbstractRpclSemantics.satisfies(ProbabilityDistribution<?> p,
         RelationalProbabilisticConditional r)  | 
protected boolean | 
AbstractRpclSemantics.satisfiesGroundConditional(ProbabilityDistribution<?> p,
                          RelationalProbabilisticConditional groundConditional)
Checks whether the given ground conditional is satisfied by the given distribution
 wrt. 
 |