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.
|
Formula |
A formula is a basic language construct.
|
Interpretation |
An interpretation for some logical language.
|
InterpretationIterator<T extends Interpretation> |
An iterator over interpretations.
|
TweetyConfiguration |
This interface contains some configuration options for
Tweety.
|
Class | Description |
---|---|
AbstractInterpretation |
An abstract interpretation for some logical language.
|
Answer |
An abstract answer of a knowledge base to a query.
|
BeliefBaseSampler<S extends BeliefBase> |
This abstract class models a sampler for belief bases.
|
BeliefSet<T extends Formula> |
This class models a belief set, i.e.
|
EntailmentRelation<T extends Formula> |
An entailment relation determines whether a formula is entailed
from another formula.
|
FormulaSampler<T extends Formula> |
This abstract class models a sampler for formulas.
|
InterpretationSet<T extends Formula> |
This class models an interpretation that is a set of some formula and as such implements the
java.util.Collection interface.
|
Language |
A language for a given signature specifies which formulas, knowledge bases,
and queries can be constructed.
|
Parser<T extends BeliefBase> |
This class models an abstract parser for belief bases and formulas.
|
Reasoner |
A reasoner specifies a specific inference operation for a given language.
|
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.
|