Uses of Class
org.tweetyproject.logics.pcl.syntax.PclBeliefSet
Package
Description
-
Uses of PclBeliefSet in org.tweetyproject.logics.pcl.analysis
Modifier and TypeMethodDescriptionMeanDistanceCulpabilityMeasure.culpabilityMeasure(PclBeliefSet beliefSet, ProbabilisticConditional conditional)
SignedCulpabilityMeasure.culpabilityMeasure(PclBeliefSet beliefSet, ProbabilisticConditional conditional)
DistanceMinimizationInconsistencyMeasure.getDeviation(PclBeliefSet beliefSet, ProbabilisticConditional pc)
Returns the deviation of the given conditional in the nearest consistent belief set.MeanDistanceCulpabilityMeasure.sign(PclBeliefSet beliefSet, ProbabilisticConditional conditional)
SignedCulpabilityMeasure.sign(PclBeliefSet beliefSet, ProbabilisticConditional conditional)
Determines the sign of the culpability of the given conditional in the given belief set, i.e.ModifierConstructorDescriptionBalancedMachineShop(CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet> culpabilityMeasure)
PclBeliefSetQuadraticErrorMinimizationMachineShop(CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet> culpabilityMeasure, OptimizationRootFinder rootFinder)
Creates a new machine shop based on the given culpability measure.SmoothedPenalizingCreepingMachineShop(OptimizationRootFinder rootFinder, CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet> culpabilityMeasure)
Creates a new creeping machine shop based on the given culpability measure. -
Uses of PclBeliefSet in org.tweetyproject.logics.pcl.parser
-
Uses of PclBeliefSet in org.tweetyproject.logics.pcl.reasoner
Modifier and TypeMethodDescriptionabstract ProbabilityDistribution<PossibleWorld>
AbstractPclReasoner.getModel(PclBeliefSet beliefbase)
DefaultMeReasoner.getModel(PclBeliefSet beliefbase)
DefaultMeReasoner.getModel(PclBeliefSet bs, PlSignature signature)
Computes the ME-distribution this reasoner bases on.GeneralizedMeReasoner.getModel(PclBeliefSet beliefbase)
GeneralizedMeReasoner.getModel(PclBeliefSet bs, PlSignature signature)
Computes the ME-distribution this reasoner bases on.abstract Collection<ProbabilityDistribution<PossibleWorld>>
AbstractPclReasoner.getModels(PclBeliefSet bbase)
DefaultMeReasoner.getModels(PclBeliefSet bbase)
GeneralizedMeReasoner.getModels(PclBeliefSet bbase)
abstract Double
AbstractPclReasoner.query(PclBeliefSet beliefbase, PlFormula formula)
DefaultMeReasoner.query(PclBeliefSet beliefbase, PlFormula formula)
GeneralizedMeReasoner.query(PclBeliefSet beliefbase, PlFormula formula)
-
Uses of PclBeliefSet in org.tweetyproject.logics.pcl.semantics
Modifier and TypeMethodDescriptionboolean
ProbabilityDistribution.satisfies(PclBeliefSet beliefBase)
-
Uses of PclBeliefSet in org.tweetyproject.logics.pcl.util
Modifier and TypeMethodDescriptionstatic org.ojalgo.matrix.PrimitiveMatrix
OjAlgoPclUtils.createConstraintMatrix(PclBeliefSet beliefSet, Set<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<PossibleWorld> worlds)
Print antecedence verification matrix (1 if antecedence is satisfied, 0 otherwise)static void
MatlabUtils.printConditionalVerificationMatrix(PrintStream out, PclBeliefSet beliefSet, Set<PossibleWorld> worlds)
Print conditional verification matrix (1 if antecedence and consequence are satisfied, 0 otherwise)static void
MatlabUtils.printConstraintMatrix(PrintStream out, PclBeliefSet beliefSet, Set<PossibleWorld> worlds)
Print constraint matrix for belief set and possible worlds to output stream.