Package net.sf.tweety.commons

Interface Summary

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 Summary

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 Summary

Enum	Description
TweetyConfiguration.LogLevel	The possible log levels.

Exception Summary

Exception	Description
ParserException	This class models a general exception for parsing.