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 |
Class and 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.
|
Class and 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.
|
Class and 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.
|
Class and Description |
---|
ConditionalStructure.Generator
The possible values of a conditional for a possible world
|