Package org.tweetyproject.commons
package org.tweetyproject.commons
-
ClassDescriptionAn abstract interpretation for some logical language.This class captures an abstract knowledge base, i.e.Classes implementing this interface are capable of restoring consistency of inconsistent belief bases.This class models a belief set, i.e.Classes implementing this interface are able to enumerate belief sets.This abstract class models a random sampler for belief sets.DualSetSignature<T,
S> This class models a signature as two sets of formulas.A formula is a basic language construct.FormulaSampler<T extends Formula>This abstract class models a sampler for formulas.Enum constants for the two classical inference models of skeptical inference (assess a formula as true iff it is contained in every model) and credulous inference (assess a formula as true iff it is contained in some model).An interpretation for some logical language.An iterator over interpretations.This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.KernelProvider<T extends Formula>Classes implementing this interface are able to provide kernels (=minimal proofs).Instances of this interface model reasoners that determine the (selected) models for a given set of formulas.This class models an abstract parser for belief bases and formulas.This class models a general exception for parsing.A class for managing and displaying several plots in a single frameThis class is responsible for the behavior of a plotter with multiple frames.QuadrupleSetSignature<T,S, U, R> This class models a signature as four sets of formulas.This interface represents a general contract for qualitative reasoners, which are objects that can query a belief base with a specific formula and return a boolean result (`TRUE` or `FALSE`) based on the reasoning process.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.A signatures lists the atomic language structures for some language.This class models a signature as a set of formulas.TripleSetSignature<T,S, U> This class models a signature as three sets of formulas.This interface contains some configuration options for Tweety.The possible log levels.This class represents an abstract writer for writing objects into the file system.