Uses of Class
net.sf.tweety.math.probability.Probability

Packages that use Probability

Package	Description
net.sf.tweety.arg.delp.syntax
net.sf.tweety.arg.dung.ldo.syntax
net.sf.tweety.arg.prob.lotteries
net.sf.tweety.arg.prob.reasoner
net.sf.tweety.arg.prob.semantics
net.sf.tweety.arg.prob.syntax
net.sf.tweety.logics.commons.syntax
net.sf.tweety.logics.commons.syntax.interfaces
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.ml.syntax
net.sf.tweety.logics.mln.syntax
net.sf.tweety.logics.pcl.analysis
net.sf.tweety.logics.pcl.semantics
net.sf.tweety.logics.pcl.syntax
net.sf.tweety.logics.pl.syntax
net.sf.tweety.logics.pl.util
net.sf.tweety.logics.rcl.syntax
net.sf.tweety.logics.rdl.syntax
net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser
net.sf.tweety.logics.rpcl.semantics
net.sf.tweety.logics.rpcl.syntax
net.sf.tweety.math.probability

Uses of Probability in net.sf.tweety.arg.delp.syntax

Methods in net.sf.tweety.arg.delp.syntax that return Probability

Modifier and Type	Method and Description
Probability	DelpRule.getUniformProbability()

Uses of Probability in net.sf.tweety.arg.dung.ldo.syntax

Methods in net.sf.tweety.arg.dung.ldo.syntax that return Probability

Modifier and Type	Method and Description
Probability	LdoFormula.getUniformProbability()

Uses of Probability in net.sf.tweety.arg.prob.lotteries

Fields in net.sf.tweety.arg.prob.lotteries with type parameters of type Probability

Modifier and Type	Field and Description
private java.util.Map<LdoFormula,Probability>	LdoArgumentationLottery.prob Maps LdoFormulas to probabilities
private java.util.Map<Division,Probability>	ArgumentationLottery.prob Maps divisions to probabilities

Methods in net.sf.tweety.arg.prob.lotteries that return Probability

Modifier and Type	Method and Description
Probability	ArgumentationLottery.get(Division d) Returns the probability of the given outcome.
Probability	LdoArgumentationLottery.get(LdoFormula f) Returns the probability of the given outcome.
Probability	SubgraphProbabilityFunction.getAcceptanceProbability(Argument arg, Semantics semantics) Returns the probability of the given argument being acceptable wrt.
Probability	SubgraphProbabilityFunction.getAcceptanceProbability(Division d, Semantics semantics) Returns the probability of the given division being acceptable wrt.
Probability	SubgraphProbabilityFunction.getAcceptanceProbability(Extension ext, Semantics semantics) Returns the probability of the given set of arguments being acceptable wrt.
Probability	SubgraphProbabilityFunction.getAcceptanceProbability(LdoFormula f, Semantics semantics) Returns the probability of the given formula being acceptable wrt.
Probability	SubgraphProbabilityFunction.getEpistemicProbability(Argument arg) Returns the epistemic probability of the given argument, i.e.
Probability	SubgraphProbabilityFunction.getEpistemicProbability(Attack att) Returns the epistemic probability of the given attack, i.e.

Uses of Probability in net.sf.tweety.arg.prob.reasoner

Fields in net.sf.tweety.arg.prob.reasoner declared as Probability

Modifier and Type	Field and Description
private Probability	ProbabilisticRankingReasoner.p The probability used for all arguments to instantiate a probabilistic argumentation framework

Constructors in net.sf.tweety.arg.prob.reasoner with parameters of type Probability

Constructor and Description
ProbabilisticRankingReasoner(Semantics sem, Probability p, boolean exactInference) Creates a new reasoner.

Uses of Probability in net.sf.tweety.arg.prob.semantics

Methods in net.sf.tweety.arg.prob.semantics that return Probability

Modifier and Type	Method and Description
Probability	ProbabilisticExtension.probability(Argument a) Computes the probability of the given argument.

Uses of Probability in net.sf.tweety.arg.prob.syntax

Fields in net.sf.tweety.arg.prob.syntax with type parameters of type Probability

Modifier and Type	Field and Description
private java.util.Map<Argument,Probability>	ProbabilisticArgumentationFramework.argumentProbabilityAssignment Probability assignments to arguments (with independence assumption).
private java.util.Map<Attack,Probability>	ProbabilisticArgumentationFramework.attackProbabilityAssignment Probability assignments to attacks (with independence assumption).

Methods in net.sf.tweety.arg.prob.syntax that return Probability

