Uses of Interface
org.tweetyproject.commons.Interpretation

Packages that use Interpretation

Package	Description
org.tweetyproject.agents.dialogues
org.tweetyproject.arg.aba.semantics
org.tweetyproject.arg.aspic.order
org.tweetyproject.arg.dung.ldo.semantics
org.tweetyproject.arg.dung.learning.syntax
org.tweetyproject.arg.dung.semantics
org.tweetyproject.arg.dung.serialisability.semantics
org.tweetyproject.arg.social.semantics
org.tweetyproject.commons
org.tweetyproject.commons.analysis
org.tweetyproject.comparator
org.tweetyproject.logics.cl.semantics
org.tweetyproject.logics.commons.analysis
org.tweetyproject.logics.dl.semantics
org.tweetyproject.logics.fol.semantics
org.tweetyproject.logics.ml.semantics
org.tweetyproject.logics.pcl.semantics
org.tweetyproject.logics.pl.sat
org.tweetyproject.logics.pl.semantics
org.tweetyproject.logics.qbf.semantics
org.tweetyproject.logics.rcl.semantics
org.tweetyproject.logics.rdl.semantics
org.tweetyproject.logics.rpcl.semantics
org.tweetyproject.logics.translators.adfconditional
org.tweetyproject.logics.translators.adfrevision
org.tweetyproject.lp.asp.semantics

Uses of Interpretation in org.tweetyproject.agents.dialogues

Classes in org.tweetyproject.agents.dialogues that implement Interpretation

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

Uses of Interpretation in org.tweetyproject.arg.aba.semantics

Classes in org.tweetyproject.arg.aba.semantics that implement Interpretation

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

Uses of Interpretation in org.tweetyproject.arg.aspic.order

Classes in org.tweetyproject.arg.aspic.order that implement Interpretation

Modifier and Type	Class	Description
class	LastLinkOrder<T extends Invertable>
class	RuleComparator<T extends Invertable>
class	SimpleAspicOrder<T extends Invertable>
class	WeakestLinkOrder<T extends Invertable>

Uses of Interpretation in org.tweetyproject.arg.dung.ldo.semantics

Classes in org.tweetyproject.arg.dung.ldo.semantics that implement Interpretation

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 Interpretation in org.tweetyproject.arg.dung.learning.syntax

Classes in org.tweetyproject.arg.dung.learning.syntax that implement Interpretation

Modifier and Type	Class	Description
class	Input	Implementation of the input labeling (here called example) as an extension of normal labeling i.e.

Uses of Interpretation in org.tweetyproject.arg.dung.semantics

Classes in org.tweetyproject.arg.dung.semantics that implement Interpretation

Modifier and Type	Class	Description
class	AbstractArgumentationInterpretation<T extends ArgumentationFramework<Argument>>	This abstract class acts as a common ancestor for interpretations to abstract argumentation frameworks.
class	ClaimSet	a set of claims
class	Extension<T extends ArgumentationFramework<Argument>>	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 Interpretation in org.tweetyproject.arg.dung.serialisability.semantics

Classes in org.tweetyproject.arg.dung.serialisability.semantics that implement Interpretation

Modifier and Type	Class	Description
class	SerialisationSequence	Representation of a serialisation sequence, i.e., a sequence of initial sets of the respective reducts.

Uses of Interpretation in org.tweetyproject.arg.social.semantics

Classes in org.tweetyproject.arg.social.semantics that implement Interpretation

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

Uses of Interpretation in org.tweetyproject.commons

Classes in org.tweetyproject.commons with type parameters of type Interpretation

Modifier and Type	Interface	Description
interface	InterpretationIterator<S extends Formula, B extends BeliefBase, T extends Interpretation<B,S>>	An iterator over interpretations.
interface	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.

Classes in org.tweetyproject.commons that implement Interpretation

Modifier and Type	Class	Description
class	AbstractInterpretation<B extends BeliefBase, S extends Formula>	An abstract interpretation for some logical language.
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 Interpretation in org.tweetyproject.commons.analysis

Classes in org.tweetyproject.commons.analysis with type parameters of type Interpretation

