Uses of Class
net.sf.tweety.logics.cl.syntax.Conditional
-
-
-
Uses of Conditional in net.sf.tweety.logics.cl.kappa
Fields in net.sf.tweety.logics.cl.kappa declared as Conditional Modifier and Type Field Description (package private) Conditional
KappaValue. cond
The Conditional that generates this kappa valueMethods in net.sf.tweety.logics.cl.kappa that return types with arguments of type Conditional 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 conditionalMethods in net.sf.tweety.logics.cl.kappa with parameters of type Conditional Modifier and Type Method 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 correspondingKappaMin
is given, such that positiveMinimum is calculated using verifying worlds and negativeMinumum is using falsifying worlds.Method parameters in net.sf.tweety.logics.cl.kappa with type arguments of type Conditional Modifier and Type Method 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 correspondingKappaMin
is given, such that positiveMinimum is calculated using verifying worlds and negativeMinumum is using falsifying worlds.Constructors in net.sf.tweety.logics.cl.kappa with parameters of type Conditional Constructor Description KappaValue(int index, Conditional cond)
Ctor: Generates a kappa value for the givenConditional
with the given index. -
Uses of Conditional in net.sf.tweety.logics.cl.parser
Methods in net.sf.tweety.logics.cl.parser that return Conditional Modifier and Type Method Description Conditional
ClParser. parseFormula(java.io.Reader reader)
-
Uses of Conditional in net.sf.tweety.logics.cl.reasoner
Fields in net.sf.tweety.logics.cl.reasoner with type parameters of type Conditional Modifier and Type Field Description private java.util.Map<java.lang.Integer,Conditional>
SimpleCReasoner. indexToConditional
Maps the indices of the kappa vector to their corresponding conditionals.Methods in net.sf.tweety.logics.cl.reasoner with parameters of type Conditional Modifier and Type Method 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).Method parameters in net.sf.tweety.logics.cl.reasoner with type arguments of type Conditional Modifier and Type Method 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- -
Uses of Conditional in net.sf.tweety.logics.cl.semantics
Fields in net.sf.tweety.logics.cl.semantics with type parameters of type Conditional Modifier and Type Field 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.Methods in net.sf.tweety.logics.cl.semantics that return types with arguments of type Conditional Modifier and Type Method 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 PossibleWorldMethods in net.sf.tweety.logics.cl.semantics with parameters of type Conditional Modifier and Type Method 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 Conditionaljava.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 parameters in net.sf.tweety.logics.cl.semantics with type arguments of type Conditional Constructor Description ConditionalStructure(java.util.Collection<Conditional> conditionals)
Ctor: generates a conditional structure containing the given conditionalsConditionalStructure(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. -
Uses of Conditional in net.sf.tweety.logics.cl.syntax
Methods in net.sf.tweety.logics.cl.syntax that return Conditional Modifier and Type Method Description Conditional
Conditional. clone()
Conditional
Conditional. complement()
Constructor parameters in net.sf.tweety.logics.cl.syntax with type arguments of type Conditional Constructor Description ClBeliefSet(java.util.Collection<? extends Conditional> conditionals)
Creates a new conditional belief set with the given collection of conditionals. -
Uses of Conditional in net.sf.tweety.logics.pcl.semantics
Methods in net.sf.tweety.logics.pcl.semantics with parameters of type Conditional Modifier and Type Method Description Probability
ProbabilityDistribution. conditionalProbability(Conditional c)
Returns the probability of the given conditional -
Uses of Conditional in net.sf.tweety.logics.pcl.syntax
Subclasses of Conditional in net.sf.tweety.logics.pcl.syntax Modifier and Type Class Description class
ProbabilisticConditional
This class represents a probabilistic conditional of the form (B|A)[p] with formulas A,B and a probability p.Constructors in net.sf.tweety.logics.pcl.syntax with parameters of type Conditional Constructor Description ProbabilisticConditional(Conditional conditional, Probability probability)
Creates a new probabilistic conditional using the given conditional and probability. -
Uses of Conditional in net.sf.tweety.logics.translators.clnlp
Methods in net.sf.tweety.logics.translators.clnlp that return Conditional Modifier and Type Method Description Conditional
ClNLPTranslator. toCl(NLPRule rule)
Translates the given NLP-rule into a conditional.Methods in net.sf.tweety.logics.translators.clnlp with parameters of type Conditional Modifier and Type Method Description (package private) NLPRule
ClNLPTranslator. toNLP(Conditional cond)
Translates the given conditional to a NLP-rule.
-