| Interface | Description |
|---|---|
| BeliefBase |
This class captures an abstract knowledge base, i.e.
|
| BeliefBaseMachineShop |
Classes implementing this interface are capable of restoring
consistency of inconsistent belief bases.
|
| BeliefSetIterator<S extends Formula,T extends BeliefSet<S>> |
Classes implementing this interface are able to enumerate
belief sets.
|
| Formula |
A formula is a basic language construct.
|
| Interpretation<B extends BeliefBase,S extends Formula> |
An interpretation for some logical language.
|
| InterpretationIterator<S extends Formula,B extends BeliefBase,T extends Interpretation<B,S>> |
An iterator over interpretations.
|
| KernelProvider<T extends Formula> |
Classes implementing this interface are able to provide kernels (=minimal proofs).
|
| ModelProvider<S extends Formula,B extends BeliefBase,T extends Interpretation<B,S>> |
Instances of this interface model reasoner that determine the (selected) models
for a given set of formulas.
|
| QualitativeReasoner<B extends BeliefBase,F extends Formula> |
The general interface for objects that are able to query a belief base
with some formula and return either TRUE or FALSE as answer.
|
| QuantitativeReasoner<B extends BeliefBase,F extends Formula> |
The general interface for objects that are able to query a belief base
with some formula and return a degree (double value) of its acceptability.
|
| Reasoner<O,B extends BeliefBase,F extends Formula> |
The general interface for objects that are able to query a belief base
with some formula.
|
| TweetyConfiguration |
This interface contains some configuration options for
Tweety.
|
| Class | Description |
|---|---|
| AbstractInterpretation<B extends BeliefBase,S extends Formula> |
An abstract interpretation for some logical language.
|
| BeliefSet<T extends Formula> |
This class models a belief set, i.e.
|
| BeliefSetSampler<R extends Formula,S extends BeliefSet<R>> |
This abstract class models a random sampler for belief sets.
|
| FormulaSampler<T extends Formula> |
This abstract class models a sampler for formulas.
|
| InterpretationSet<T extends Formula,B extends BeliefBase,S extends Formula> |
This class models an interpretation that is a set of some formula and as such implements the
java.util.Collection interface.
|
| Parser<T extends BeliefBase> |
This class models an abstract parser for belief bases and formulas.
|
| SetSignature<T> |
This class models a signature as a set of formulas.
|
| Signature |
A signatures lists the atomic language structures for some language.
|
| TweetyLogging |
This class handles the global logging configuration.
|
| Writer |
This class represents an abstract writer for
writing objects into the file system.
|
| Enum | Description |
|---|---|
| TweetyConfiguration.LogLevel |
The possible log levels.
|
| Exception | Description |
|---|---|
| ParserException |
This class models a general exception for parsing.
|