Uses of Class
net.sf.tweety.logics.cl.kappa.KappaMin
-
Packages that use KappaMin Package Description net.sf.tweety.logics.cl.kappa -
-
Uses of KappaMin in net.sf.tweety.logics.cl.kappa
Fields in net.sf.tweety.logics.cl.kappa declared as KappaMin Modifier and Type Field Description (package private) KappaMin
KappaValue. negativeMinimum
This minimum contains those kappa sums of conditionals that are falsified in a world, that is also falsified by theConditional
of this kappa value.(package private) KappaMin
KappaValue. positiveMinimum
This minimum contains those kappa sums of conditionals that are falsified in a world, that is verified by theConditional
of this kappa value.Methods in net.sf.tweety.logics.cl.kappa with parameters of type KappaMin Modifier and Type Method Description private void
ConditionalStructureKappaBuilder. buildMinima(ConditionalStructure structure, java.util.Map<Conditional,KappaValue> kappaMap, Conditional curCondition, java.util.List<NicePossibleWorld> worlds, KappaMin workingMin)
Helper method: Builds the minimums for the kappa values, a collection of worlds is given which might be either the verifiying or the falsifiying worlds and for this collection of worlds the correspondingKappaMin
is given, such that positiveMinimum is calculated using verifying worlds and negativeMinumum is using falsifying worlds.
-