Uses of Package
net.sf.tweety.logics.cl.semantics
-
Packages that use net.sf.tweety.logics.cl.semantics Package Description net.sf.tweety.logics.cl.kappa net.sf.tweety.logics.cl.reasoner net.sf.tweety.logics.cl.rules net.sf.tweety.logics.cl.semantics -
Classes in net.sf.tweety.logics.cl.semantics used by net.sf.tweety.logics.cl.kappa 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. -
Classes in net.sf.tweety.logics.cl.semantics used by net.sf.tweety.logics.cl.reasoner 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.RankingFunction A ranking function (or ordinal conditional function, OCF) that maps possible worlds of a propositional language to integers. -
Classes in net.sf.tweety.logics.cl.semantics used by net.sf.tweety.logics.cl.rules 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. -
Classes in net.sf.tweety.logics.cl.semantics used by net.sf.tweety.logics.cl.semantics Class Description ConditionalStructure.Generator The possible values of a conditional for a possible world