| Modifier and Type | Field and Description |
|---|---|
(package private) Conditional |
KappaValue.cond
The Conditional that generates this kappa value
|
| 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 | 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. |
| Constructor and Description |
|---|
KappaValue(int index,
Conditional cond)
Ctor: Generates a kappa value for the given
Conditional with the given index. |
| Modifier and Type | Method and Description |
|---|---|
Conditional |
ClParser.parseFormula(java.io.Reader reader) |
| Modifier and Type | Field and Description |
|---|---|
private java.util.Map<java.lang.Integer,Conditional> |
BruteForceCReasoner.indexToConditional
Maps the indices of the kappa vector to their corresponding
conditionals.
|
| Modifier and Type | Method and Description |
|---|---|
private Statement |
CReasoner.getAcceptanceConstraint(Conditional cond,
java.util.Map<PossibleWorld,IntegerVariable> ranks)
For the given conditional (B|A) and the given ranks of possible worlds, this
method constructs the inequation k(AB) < k(A-B) where k(AB) is the minimum of
the ranks of the interpretations that satisfy AB.
|
private boolean |
ZReasoner.isTolerated(Conditional f,
ClBeliefSet kb,
java.util.Set<PossibleWorld> omega)
Checks whether or not the given formula is tolerated by the knowledge base,
i.e., there is a world omega that satisfies the formula and does not falsify each conditional (B|A)
in the knowledge base (it satisfies the material implication A => B).
|
| Modifier and Type | Method and Description |
|---|---|
private Statement |
CReasoner.getRankConstraint(PossibleWorld w,
IntegerVariable ranki,
java.util.Map<Conditional,IntegerVariable> kappa_pos,
java.util.Map<Conditional,IntegerVariable> kappa_neg)
For the given interpretation "i" and the given kappas, this method
computes the constraint
k("i")=\sum_{"i" verifies ri} ki+ + \sum_{"i" falsifies ri} kj- |
private Statement |
CReasoner.getRankConstraint(PossibleWorld w,
IntegerVariable ranki,
java.util.Map<Conditional,IntegerVariable> kappa_pos,
java.util.Map<Conditional,IntegerVariable> kappa_neg)
For the given interpretation "i" and the given kappas, this method
computes the constraint
k("i")=\sum_{"i" verifies ri} ki+ + \sum_{"i" falsifies ri} kj- |
| Modifier and Type | Field and Description |
|---|---|
private java.util.Map<Conditional,java.util.SortedMap<NicePossibleWorld,ConditionalStructure.Generator>> |
ConditionalStructure.conditionalData
This maps saves the same data as worldData but uses another mapping allowing fast
access to the Generators using Conditionals.
|
private java.util.Map<Conditional,java.util.List<NicePossibleWorld>> |
ConditionalStructure.falsifyingWorlds |
private java.util.Map<Conditional,java.util.List<NicePossibleWorld>> |
ConditionalStructure.verifyingWorlds |
private java.util.SortedMap<NicePossibleWorld,java.util.Map<Conditional,ConditionalStructure.Generator>> |
ConditionalStructure.worldData
The data of the conditional structure maps to every PossibleWorld a map
of Conditionals and their Generators.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.Set<Conditional> |
ConditionalStructure.getConditionals() |
java.util.Map<Conditional,ConditionalStructure.Generator> |
ConditionalStructure.getWorldGenerators(NicePossibleWorld world)
Processes the map from Conditionals to Generators for a given PossibleWorld
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
ConditionalStructure.addConditional(Conditional cond)
Adds the given Conditional to the ConditionalStructure and updates the
structure.
|
static boolean |
RankingFunction.falsifies(PossibleWorld w,
Conditional c)
Checks whether the given possible world w falsifies the given
conditional (B|A), i.e.
|
java.util.Map<NicePossibleWorld,ConditionalStructure.Generator> |
ConditionalStructure.getConditionalGenerators(Conditional conditional)
Processes the Map form PossibleWorlds to the Generators of the given Conditional
|
java.util.List<NicePossibleWorld> |
ConditionalStructure.getFalsifiyingWorlds(Conditional cond) |
java.util.List<NicePossibleWorld> |
ConditionalStructure.getVerifyingWorlds(Conditional cond) |
private boolean |
ConditionalStructure.putGenerator(NicePossibleWorld npw,
Conditional cond)
Processes the generator of the given Conditional cond for the PossibleWorld
npw and saves it in the worldData data structure if it is not equal CG_ONE.
|
boolean |
ConditionalStructure.removeConditional(Conditional cond)
Removes the given Conditional from the ConditionalStructure and updates
the structure.
|
boolean |
RankingFunction.satisfies(Conditional formula) |
static boolean |
RankingFunction.satisfies(PossibleWorld w,
Conditional c)
Checks whether the given possible world w satisfies the given
conditional (B|A), i.e.
|
static boolean |
RankingFunction.verifies(PossibleWorld w,
Conditional c)
Checks whether the given possible world w verifies the given
conditional (B|A), i.e.
|
| Constructor and Description |
|---|
ConditionalStructure(java.util.Collection<Conditional> conditionals)
Ctor: generates a conditional structure containing the given conditionals
|
ConditionalStructure(java.util.Collection<Conditional> conditionals,
java.util.Comparator<NicePossibleWorld> comparator)
Ctor: Generates a ConditionalStructure containing the given conditionals and
using the given comparator to sort the worldData map.
|
| Modifier and Type | Method and Description |
|---|---|
Conditional |
Conditional.clone() |
Conditional |
Conditional.complement() |
| Constructor and Description |
|---|
ClBeliefSet(java.util.Collection<? extends Conditional> conditionals)
Creates a new conditional belief set with the given collection of
conditionals.
|
| Modifier and Type | Method and Description |
|---|---|
Probability |
ProbabilityDistribution.conditionalProbability(Conditional c)
Returns the probability of the given conditional
|
| Modifier and Type | Class and Description |
|---|---|
class |
ProbabilisticConditional
This class represents a probabilistic conditional of the form (B|A)[p]
with formulas A,B and a probability p.
|
| Constructor and Description |
|---|
ProbabilisticConditional(Conditional conditional,
Probability probability)
Creates a new probabilistic conditional using the given conditional
and probability.
|
| Modifier and Type | Method and Description |
|---|---|
Conditional |
ClNLPTranslator.toCl(NLPRule rule)
Translates the given NLP-rule into a conditional.
|
| Modifier and Type | Method and Description |
|---|---|
(package private) NLPRule |
ClNLPTranslator.toNLP(Conditional cond)
Translates the given conditional to a NLP-rule.
|