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
|