Uses of Class
org.tweetyproject.logics.cl.syntax.Conditional
Package
Description
-
Uses of Conditional in org.tweetyproject.logics.cl.kappa
Modifier and TypeMethodDescriptionConditionalStructureKappaBuilder.build(ConditionalStructure structure)
This builds a map of conditionals toKappaValue
instances which represent the penalty term for a falsified conditionalModifierConstructorDescriptionKappaValue(int index, Conditional cond)
Ctor: Generates a kappa value for the givenConditional
with the given index. -
Uses of Conditional in org.tweetyproject.logics.cl.parser
-
Uses of Conditional in org.tweetyproject.logics.cl.semantics
Modifier and TypeMethodDescriptionConditionalStructure.getConditionals()
ConditionalStructure.getWorldGenerators(NicePossibleWorld world)
Processes the map from Conditionals to Generators for a given PossibleWorldModifier and TypeMethodDescriptionboolean
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.ConditionalStructure.getConditionalGenerators(Conditional conditional)
Processes the Map form PossibleWorlds to the Generators of the given ConditionalConditionalStructure.getFalsifiyingWorlds(Conditional cond)
ConditionalStructure.getVerifyingWorlds(Conditional cond)
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.ModifierConstructorDescriptionConditionalStructure(Collection<Conditional> conditionals)
Ctor: generates a conditional structure containing the given conditionalsConditionalStructure(Collection<Conditional> conditionals, 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 org.tweetyproject.logics.cl.syntax
ModifierConstructorDescriptionClBeliefSet(Collection<? extends Conditional> conditionals)
Creates a new conditional belief set with the given collection of conditionals. -
Uses of Conditional in org.tweetyproject.logics.pcl.semantics
Modifier and TypeMethodDescriptionProbabilityDistribution.conditionalProbability(Conditional c)
Returns the probability of the given conditional -
Uses of Conditional in org.tweetyproject.logics.pcl.syntax
Modifier and TypeClassDescriptionclass
This class represents a probabilistic conditional of the form (B|A)[p] with formulas A,B and a probability p.ModifierConstructorDescriptionProbabilisticConditional(Conditional conditional, Probability probability)
Creates a new probabilistic conditional using the given conditional and probability. -
Uses of Conditional in org.tweetyproject.logics.translators.adfcl
Modifier and TypeMethodDescriptionstatic boolean
RankingFunctionThreeValued.falsifies(PriestWorldAdapted w, Conditional c)
Checks whether the given possible world w falsifies the given conditional (B|A), i.e.boolean
RankingFunctionThreeValued.satisfies(Conditional formula)
static boolean
RankingFunctionThreeValued.satisfies(PriestWorldAdapted w, Conditional c)
Checks whether the given possible world w satisfies the given conditional (B|A), i.e.static boolean
RankingFunctionThreeValued.verifies(PriestWorldAdapted w, Conditional c)
Checks whether the given possible world w verifies the given conditional (B|A), i.e. -
Uses of Conditional in org.tweetyproject.logics.translators.clnlp
Modifier and TypeMethodDescriptionTranslates the given NLP-rule into a conditional.