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 toKappaValueinstances 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 voidConditionalStructureKappaBuilder. 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 correspondingKappaMinis 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 voidRuleBasedCReasoner.Rule. setKappas(java.util.Collection<KappaValue> kappas)Sets the Collection ofKappaValuethat 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. kappasthe kappas the rule works onMethod parameters in net.sf.tweety.logics.cl.rules with type arguments of type KappaValue Modifier and Type Method Description voidEvaluateRule. setKappas(java.util.Collection<KappaValue> kappas)voidRuleAdapter. setKappas(java.util.Collection<KappaValue> kappas)
-