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