Package | Description |
---|---|
net.sf.tweety.logics.cl | |
net.sf.tweety.logics.cl.kappa | |
net.sf.tweety.logics.cl.rules |
Modifier and Type | Field and Description |
---|---|
private java.util.Map<Conditional,KappaValue> |
RuleBasedCReasoner.kappas
the map of conditions to their penalty values (kappa), is null until prepare() is called
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<KappaValue> |
RuleBasedCReasoner.getKappas() |
Modifier and Type | Method and Description |
---|---|
void |
RuleBasedCReasoner.Rule.setKappas(java.util.Collection<KappaValue> kappas)
Sets the Collection of
KappaValue that is used as data basis
for the rule |
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 |
Modifier and Type | Method and 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 corresponding
KappaMin is given, such that positiveMinimum is calculated using verifying worlds and
negativeMinumum is using falsifying worlds. |
Modifier and Type | Field and Description |
---|---|
protected java.util.List<KappaValue> |
RuleAdapter.kappas
the kappas the rule works on
|
Modifier and Type | Method and Description |
---|---|
void |
EvaluateRule.setKappas(java.util.Collection<KappaValue> kappas) |
void |
RuleAdapter.setKappas(java.util.Collection<KappaValue> kappas) |