Package org.tweetyproject.logics.cl.semantics

package org.tweetyproject.logics.cl.semantics
  • Class
    Description
    ConditionalStructure
    Represents a conditional structure as introduced in Section 3.5 "Conditionals in Nonmonotonic Reasoning and Belief Revision" of Gabrielle Kern-Isberner Internally it saves the data to two nested Maps.
    ConditionalStructure.Generator
    The possible values of a conditional for a possible world
    RankingFunction
    A ranking function (or ordinal conditional function, OCF) that maps possible worlds of a propositional language to integers.