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.
BeliefSetIterator<T extends Formula,U extends BeliefSet<T,?>>	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 reasoners 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.
Signature	A signatures lists the atomic language structures for some language.
TweetyConfiguration	This interface contains some configuration options for Tweety.

Class Summary

Class	Description
AbstractInterpretation<B extends BeliefBase,S extends Formula>	An abstract interpretation for some logical language.
BeliefSet<T extends Formula,S extends Signature>	This class models a belief set, i.e.
BeliefSetSampler<T extends Formula,U extends BeliefSet<T,?>>	This abstract class models a random sampler for belief sets.
DualSetSignature<T,S>	This class models a signature as two sets of formulas.
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,S extends Formula>	This class models an abstract parser for belief bases and formulas.
QuadrupleSetSignature<T,S,U,R>	This class models a signature as four sets of formulas.
SingleSetSignature<T>	This class models a signature as a set of formulas.
TripleSetSignature<T,S,U>	This class models a signature as three sets of formulas.
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
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).
TweetyConfiguration.LogLevel	The possible log levels.

Exception Summary

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