Uses of Class net.sf.tweety.logics.pcl.syntax.PclBeliefSet (Tweety (Probabilistic Conditional Logic Library) 1.17 API)

Packages that use PclBeliefSet
Package	Description
net.sf.tweety.logics.pcl.analysis
net.sf.tweety.logics.pcl.parser
net.sf.tweety.logics.pcl.reasoner
net.sf.tweety.logics.pcl.semantics
net.sf.tweety.logics.pcl.util

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

Methods in net.sf.tweety.logics.pcl.analysis that return PclBeliefSet
Modifier and Type	Method	Description
`protected PclBeliefSet`	AbstractCreepingMachineShop.`characteristicFunction(PclBeliefSet beliefSet, Map<ProbabilisticConditional,net.sf.tweety.math.probability.Probability> values)`	Returns a modified belief base that replaces each conditionals probability by the one given by "values".

Methods in net.sf.tweety.logics.pcl.analysis with parameters of type PclBeliefSet
Modifier and Type	Method	Description
`protected PclBeliefSet`	AbstractCreepingMachineShop.`characteristicFunction(PclBeliefSet beliefSet, Map<ProbabilisticConditional,net.sf.tweety.math.probability.Probability> values)`	Returns a modified belief base that replaces each conditionals probability by the one given by "values".
`Double`	MeanDistanceCulpabilityMeasure.`culpabilityMeasure(PclBeliefSet beliefSet, ProbabilisticConditional conditional)`
`Double`	SignedCulpabilityMeasure.`culpabilityMeasure(PclBeliefSet beliefSet, ProbabilisticConditional conditional)`
`Double`	DistanceMinimizationInconsistencyMeasure.`getDeviation(PclBeliefSet beliefSet, ProbabilisticConditional pc)`	Returns the deviation of the given conditional in the nearest consistent belief set.
`protected abstract Map<ProbabilisticConditional,net.sf.tweety.math.probability.Probability>`	AbstractCreepingMachineShop.`getValues(double delta, PclBeliefSet beliefSet)`	Computes the values of the conditionals for step delta
`protected Map<ProbabilisticConditional,net.sf.tweety.math.probability.Probability>`	PenalizingCreepingMachineShop.`getValues(double delta, PclBeliefSet beliefSet)`
`protected Map<ProbabilisticConditional,net.sf.tweety.math.probability.Probability>`	SmoothedPenalizingCreepingMachineShop.`getValues(double delta, PclBeliefSet beliefSet)`
`protected Map<ProbabilisticConditional,net.sf.tweety.math.probability.Probability>`	UnbiasedCreepingMachineShop.`getValues(double delta, PclBeliefSet beliefSet)`
`protected void`	AbstractCreepingMachineShop.`init(PclBeliefSet beliefSet)`	Performs some optional initializations before beginning to restore consistency.
`protected void`	SmoothedPenalizingCreepingMachineShop.`init(PclBeliefSet beliefSet)`
`protected abstract net.sf.tweety.commons.BeliefBase`	MinimalViolationEuclideanMachineShop.`repair(PclBeliefSet beliefSet)`
`protected net.sf.tweety.commons.BeliefBase`	MinimalViolationEuclideanMachineShopOjAlgoExpression.`repair(PclBeliefSet beliefSet)`	Compute solution using ojalgos matrix representation.
`protected net.sf.tweety.commons.BeliefBase`	MinimalViolationEuclideanMachineShopOjAlgoMatrix.`repair(PclBeliefSet beliefSet)`	Compute solution using ojalgos matrix representation.
`Double`	MeanDistanceCulpabilityMeasure.`sign(PclBeliefSet beliefSet, ProbabilisticConditional conditional)`
`Double`	SignedCulpabilityMeasure.`sign(PclBeliefSet beliefSet, ProbabilisticConditional conditional)`	Determines the sign of the culpability of the given conditional in the given belief set, i.e.