Modifier and Type	Method and Description
Probability	ProbabilisticArgumentationFramework.getProbability(Argument a) Returns the probability of the given argument.
Probability	ProbabilisticArgumentationFramework.getProbability(Attack a) Returns the probability of the given attack.
Probability	ProbabilisticArgumentationFramework.getProbability(DungTheory aaf) Computes the probability of the given AAF wrt.

Methods in net.sf.tweety.arg.prob.syntax with parameters of type Probability

Modifier and Type	Method and Description
boolean	ProbabilisticArgumentationFramework.add(Argument a, Probability p) Adds the given argument with the given probability
boolean	ProbabilisticArgumentationFramework.add(Attack att, Probability p) Adds the given attack with the given probability

Uses of Probability in net.sf.tweety.logics.commons.syntax

Methods in net.sf.tweety.logics.commons.syntax that return Probability

Modifier and Type	Method and Description
abstract Probability	RelationalFormula.getUniformProbability()

Uses of Probability in net.sf.tweety.logics.commons.syntax.interfaces

Methods in net.sf.tweety.logics.commons.syntax.interfaces that return Probability

Modifier and Type	Method and Description
Probability	ProbabilityAware.getUniformProbability()

Uses of Probability in net.sf.tweety.logics.fol.syntax

Methods in net.sf.tweety.logics.fol.syntax that return Probability

Modifier and Type	Method and Description
Probability	FolFormula.getUniformProbability()

Uses of Probability in net.sf.tweety.logics.ml.syntax

Methods in net.sf.tweety.logics.ml.syntax that return Probability

Modifier and Type	Method and Description
Probability	ModalFormula.getUniformProbability()

Uses of Probability in net.sf.tweety.logics.mln.syntax

Methods in net.sf.tweety.logics.mln.syntax that return Probability

Modifier and Type	Method and Description
Probability	MlnFormula.getUniformProbability()

Constructors in net.sf.tweety.logics.mln.syntax with parameters of type Probability

Constructor and Description
MlnFormula(FolFormula formula, Probability p) Creates a new MLN formula and estimates its weight w by the given probability p using the formula w = log(p/(1-p)*f) where "f" is the ratio of the number of worlds not satisfying the formula and the worlds satisfying the formula.

Uses of Probability in net.sf.tweety.logics.pcl.analysis

Methods in net.sf.tweety.logics.pcl.analysis that return types with arguments of type Probability

Modifier and Type	Method and Description
protected java.util.Map<ProbabilisticConditional,Probability>	SmoothedPenalizingCreepingMachineShop.getValues(double delta, PclBeliefSet beliefSet)
protected abstract java.util.Map<ProbabilisticConditional,Probability>	AbstractCreepingMachineShop.getValues(double delta, PclBeliefSet beliefSet) Computes the values of the conditionals for step delta
protected java.util.Map<ProbabilisticConditional,Probability>	PenalizingCreepingMachineShop.getValues(double delta, PclBeliefSet beliefSet)
protected java.util.Map<ProbabilisticConditional,Probability>	UnbiasedCreepingMachineShop.getValues(double delta, PclBeliefSet beliefSet)

Method parameters in net.sf.tweety.logics.pcl.analysis with type arguments of type Probability

Modifier and Type	Method and Description
protected PclBeliefSet	AbstractCreepingMachineShop.characteristicFunction(PclBeliefSet beliefSet, java.util.Map<ProbabilisticConditional,Probability> values) Returns a modified belief base that replaces each conditionals probability by the one given by "values".

Uses of Probability in net.sf.tweety.logics.pcl.semantics

Fields in net.sf.tweety.logics.pcl.semantics with type parameters of type Probability

Modifier and Type	Field and Description
private java.util.Map<T,Probability>	ProbabilityDistribution.probabilities The probabilities of the interpretations.

Methods in net.sf.tweety.logics.pcl.semantics that return Probability

