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.util -
-
Uses of PclBeliefSet in net.sf.tweety.logics.pcl.analysis
Methods in net.sf.tweety.logics.pcl.analysis with parameters of type PclBeliefSet Modifier and Type Method Description java.lang.Double
MeanDistanceCulpabilityMeasure. culpabilityMeasure(PclBeliefSet beliefSet, ProbabilisticConditional conditional)
java.lang.Double
SignedCulpabilityMeasure. culpabilityMeasure(PclBeliefSet beliefSet, ProbabilisticConditional conditional)
java.lang.Double
DistanceMinimizationInconsistencyMeasure. getDeviation(PclBeliefSet beliefSet, ProbabilisticConditional pc)
Returns the deviation of the given conditional in the nearest consistent belief set.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, 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 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.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.
-