Modifier and Type	Class	Description
class	DrasticDistance<T extends Interpretation<B,S>, B extends BeliefBase, S extends Formula>	This class models the drastic distance measure between interpretations, see [Grant, Hunter.
interface	InterpretationDistance<T extends Interpretation<B,S>, B extends BeliefBase, S extends Formula>	Classes implementing this interface represent distance functions between two interpretations.

Uses of Interpretation in org.tweetyproject.comparator

Classes in org.tweetyproject.comparator that implement Interpretation

Modifier and Type	Class	Description
class	GeneralComparator<T extends Formula, R extends BeliefBase>	This abstract class is the common ancestor for semantical approaches to ranking, i.e.
class	LatticePartialOrder<T extends Formula, R extends BeliefBase>	This class models comparable element ranking by representing the acceptability of comparable elements in a graph-based structure.
class	NumericalPartialOrder<T extends Formula, R extends BeliefBase>	This class provides an acceptability interpretation of arguments by assigning them real values.

Uses of Interpretation in org.tweetyproject.logics.cl.semantics

Classes in org.tweetyproject.logics.cl.semantics that implement Interpretation

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 Interpretation in org.tweetyproject.logics.commons.analysis

Classes in org.tweetyproject.logics.commons.analysis with type parameters of type Interpretation

Modifier and Type	Class	Description
class	DHitInconsistencyMeasure<T extends Interpretation<B,S>, B extends BeliefBase, S extends Formula>	This class implements the d-hit inconsistency measure from [Grant, Hunter.
class	DMaxInconsistencyMeasure<T extends Interpretation<B,S>, B extends BeliefBase, S extends Formula>	This class implements the d-max inconsistency measure from [Grant, Hunter.
class	DSumInconsistencyMeasure<T extends Interpretation<B,S>, B extends BeliefBase, S extends Formula>	This class implements the d-sum inconsistency measure from [Grant, Hunter.

Methods in org.tweetyproject.logics.commons.analysis that return Interpretation

Modifier and Type	Method	Description
Interpretation<B,S>	ConsistencyWitnessProvider.getWitness(Collection<S> formulas)	If the collection of formulas is consistent this method returns some model of it or, if it is inconsistent, null.
Interpretation<B,S>	ConsistencyWitnessProvider.getWitness(BeliefSet<S,?> bs)	If the belief set is consistent this method returns some model of it or, if it is inconsistent, null.
Interpretation<B,S>	ConsistencyWitnessProvider.getWitness(S formula)	If the formula is consistent this method returns some model of it or, if it is inconsistent, null.

Constructor parameters in org.tweetyproject.logics.commons.analysis with type arguments of type Interpretation

Modifier	Constructor	Description
	EtaInconsistencyMeasure(InterpretationIterator<S, B, ? extends Interpretation<B,S>> it)	Creates a new inconsistency measure that uses the interpretations given by the given iterator.
	HsInconsistencyMeasure(InterpretationIterator<S, B, ? extends Interpretation<B,S>> it)	Creates a new inconsistency measure that uses the interpretations given by the given iterator.

Uses of Interpretation in org.tweetyproject.logics.dl.semantics

Classes in org.tweetyproject.logics.dl.semantics that implement Interpretation

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

Uses of Interpretation in org.tweetyproject.logics.fol.semantics

Classes in org.tweetyproject.logics.fol.semantics that implement Interpretation

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 Interpretation in org.tweetyproject.logics.ml.semantics

Classes in org.tweetyproject.logics.ml.semantics that implement Interpretation

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.

Methods in org.tweetyproject.logics.ml.semantics that return types with arguments of type Interpretation

Modifier and Type	Method	Description
Set<Interpretation<FolBeliefSet, FolFormula>>	AccessibilityRelation.getNodes()	Returns all interpretations of the accessibility relation.
Set<Interpretation<FolBeliefSet, FolFormula>>	AccessibilityRelation.getSuccessors(Interpretation<FolBeliefSet, FolFormula> i)	Returns all interpretations that are accessible to a given interpretation i.

Methods in org.tweetyproject.logics.ml.semantics with parameters of type Interpretation

Modifier and Type	Method	Description
Set<Interpretation<FolBeliefSet, FolFormula>>	AccessibilityRelation.getSuccessors(Interpretation<FolBeliefSet, FolFormula> i)	Returns all interpretations that are accessible to a given interpretation i.

Method parameters in org.tweetyproject.logics.ml.semantics with type arguments of type Interpretation

Modifier and Type	Method	Description
boolean	MlHerbrandInterpretation.satisfies(Formula formula, Set<Interpretation<FolBeliefSet, FolFormula>> successors)	Checks whether this Herbrand interpretation satisfies the given formula.

Constructor parameters in org.tweetyproject.logics.ml.semantics with type arguments of type Interpretation

Modifier	Constructor	Description
	AccessibilityRelation(Set<Pair<Interpretation<FolBeliefSet, FolFormula>, Interpretation<FolBeliefSet, FolFormula>>> tuples)	Constructs a new accessibility relation.
	AccessibilityRelation(Set<Pair<Interpretation<FolBeliefSet, FolFormula>, Interpretation<FolBeliefSet, FolFormula>>> tuples)	Constructs a new accessibility relation.
	KripkeModel(Set<? extends Interpretation<FolBeliefSet, FolFormula>> possibleWorlds, AccessibilityRelation accRelation)	Creates a new Kripke model.

Uses of Interpretation in org.tweetyproject.logics.pcl.semantics

Classes in org.tweetyproject.logics.pcl.semantics with type parameters of type Interpretation

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

Classes in org.tweetyproject.logics.pcl.semantics that implement Interpretation

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

Methods in org.tweetyproject.logics.pcl.semantics with type parameters of type Interpretation

Modifier and Type	Method	Description
static <S extends Interpretation<PlBeliefSet, PlFormula>> ProbabilityDistribution<S>	ProbabilityDistribution.convexCombination(double[] factors, ProbabilityDistribution<S>[] creators)	Computes the convex combination of the given probability distributions P1,...,PN with parameters factors, i.e.
static <S extends Interpretation<PlBeliefSet, PlFormula>> ProbabilityDistribution<S>	ProbabilityDistribution.getUniformDistribution(Set<S> interpretations, Signature sig)	Returns the uniform distribution on the given interpretations.

Methods in org.tweetyproject.logics.pcl.semantics with parameters of type Interpretation

Modifier and Type	Method	Description
Probability	ProbabilityDistribution.probability(Interpretation<PlBeliefSet, PlFormula> w)	Gets the probability of the given Herbrand interpretation (this is just an alias for get(Object o).

Uses of Interpretation in org.tweetyproject.logics.pl.sat

Methods in org.tweetyproject.logics.pl.sat that return Interpretation

Modifier and Type	Method	Description
Interpretation<PlBeliefSet, PlFormula>	CmdLineSatSolver.getWitness(Collection<PlFormula> formulas, Map<Proposition, Integer> prop_index, Map<Integer, Proposition> prop_inverted_index, List<String> additional_clauses)
Interpretation<PlBeliefSet, PlFormula>	DimacsMaxSatSolver.getWitness(Collection<PlFormula> formulas)
Interpretation<PlBeliefSet, PlFormula>	DimacsMaxSatSolver.getWitness(Collection<PlFormula> hardConstraints, Map<PlFormula, Integer> softConstraints)	interpretation of formulas
abstract Interpretation<PlBeliefSet, PlFormula>	DimacsMaxSatSolver.getWitness(Collection<PlFormula> hardConstraints, Map<PlFormula, Integer> softConstraints, Map<Proposition, Integer> prop_index, Map<Integer, Proposition> prop_inverted_index)	Return the interpetation
Interpretation<PlBeliefSet, PlFormula>	DimacsSatSolver.getWitness(Collection<PlFormula> formulas)	If the collection of formulas is consistent this method returns some model of it or, if it is inconsistent, null.
abstract Interpretation<PlBeliefSet, PlFormula>	DimacsSatSolver.getWitness(Collection<PlFormula> formulas, Map<Proposition, Integer> prop_index, Map<Integer, Proposition> prop_inverted_index, List<String> additional_clauses)	If the collection of formulas is consistent this method returns some model of it or, if it is inconsistent, null.
abstract Interpretation<PlBeliefSet, PlFormula>	MaxSatSolver.getWitness(Collection<PlFormula> hardConstraints, Map<PlFormula, Integer> softConstraints)	Returns an interpretation with maximal weight on the soft constraints (or null if the hard constraints are not satisfiable)
Interpretation<PlBeliefSet, PlFormula>	OpenWboSolver.getWitness(Collection<PlFormula> hardConstraints, Map<PlFormula, Integer> softConstraints, Map<Proposition, Integer> prop_index, Map<Integer, Proposition> prop_inverted_index)
Interpretation<PlBeliefSet, PlFormula>	Sat4jSolver.getWitness(Collection<PlFormula> formulas, Map<Proposition, Integer> prop_index, Map<Integer, Proposition> prop_inverted_index, List<String> additional_clauses)
abstract Interpretation<PlBeliefSet, PlFormula>	SatSolver.getWitness(Collection<PlFormula> formulas)	If the collection of formulas is consistent this method returns some model of it or, if it is inconsistent, null.
Interpretation<PlBeliefSet, PlFormula>	SatSolver.getWitness(BeliefSet<PlFormula, ?> bs)
Interpretation<PlBeliefSet, PlFormula>	SatSolver.getWitness(PlFormula formula)
Interpretation<PlBeliefSet, PlFormula>	SimpleDpllSolver.getWitness(Collection<PlFormula> formulas)

Methods in org.tweetyproject.logics.pl.sat with parameters of type Interpretation

Modifier and Type	Method	Description
static int	MaxSatSolver.costOf(Interpretation<PlBeliefSet, PlFormula> interpretation, Collection<PlFormula> hardConstraints, Map<PlFormula, Integer> softConstraints)	Returns the cost of the given interpretation, i.e.

Uses of Interpretation in org.tweetyproject.logics.pl.semantics

Classes in org.tweetyproject.logics.pl.semantics that implement Interpretation

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 Interpretation in org.tweetyproject.logics.qbf.semantics

Classes in org.tweetyproject.logics.qbf.semantics that implement Interpretation

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

Uses of Interpretation in org.tweetyproject.logics.rcl.semantics

Classes in org.tweetyproject.logics.rcl.semantics that implement Interpretation

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 Interpretation in org.tweetyproject.logics.rdl.semantics

Classes in org.tweetyproject.logics.rdl.semantics that implement Interpretation

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

Uses of Interpretation in org.tweetyproject.logics.rpcl.semantics

Classes in org.tweetyproject.logics.rpcl.semantics with type parameters of type Interpretation

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

Classes in org.tweetyproject.logics.rpcl.semantics that implement Interpretation

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.

Method parameters in org.tweetyproject.logics.rpcl.semantics with type arguments of type Interpretation

Modifier and Type	Method	Description
abstract Statement	AbstractRpclSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, Map<Interpretation<FolBeliefSet, FolFormula>, FloatVariable> worlds2vars)
Statement	AggregatingSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, Map<Interpretation<FolBeliefSet, FolFormula>, FloatVariable> worlds2vars)
Statement	AveragingSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, Map<Interpretation<FolBeliefSet, FolFormula>, FloatVariable> worlds2vars)
Statement	RpclSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, Map<Interpretation<FolBeliefSet, FolFormula>, FloatVariable> worlds2vars)	Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt.

Uses of Interpretation in org.tweetyproject.logics.translators.adfconditional

Classes in org.tweetyproject.logics.translators.adfconditional that implement Interpretation

Modifier and Type	Class	Description
class	FourValuedWorld	This class models a four-valued interpretation for propositional logic Formulas are interpreted using completions Every atom is assigned one of the four truth values: TRUE, FALSE, UNDECIDED, INCONSISTENT
class	ThreeValuedWorld	This class models a three-valued interpretation for propositional logic Formulas are interpreted using completions Every atom is assigned one of the three truth values: TRUE, FALSE, UNDECIDED.

Uses of Interpretation in org.tweetyproject.logics.translators.adfrevision

Classes in org.tweetyproject.logics.translators.adfrevision that implement Interpretation

Modifier and Type	Class	Description
class	PriestWorldAdapted	This class models a three-valued interpretation for propositional logic from Priest's three valued logic (3VL) [Priest, G.: Logic of paradox.
class	RankingFunctionThreeValued	A ranking function (or ordinal conditional function, OCF) that maps possible worlds of a propositional language to integers.

Uses of Interpretation in org.tweetyproject.lp.asp.semantics

Classes in org.tweetyproject.lp.asp.semantics that implement Interpretation

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.