Uses of Class
net.sf.tweety.logics.cl.kappa.KappaValue
-
Packages that use KappaValue Package Description net.sf.tweety.logics.cl.kappa net.sf.tweety.logics.cl.reasoner net.sf.tweety.logics.cl.rules -
-
Uses of KappaValue in net.sf.tweety.logics.cl.kappa
Methods in net.sf.tweety.logics.cl.kappa that return types with arguments of type KappaValue Modifier and Type Method Description java.util.Map<Conditional,KappaValue>
ConditionalStructureKappaBuilder. build(ConditionalStructure structure)
This builds a map of conditionals toKappaValue
instances which represent the penalty term for a falsified conditionalMethod parameters in net.sf.tweety.logics.cl.kappa with type arguments of type KappaValue 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. -
Uses of KappaValue in net.sf.tweety.logics.cl.reasoner
Method parameters in net.sf.tweety.logics.cl.reasoner with type arguments of type KappaValue Modifier and Type Method Description void
RuleBasedCReasoner.Rule. setKappas(java.util.Collection<KappaValue> kappas)
Sets the Collection ofKappaValue
that is used as data basis for the rule -
Uses of KappaValue in net.sf.tweety.logics.cl.rules
Fields in net.sf.tweety.logics.cl.rules with type parameters of type KappaValue Modifier and Type Field Description protected java.util.List<KappaValue>
RuleAdapter. kappas
the kappas the rule works onMethod parameters in net.sf.tweety.logics.cl.rules with type arguments of type KappaValue Modifier and Type Method Description void
EvaluateRule. setKappas(java.util.Collection<KappaValue> kappas)
void
RuleAdapter. setKappas(java.util.Collection<KappaValue> kappas)
-