| AbstractInterpretation |
An abstract interpretation for some logical language.
|
| BeliefBase |
This class captures an abstract knowledge base, i.e.
|
| BeliefSet |
This class models a belief set, i.e.
|
| BeliefSetIterator |
Classes implementing this interface are able to enumerate
belief sets.
|
| DualSetSignature |
This class models a signature as two sets of formulas.
|
| Formula |
A formula is a basic language construct.
|
| InferenceMode |
Enum constants for the two classical inference models of skeptical inference (assess
a formula as true iff it is contained in every model) and credoulous inference
(assess a formula as true iff it is contained in some model).
|
| Interpretation |
An interpretation for some logical language.
|
| InterpretationIterator |
An iterator over interpretations.
|
| ParserException |
This class models a general exception for parsing.
|
| QuadrupleSetSignature |
This class models a signature as four sets of formulas.
|
| Reasoner |
The general interface for objects that are able to query a belief base
with some formula.
|
| Signature |
A signatures lists the atomic language structures for some language.
|
| SingleSetSignature |
This class models a signature as a set of formulas.
|
| TripleSetSignature |
This class models a signature as three sets of formulas.
|
| TweetyConfiguration.LogLevel |
The possible log levels.
|