Uses of Class
net.sf.tweety.logics.pcl.syntax.PclBeliefSet

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.test
net.sf.tweety.logics.pcl.util

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

Fields in net.sf.tweety.logics.pcl.analysis with type parameters of type PclBeliefSet

Modifier and Type	Field	Description
private java.util.Map<PclBeliefSet,java.lang.Double>	DistanceMinimizationInconsistencyMeasure.archive	For archiving inconsistency values.
private java.util.Map<PclBeliefSet,java.lang.Double>	LowerApproxDistanceMinimizationInconsistencyMeasure.archive	For archiving.
private java.util.Map<PclBeliefSet,java.lang.Double>	UpperApproxDistanceMinimizationInconsistencyMeasure.archive	For archiving.
private java.util.Map<PclBeliefSet,java.util.Map<ProbabilisticConditional,java.lang.Double>>	DistanceMinimizationInconsistencyMeasure.archiveDevs	For archiving eta/tau values.
private CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet>	BalancedMachineShop.culpabilityMeasure	The culpability measure used by this machine shop.
private CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet>	PclBeliefSetQuadraticErrorMinimizationMachineShop.culpabilityMeasure	The culpability measure this machine shop bases on.
private CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet>	SmoothedPenalizingCreepingMachineShop.culpabilityMeasure	The culpability measure used by this machine shop.

Methods in net.sf.tweety.logics.pcl.analysis that return PclBeliefSet

Modifier and Type	Method	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".

Methods in net.sf.tweety.logics.pcl.analysis with parameters of type PclBeliefSet

Modifier and Type	Method	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".
java.lang.Double	MeanDistanceCulpabilityMeasure.culpabilityMeasure(PclBeliefSet beliefSet, ProbabilisticConditional conditional)
java.lang.Double	SignedCulpabilityMeasure.culpabilityMeasure(PclBeliefSet beliefSet, ProbabilisticConditional conditional)
private OptimizationProblem	MeanDistanceCulpabilityMeasure.getBaseProblem(PclBeliefSet beliefSet, ProbabilisticConditional conditional, double incVal)	Creates the base problem (without target function set) for determining both minimal and maximal incon values.
java.lang.Double	DistanceMinimizationInconsistencyMeasure.getDeviation(PclBeliefSet beliefSet, ProbabilisticConditional pc)	Returns the deviation of the given conditional in the nearest consistent belief set.
private java.lang.Double	MeanDistanceCulpabilityMeasure.getMaximumValue(PclBeliefSet beliefSet, ProbabilisticConditional conditional, double incVal)	Determines the maximal value for the given conditional.
private java.lang.Double	MeanDistanceCulpabilityMeasure.getMinimumValue(PclBeliefSet beliefSet, ProbabilisticConditional conditional, double incVal)	Determines the minimal value for the given conditional.
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>	SmoothedPenalizingCreepingMachineShop.getValues(double delta, PclBeliefSet beliefSet)
protected java.util.Map<ProbabilisticConditional,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 BeliefBase	MinimalViolationEuclideanMachineShop.repair(PclBeliefSet beliefSet)
protected BeliefBase	MinimalViolationEuclideanMachineShopOjAlgoExpression.repair(PclBeliefSet beliefSet)	Compute solution using ojalgos matrix representation.
protected BeliefBase	MinimalViolationEuclideanMachineShopOjAlgoMatrix.repair(PclBeliefSet beliefSet)	Compute solution using ojalgos matrix representation.
java.lang.Double	MeanDistanceCulpabilityMeasure.sign(PclBeliefSet beliefSet, ProbabilisticConditional conditional)
java.lang.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(CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet> culpabilityMeasure)
PclBeliefSetQuadraticErrorMinimizationMachineShop(CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet> culpabilityMeasure)	Creates a new machine shop based on the given culpability measure.
SmoothedPenalizingCreepingMachineShop(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(java.io.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<PossibleWorld>	AbstractPclReasoner.getModel(PclBeliefSet beliefbase)
ProbabilityDistribution<PossibleWorld>	DefaultMeReasoner.getModel(PclBeliefSet beliefbase)
ProbabilityDistribution<PossibleWorld>	DefaultMeReasoner.getModel(PclBeliefSet bs, PlSignature signature)	Computes the ME-distribution this reasoner bases on.
ProbabilityDistribution<PossibleWorld>	GeneralizedMeReasoner.getModel(PclBeliefSet beliefbase)
ProbabilityDistribution<PossibleWorld>	GeneralizedMeReasoner.getModel(PclBeliefSet bs, PlSignature signature)	Computes the ME-distribution this reasoner bases on.
abstract java.util.Collection<ProbabilityDistribution<PossibleWorld>>	AbstractPclReasoner.getModels(PclBeliefSet bbase)
java.util.Collection<ProbabilityDistribution<PossibleWorld>>	DefaultMeReasoner.getModels(PclBeliefSet bbase)
java.util.Collection<ProbabilityDistribution<PossibleWorld>>	GeneralizedMeReasoner.getModels(PclBeliefSet bbase)
abstract java.lang.Double	AbstractPclReasoner.query(PclBeliefSet beliefbase, PlFormula formula)
java.lang.Double	DefaultMeReasoner.query(PclBeliefSet beliefbase, PlFormula formula)
java.lang.Double	GeneralizedMeReasoner.query(PclBeliefSet beliefbase, 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.test

Fields in net.sf.tweety.logics.pcl.test with type parameters of type PclBeliefSet

Modifier and Type	Field	Description
(package private) java.util.LinkedList<PclBeliefSet>	MinimalViolationInconsistencyMeasureLPSolveTest.kbs

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, java.util.Set<PossibleWorld> worlds)	Create constraint matrix for a set of PCL conditionals over a set of possible worlds.
static void	MatlabUtils.printAntecedenceVerificationMatrix(java.io.PrintStream out, PclBeliefSet beliefSet, java.util.Set<PossibleWorld> worlds)	Print antecedence verification matrix (1 if antecedence is satisfied, 0 otherwise)
static void	MatlabUtils.printConditionalVerificationMatrix(java.io.PrintStream out, PclBeliefSet beliefSet, java.util.Set<PossibleWorld> worlds)	Print conditional verification matrix (1 if antecedence and consequence are satisfied, 0 otherwise)
static void	MatlabUtils.printConstraintMatrix(java.io.PrintStream out, PclBeliefSet beliefSet, java.util.Set<PossibleWorld> worlds)	Print constraint matrix for belief set and possible worlds to output stream.