Uses of Class
org.tweetyproject.logics.cl.syntax.Conditional
-
-
-
Uses of Conditional in org.tweetyproject.logics.cl.kappa
Methods in org.tweetyproject.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 conditionalConstructors in org.tweetyproject.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 org.tweetyproject.logics.cl.parser
Methods in org.tweetyproject.logics.cl.parser that return Conditional Modifier and Type Method Description Conditional
ClParser. parseFormula(java.io.Reader reader)
-
Uses of Conditional in org.tweetyproject.logics.cl.semantics
Methods in org.tweetyproject.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 org.tweetyproject.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)
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 org.tweetyproject.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 org.tweetyproject.logics.cl.syntax
Methods in org.tweetyproject.logics.cl.syntax that return Conditional Modifier and Type Method Description Conditional
Conditional. clone()
Conditional
Conditional. complement()
Constructor parameters in org.tweetyproject.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 org.tweetyproject.logics.pcl.semantics
Methods in org.tweetyproject.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 org.tweetyproject.logics.pcl.syntax
Subclasses of Conditional in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.translators.clnlp
Methods in org.tweetyproject.logics.translators.clnlp that return Conditional Modifier and Type Method Description Conditional
ClNLPTranslator. toCl(NLPRule rule)
Translates the given NLP-rule into a conditional.
-