Constructor parameters in net.sf.tweety.logics.pcl.analysis with type arguments of type PclBeliefSet
Constructor	Description
`BalancedMachineShop(net.sf.tweety.logics.commons.analysis.CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet> culpabilityMeasure)`
`PclBeliefSetQuadraticErrorMinimizationMachineShop(net.sf.tweety.logics.commons.analysis.CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet> culpabilityMeasure, net.sf.tweety.math.opt.rootFinder.OptimizationRootFinder rootFinder)`	Creates a new machine shop based on the given culpability measure.
`SmoothedPenalizingCreepingMachineShop(net.sf.tweety.math.opt.rootFinder.OptimizationRootFinder rootFinder, net.sf.tweety.logics.commons.analysis.CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet> culpabilityMeasure)`	Creates a new creeping machine shop based on the given culpability measure.

Uses of PclBeliefSet in net.sf.tweety.logics.pcl.parser

Methods in net.sf.tweety.logics.pcl.parser that return PclBeliefSet
Modifier and Type Method Description

PclBeliefSet PclParser.parseBeliefBase(Reader reader)

Uses of PclBeliefSet in net.sf.tweety.logics.pcl.reasoner

Methods in net.sf.tweety.logics.pcl.reasoner with parameters of type PclBeliefSet
Modifier and Type	Method	Description
`abstract ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>`	AbstractPclReasoner.`getModel(PclBeliefSet beliefbase)`
`ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>`	DefaultMeReasoner.`getModel(PclBeliefSet beliefbase)`
`ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>`	DefaultMeReasoner.`getModel(PclBeliefSet bs, net.sf.tweety.logics.pl.syntax.PlSignature signature)`	Computes the ME-distribution this reasoner bases on.
`ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>`	GeneralizedMeReasoner.`getModel(PclBeliefSet beliefbase)`
`ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>`	GeneralizedMeReasoner.`getModel(PclBeliefSet bs, net.sf.tweety.logics.pl.syntax.PlSignature signature)`	Computes the ME-distribution this reasoner bases on.
`abstract Collection<ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>>`	AbstractPclReasoner.`getModels(PclBeliefSet bbase)`
`Collection<ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>>`	DefaultMeReasoner.`getModels(PclBeliefSet bbase)`
`Collection<ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>>`	GeneralizedMeReasoner.`getModels(PclBeliefSet bbase)`
`abstract Double`	AbstractPclReasoner.`query(PclBeliefSet beliefbase, net.sf.tweety.logics.pl.syntax.PlFormula formula)`
`Double`	DefaultMeReasoner.`query(PclBeliefSet beliefbase, net.sf.tweety.logics.pl.syntax.PlFormula formula)`
`Double`	GeneralizedMeReasoner.`query(PclBeliefSet beliefbase, net.sf.tweety.logics.pl.syntax.PlFormula formula)`

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

Methods in net.sf.tweety.logics.pcl.semantics with parameters of type PclBeliefSet
Modifier and Type	Method	Description
`boolean`	ProbabilityDistribution.`satisfies(PclBeliefSet beliefBase)`

Uses of PclBeliefSet in net.sf.tweety.logics.pcl.util

Methods in net.sf.tweety.logics.pcl.util with parameters of type PclBeliefSet
Modifier and Type	Method	Description
`static org.ojalgo.matrix.PrimitiveMatrix`	OjAlgoPclUtils.`createConstraintMatrix(PclBeliefSet beliefSet, Set<net.sf.tweety.logics.pl.semantics.PossibleWorld> worlds)`	Create constraint matrix for a set of PCL conditionals over a set of possible worlds.
`static void`	MatlabUtils.`printAntecedenceVerificationMatrix(PrintStream out, PclBeliefSet beliefSet, Set<net.sf.tweety.logics.pl.semantics.PossibleWorld> worlds)`	Print antecedence verification matrix (1 if antecedence is satisfied, 0 otherwise)
`static void`	MatlabUtils.`printConditionalVerificationMatrix(PrintStream out, PclBeliefSet beliefSet, Set<net.sf.tweety.logics.pl.semantics.PossibleWorld> worlds)`	Print conditional verification matrix (1 if antecedence and consequence are satisfied, 0 otherwise)
`static void`	MatlabUtils.`printConstraintMatrix(PrintStream out, PclBeliefSet beliefSet, Set<net.sf.tweety.logics.pl.semantics.PossibleWorld> worlds)`	Print constraint matrix for belief set and possible worlds to output stream.