Uses of Class
net.sf.tweety.commons.AbstractInterpretation

Packages that use AbstractInterpretation

Package	Description
net.sf.tweety.agents.dialogues
net.sf.tweety.arg.aba.semantics
net.sf.tweety.arg.dung.ldo.semantics
net.sf.tweety.arg.dung.semantics
net.sf.tweety.arg.rankings.semantics
net.sf.tweety.arg.social.semantics
net.sf.tweety.commons
net.sf.tweety.logics.cl.semantics
net.sf.tweety.logics.dl.semantics
net.sf.tweety.logics.fol.semantics
net.sf.tweety.logics.ml.semantics
net.sf.tweety.logics.pcl.semantics
net.sf.tweety.logics.pl.semantics
net.sf.tweety.logics.qbf.semantics
net.sf.tweety.logics.rcl.semantics
net.sf.tweety.logics.rdl.semantics
net.sf.tweety.logics.rpcl.semantics
net.sf.tweety.lp.asp.semantics

Uses of AbstractInterpretation in net.sf.tweety.agents.dialogues

Subclasses of AbstractInterpretation in net.sf.tweety.agents.dialogues

Modifier and Type	Class	Description
class	ExecutableExtension	This class packs an extension into an executable object.

Uses of AbstractInterpretation in net.sf.tweety.arg.aba.semantics

Subclasses of AbstractInterpretation in net.sf.tweety.arg.aba.semantics

Modifier and Type	Class	Description
class	AbaExtension<T extends Formula>	This class models an ABA Extension, meaning a set of assumptions.

Uses of AbstractInterpretation in net.sf.tweety.arg.dung.ldo.semantics

Subclasses of AbstractInterpretation in net.sf.tweety.arg.dung.ldo.semantics

Modifier and Type	Class	Description
class	LdoInterpretation	This class models an LDO interpretation, i.e., a pair of an argumentation framework and (possibly) an extension.

Uses of AbstractInterpretation in net.sf.tweety.arg.dung.semantics

Subclasses of AbstractInterpretation in net.sf.tweety.arg.dung.semantics

Modifier and Type	Class	Description
class	AbstractArgumentationInterpretation	This abstract class acts as a common ancestor for interpretations to abstract argumentation frameworks.
class	Extension	This class models a (possible) extension of a Dung theory, i.e.
class	Labeling	This class models a labeling of an abstract argumentation framework, i.e.
class	StratifiedLabeling	This class implements stratified labelings as in [Thimm, Kern-Isberner, 2013].

Uses of AbstractInterpretation in net.sf.tweety.arg.rankings.semantics

Subclasses of AbstractInterpretation in net.sf.tweety.arg.rankings.semantics

Modifier and Type	Class	Description
class	ArgumentRanking	This abstract class is the common ancestor for semantical approaches to argument ranking, i.e.
class	LatticeArgumentRanking	This class models argument ranking by representing the acceptability of arguments in a graph-based structure.
class	NumericalArgumentRanking	This class provides a acceptability interpretation of arguments by assigning them real values where larger values indicate more acceptability.

Uses of AbstractInterpretation in net.sf.tweety.arg.social.semantics

Subclasses of AbstractInterpretation in net.sf.tweety.arg.social.semantics

Modifier and Type	Class	Description
class	SocialMapping<L>	Implements a mapping from arguments to social value.

Uses of AbstractInterpretation in net.sf.tweety.commons

Subclasses of AbstractInterpretation in net.sf.tweety.commons

Modifier and Type	Class	Description
class	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.

Uses of AbstractInterpretation in net.sf.tweety.logics.cl.semantics

Subclasses of AbstractInterpretation in net.sf.tweety.logics.cl.semantics

Modifier and Type	Class	Description
class	RankingFunction	A ranking function (or ordinal conditional function, OCF) that maps possible worlds of a propositional language to integers.

Uses of AbstractInterpretation in net.sf.tweety.logics.dl.semantics

Subclasses of AbstractInterpretation in net.sf.tweety.logics.dl.semantics

Modifier and Type	Class	Description
class	DlInterpretation	This class models an interpretation for description logics.

Uses of AbstractInterpretation in net.sf.tweety.logics.fol.semantics

Subclasses of AbstractInterpretation in net.sf.tweety.logics.fol.semantics

Modifier and Type	Class	Description
class	HerbrandInterpretation	A Herbrand interpretation is an interpretation for a first-order signature, stating all ground atoms that are true in the interpretation.

Uses of AbstractInterpretation in net.sf.tweety.logics.ml.semantics

Subclasses of AbstractInterpretation in net.sf.tweety.logics.ml.semantics

Modifier and Type	Class	Description
class	KripkeModel	This class models a Kripke model, i.e.
class	MlHerbrandInterpretation	Modified version of HerbrandInterpretation that allows for modal formulas.

Uses of AbstractInterpretation in net.sf.tweety.logics.pcl.semantics

Subclasses of AbstractInterpretation in net.sf.tweety.logics.pcl.semantics

Modifier and Type	Class	Description
class	ProbabilityDistribution<T extends Interpretation<PlBeliefSet,PlFormula>>	This class represents a probability distribution on some logical language

Uses of AbstractInterpretation in net.sf.tweety.logics.pl.semantics

Subclasses of AbstractInterpretation in net.sf.tweety.logics.pl.semantics

Modifier and Type	Class	Description
class	FuzzyInterpretation	A fuzzy interpretation for propositional logic.
class	NicePossibleWorld	Wrapper for the PossibleWorld providing better representation mechanisms, it knows all the possible propositions (the signature) and therefore provides a complete representation that maps a boolean to the Proposition.
class	PossibleWorld	This class represents a possible world of propositional logic, i.e.
class	PriestWorld	A three-valued interpretation for propositional logic from Priest's three valued logic (3VL) [Priest, G.: Logic of paradox.

Uses of AbstractInterpretation in net.sf.tweety.logics.qbf.semantics

Subclasses of AbstractInterpretation in net.sf.tweety.logics.qbf.semantics

Modifier and Type	Class	Description
class	QbPossibleWorld	This class represents a possible world of quantified boolean logic, i.e.

Uses of AbstractInterpretation in net.sf.tweety.logics.rcl.semantics

Subclasses of AbstractInterpretation in net.sf.tweety.logics.rcl.semantics

Modifier and Type	Class	Description
class	RelationalRankingFunction	A relational ranking function (or relational ordinal conditional function, ROCF) that maps Herbrand interpretations to integers.

Uses of AbstractInterpretation in net.sf.tweety.logics.rdl.semantics

Subclasses of AbstractInterpretation in net.sf.tweety.logics.rdl.semantics

Modifier and Type	Class	Description
class	Extension	An extension of a default theory, i.e.

Uses of AbstractInterpretation in net.sf.tweety.logics.rpcl.semantics

Subclasses of AbstractInterpretation in net.sf.tweety.logics.rpcl.semantics

Modifier and Type	Class	Description
class	CondensedProbabilityDistribution	Instances of this class represent condensed probability distributions, rf.
class	ReferenceWorld	Instances of this class represent reference worlds, i.e.
class	RpclProbabilityDistribution<T extends Interpretation<FolBeliefSet,FolFormula>>	Objects of this class represent probability distributions on the interpretations of an underlying first-order signature for a relational probabilistic conditional knowledge base.

Uses of AbstractInterpretation in net.sf.tweety.lp.asp.semantics

Subclasses of AbstractInterpretation in net.sf.tweety.lp.asp.semantics

Modifier and Type	Class	Description
class	AnswerSet	An answer set is a belief set which only contains literals and represents the deductive belief set of an extended logic program under the answer set semantic.