Uses of Class
net.sf.tweety.logics.cl.semantics.ConditionalStructure
-
Packages that use ConditionalStructure Package Description net.sf.tweety.logics.cl.kappa net.sf.tweety.logics.cl.reasoner net.sf.tweety.logics.cl.rules -
-
Uses of ConditionalStructure in net.sf.tweety.logics.cl.kappa
Methods in net.sf.tweety.logics.cl.kappa with parameters of type ConditionalStructure 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 conditionalprivate 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 ConditionalStructure in net.sf.tweety.logics.cl.reasoner
Methods in net.sf.tweety.logics.cl.reasoner with parameters of type ConditionalStructure Modifier and Type Method Description void
RuleBasedCReasoner.Rule. setConditonalStructure(ConditionalStructure cs)
Sets theConditionalStructure
that is used as data basis for the rule. -
Uses of ConditionalStructure in net.sf.tweety.logics.cl.rules
Fields in net.sf.tweety.logics.cl.rules declared as ConditionalStructure Modifier and Type Field Description protected ConditionalStructure
RuleAdapter. conditionalStructure
the conditional structure the rule works onMethods in net.sf.tweety.logics.cl.rules with parameters of type ConditionalStructure Modifier and Type Method Description void
RuleAdapter. setConditonalStructure(ConditionalStructure cs)
-