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.