Modifier and Type	Method and Description
Probability	ProbabilityDistribution.conditionalProbability(Conditional c) Returns the probability of the given conditional
Probability	ProbabilityDistribution.get(java.lang.Object key)
Probability	ProbabilityDistribution.probability(Interpretation<PlBeliefSet,PropositionalFormula> w) Gets the probability of the given Herbrand interpretation (this is just an alias for get(Object o).
Probability	ProbabilityDistribution.probability(PropositionalFormula f) Returns the probability of the given formula
Probability	ProbabilityDistribution.put(T key, Probability value)
Probability	ProbabilityDistribution.remove(java.lang.Object key)

Methods in net.sf.tweety.logics.pcl.semantics that return types with arguments of type Probability

Modifier and Type	Method and Description
java.util.Set<java.util.Map.Entry<T,Probability>>	ProbabilityDistribution.entrySet()
java.util.Collection<Probability>	ProbabilityDistribution.values()

Methods in net.sf.tweety.logics.pcl.semantics with parameters of type Probability

Modifier and Type	Method and Description
Probability	ProbabilityDistribution.put(T key, Probability value)

Method parameters in net.sf.tweety.logics.pcl.semantics with type arguments of type Probability

Modifier and Type	Method and Description
void	ProbabilityDistribution.putAll(java.util.Map<? extends T,? extends Probability> m)

Uses of Probability in net.sf.tweety.logics.pcl.syntax

Fields in net.sf.tweety.logics.pcl.syntax declared as Probability

Modifier and Type	Field and Description
private Probability	ProbabilisticConditional.probability The probability of this conditional.

Methods in net.sf.tweety.logics.pcl.syntax that return Probability

Modifier and Type	Method and Description
Probability	ProbabilisticConditional.getProbability() Returns the probability of this conditional.
Probability	ProbabilisticConditional.getUniformProbability()

Constructors in net.sf.tweety.logics.pcl.syntax with parameters of type Probability

Constructor and Description
ProbabilisticConditional(Conditional conditional, Probability probability) Creates a new probabilistic conditional using the given conditional and probability.
ProbabilisticConditional(PropositionalFormula conclusion, Probability probability) Creates a new probabilistic conditional with a tautological premise and given conclusion and probability.
ProbabilisticConditional(PropositionalFormula premise, PropositionalFormula conclusion, Probability probability) Creates a new probabilistic conditional with the given premise, conclusion, and probability.

Uses of Probability in net.sf.tweety.logics.pl.syntax

Methods in net.sf.tweety.logics.pl.syntax that return Probability

Modifier and Type	Method and Description
Probability	PropositionalFormula.getUniformProbability() Returns this formula's probability in the uniform distribution.

Uses of Probability in net.sf.tweety.logics.pl.util

Constructors in net.sf.tweety.logics.pl.util with parameters of type Probability

Constructor and Description
SyntacticRandomSampler(Signature signature, Probability probneg, Probability probconj, Probability probdisj, double recDecrease) Creates a new sampler.
SyntacticRandomSampler(Signature signature, Probability probneg, Probability probconj, Probability probdisj, double recDecrease, int minLength, int maxLength) Creates a new sampler.

Uses of Probability in net.sf.tweety.logics.rcl.syntax

Methods in net.sf.tweety.logics.rcl.syntax that return Probability

Modifier and Type	Method and Description
Probability	RelationalConditional.getUniformProbability()

Uses of Probability in net.sf.tweety.logics.rdl.syntax

Methods in net.sf.tweety.logics.rdl.syntax that return Probability

Modifier and Type	Method and Description
Probability	DefaultRule.getUniformProbability()

Uses of Probability in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser

Methods in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser that return types with arguments of type Probability

Modifier and Type	Method and Description
static Pair<ReferenceWorld,Probability>	RpclCondensedProbabilityDistributionParser.ProbabilityAssignment(FolSignature signature)

Uses of Probability in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser

Methods in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser that return types with arguments of type Probability

Modifier and Type	Method and Description
static Pair<HerbrandInterpretation,Probability>	RpclProbabilityDistributionParser.ProbabilityAssignment(FolSignature signature)

Uses of Probability in net.sf.tweety.logics.rpcl.semantics

Fields in net.sf.tweety.logics.rpcl.semantics with type parameters of type Probability

Modifier and Type	Field and Description
private java.util.Map<T,Probability>	RpclProbabilityDistribution.probabilities The probabilities of the interpretations.

Methods in net.sf.tweety.logics.rpcl.semantics that return Probability

Modifier and Type	Method and Description
Probability	RpclProbabilityDistribution.get(java.lang.Object key)
Probability	RpclProbabilityDistribution.probability(FolFormula f) Gets the probability of the given closed formula, i.e.
Probability	CondensedProbabilityDistribution.probability(FolFormula f)
Probability	RpclProbabilityDistribution.probability(RelationalConditional re) Gets the probability of the given closed relational conditional "re", i.e.
Probability	RpclProbabilityDistribution.put(T key, Probability value)
Probability	RpclProbabilityDistribution.remove(java.lang.Object key)

Methods in net.sf.tweety.logics.rpcl.semantics that return types with arguments of type Probability

Modifier and Type	Method and Description
java.util.Set<java.util.Map.Entry<T,Probability>>	RpclProbabilityDistribution.entrySet()
java.util.Collection<Probability>	RpclProbabilityDistribution.values()

Methods in net.sf.tweety.logics.rpcl.semantics with parameters of type Probability

Modifier and Type	Method and Description
Probability	RpclProbabilityDistribution.put(T key, Probability value)

Method parameters in net.sf.tweety.logics.rpcl.semantics with type arguments of type Probability

Modifier and Type	Method and Description
void	RpclProbabilityDistribution.putAll(java.util.Map<? extends T,? extends Probability> m)

Uses of Probability in net.sf.tweety.logics.rpcl.syntax

Fields in net.sf.tweety.logics.rpcl.syntax declared as Probability

Modifier and Type	Field and Description
private Probability	RelationalProbabilisticConditional.probability The probability of the formula.

Methods in net.sf.tweety.logics.rpcl.syntax that return Probability

Modifier and Type	Method and Description
Probability	RelationalProbabilisticConditional.getProbability() Returns the probability of this conditional.

Constructors in net.sf.tweety.logics.rpcl.syntax with parameters of type Probability

Constructor and Description
RelationalProbabilisticConditional(FolFormula premise, FolFormula conclusion, Probability probability) Creates a new conditional with the given premise, conclusion and probability.
RelationalProbabilisticConditional(FolFormula conclusion, Probability probability) Creates a new conditional with the given conclusion and probability and a tautological premise.
RelationalProbabilisticConditional(RelationalConditional conditional, Probability probability) Creates a new relational probabilistic conditional with the given conditional and probability

Uses of Probability in net.sf.tweety.math.probability

Fields in net.sf.tweety.math.probability declared as Probability

Modifier and Type	Field and Description
static Probability	Probability.ONE Constant for probability 1
static Probability	Probability.ZERO Constant for probability 0

Fields in net.sf.tweety.math.probability with type parameters of type Probability

Modifier and Type	Field and Description
private java.util.Map<T,Probability>	ProbabilityFunction.probabilities The probabilities of the objects.

Methods in net.sf.tweety.math.probability that return Probability

Modifier and Type	Method and Description
Probability	Probability.add(Probability other) Computes the sum of this and the given probability.
Probability	Probability.complement() Returns the complement of this probability, i.e.
Probability	Probability.divide(java.lang.Double other) Divides this probability by given value returns the result.
Probability	Probability.divide(Probability other) Divides this probability by other and returns the result.
Probability	ProbabilityFunction.get(java.lang.Object key)
Probability	Probability.mult(java.lang.Double other) Computes the product of this probability and the given number.
Probability	Probability.mult(java.lang.Integer other) Computes the product of this probability and the given number.
Probability	Probability.mult(Probability other) Computes the product of this probability and the given probability.
Probability	ProbabilityFunction.probability(java.util.Collection<? extends T> objects) Gets the probability of the given object.
Probability	ProbabilityFunction.probability(T w) Gets the probability of the given object.
Probability	ProbabilityFunction.put(T key, Probability value)
Probability	ProbabilityFunction.remove(java.lang.Object key)

Methods in net.sf.tweety.math.probability that return types with arguments of type Probability

Modifier and Type	Method and Description
java.util.Set<java.util.Map.Entry<T,Probability>>	ProbabilityFunction.entrySet()
java.util.Vector<Probability>	ProbabilityFunction.getProbabilityVector() Returns the vector of probabilities, depending on the order of the domain elements (which can be ordered as they implement Comparable).
java.util.Collection<Probability>	ProbabilityFunction.values()

Methods in net.sf.tweety.math.probability with parameters of type Probability

Modifier and Type	Method and Description
Probability	Probability.add(Probability other) Computes the sum of this and the given probability.
Probability	Probability.divide(Probability other) Divides this probability by other and returns the result.
boolean	Probability.isWithinTolerance(Probability other) Checks whether the given probability is "nearly" the same as this probability (given the actual precision).
Probability	Probability.mult(Probability other) Computes the product of this probability and the given probability.
Probability	ProbabilityFunction.put(T key, Probability value)

Method parameters in net.sf.tweety.math.probability with type arguments of type Probability

Modifier and Type	Method and Description
void	ProbabilityFunction.putAll(java.util.Map<? extends T,? extends Probability> m)

Constructors in net.sf.tweety.math.probability with parameters of type Probability

Constructor and Description
Probability(Probability other) Creates a new probability from the given probability