Package | Description |
---|---|
net.sf.tweety.logics.cl.kappa | |
net.sf.tweety.logics.cl.reasoner | |
net.sf.tweety.logics.cl.rules |
Modifier and Type | Method and Description |
---|---|
java.util.Map<Conditional,KappaValue> |
ConditionalStructureKappaBuilder.build(ConditionalStructure structure)
This builds a map of conditionals to
KappaValue instances which represent the penalty
term for a falsified conditional |
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 corresponding
KappaMin is given, such that positiveMinimum is calculated using verifying worlds and
negativeMinumum is using falsifying worlds. |
Modifier and Type | Method and Description |
---|---|
void |
RuleBasedCReasoner.Rule.setConditonalStructure(ConditionalStructure cs)
Sets the
ConditionalStructure that is used as data basis
for the rule. |
Modifier and Type | Field and Description |
---|---|
protected ConditionalStructure |
RuleAdapter.conditionalStructure
the conditional structure the rule works on
|
Modifier and Type | Method and Description |
---|---|
void |
RuleAdapter.setConditonalStructure(ConditionalStructure cs) |