| Package | Description |
|---|---|
| net.sf.tweety.logics.cl | |
| net.sf.tweety.logics.cl.kappa | |
| 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.
|
| 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
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
|