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.
|