Uses of Interface
net.sf.tweety.commons.Interpretation

Packages that use Interpretation

Package	Description
net.sf.tweety.agents.dialogues
net.sf.tweety.arg.dung.ldo.semantics
net.sf.tweety.arg.dung.semantics
net.sf.tweety.arg.social.semantics
net.sf.tweety.commons
net.sf.tweety.commons.analysis
net.sf.tweety.logics.cl.semantics
net.sf.tweety.logics.commons.analysis
net.sf.tweety.logics.el.semantics
net.sf.tweety.logics.fol.semantics
net.sf.tweety.logics.pcl.semantics
net.sf.tweety.logics.pl
net.sf.tweety.logics.pl.sat
net.sf.tweety.logics.pl.semantics
net.sf.tweety.logics.rcl.semantics
net.sf.tweety.logics.rpcl
net.sf.tweety.logics.rpcl.semantics

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

Classes in net.sf.tweety.agents.dialogues that implement Interpretation

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

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

Classes in net.sf.tweety.arg.dung.ldo.semantics that implement Interpretation

Modifier and Type	Class and 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 net.sf.tweety.arg.dung.semantics

Classes in net.sf.tweety.arg.dung.semantics that implement Interpretation

Modifier and Type	Class and Description
class	AbstractArgumentationInterpretation This abstract class acts as a common ancestor for interpretations to abstract argumentation frameworks.
class	ArgumentRanking This abstract class is the common ancestor for semantical approaches to argument ranking, i.e.
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	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.
class	StratifiedLabeling This class implements stratified labelings as in [Thimm, Kern-Isberner, 2013].

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

Classes in net.sf.tweety.arg.social.semantics that implement Interpretation

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

Uses of Interpretation in net.sf.tweety.commons

Classes in net.sf.tweety.commons with type parameters of type Interpretation

Modifier and Type	Interface and Description
interface	InterpretationIterator<T extends Interpretation> An iterator over interpretations.

Classes in net.sf.tweety.commons that implement Interpretation

Modifier and Type	Class and Description
class	AbstractInterpretation An abstract interpretation for some logical language.
class	InterpretationSet<T extends Formula> This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.

Methods in net.sf.tweety.commons that return Interpretation

Modifier and Type	Method and Description
abstract Interpretation	EntailmentRelation.getWitness(java.util.Collection<T> formulas) If the collection of formulas is consistent this method returns some model of it or, if it is inconsistent, null.

Uses of Interpretation in net.sf.tweety.commons.analysis

Classes in net.sf.tweety.commons.analysis with type parameters of type Interpretation

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

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

Classes in net.sf.tweety.logics.cl.semantics that implement Interpretation

Modifier and Type	Class and 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 net.sf.tweety.logics.commons.analysis

Classes in net.sf.tweety.logics.commons.analysis with type parameters of type Interpretation

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

Methods in net.sf.tweety.logics.commons.analysis that return Interpretation

Modifier and Type	Method and Description
Interpretation	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	ConsistencyWitnessProvider.getWitness(java.util.Collection<S> formulas) If the collection of formulas is consistent this method returns some model of it or, if it is inconsistent, null.
Interpretation	ConsistencyWitnessProvider.getWitness(S formula) If the formula is consistent this method returns some model of it or, if it is inconsistent, null.

Methods in net.sf.tweety.logics.commons.analysis that return types with arguments of type Interpretation

Modifier and Type	Method and Description
private java.util.Collection<Interpretation>	HsInconsistencyMeasure.getHittingSet(java.util.Collection<S> formulas, int card, java.util.Collection<Interpretation> interpretations) Determines a hitting set of the given cardinality.

Method parameters in net.sf.tweety.logics.commons.analysis with type arguments of type Interpretation

Modifier and Type	Method and Description
private java.util.Collection<Interpretation>	HsInconsistencyMeasure.getHittingSet(java.util.Collection<S> formulas, int card, java.util.Collection<Interpretation> interpretations) Determines a hitting set of the given cardinality.
private boolean	HsInconsistencyMeasure.isHittingSet(java.util.Collection<S> formulas, java.util.Collection<Interpretation> candidate) Checks whether the given candidate is a hitting set.

Uses of Interpretation in net.sf.tweety.logics.el.semantics

Classes in net.sf.tweety.logics.el.semantics that implement Interpretation

Modifier and Type	Class and Description
class	KripkeModel This class models a Kripke model, i.e.

Fields in net.sf.tweety.logics.el.semantics with type parameters of type Interpretation

Modifier and Type	Field and Description
private java.util.Set<Interpretation>	KripkeModel.possibleWorlds The possible worlds of this model.
private java.util.Set<Pair<Interpretation,Interpretation>>	AccessibilityRelation.tuples The actual relation
private java.util.Set<Pair<Interpretation,Interpretation>>	AccessibilityRelation.tuples The actual relation

Methods in net.sf.tweety.logics.el.semantics that return types with arguments of type Interpretation

Modifier and Type	Method and Description
java.util.Set<Interpretation>	AccessibilityRelation.getNodes() TODO
java.util.Set<Interpretation>	AccessibilityRelation.getSuccessors(Interpretation i) TODO

Methods in net.sf.tweety.logics.el.semantics with parameters of type Interpretation

Modifier and Type	Method and Description
java.util.Set<Interpretation>	AccessibilityRelation.getSuccessors(Interpretation i) TODO

Constructor parameters in net.sf.tweety.logics.el.semantics with type arguments of type Interpretation

Constructor and Description
KripkeModel(java.util.Set<Interpretation> possibleWorlds, AccessibilityRelation accRelation) Creates a new Kripke model.

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

Classes in net.sf.tweety.logics.fol.semantics that implement Interpretation

Modifier and Type	Class and 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 net.sf.tweety.logics.pcl.semantics

Classes in net.sf.tweety.logics.pcl.semantics with type parameters of type Interpretation

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

Classes in net.sf.tweety.logics.pcl.semantics that implement Interpretation

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

Methods in net.sf.tweety.logics.pcl.semantics with type parameters of type Interpretation

Modifier and Type	Method and Description
static <S extends Interpretation> 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> ProbabilityDistribution<S>	ProbabilityDistribution.getUniformDistribution(java.util.Set<S> interpretations, Signature sig) Returns the uniform distribution on the given interpretations.

Methods in net.sf.tweety.logics.pcl.semantics with parameters of type Interpretation

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

Uses of Interpretation in net.sf.tweety.logics.pl

Methods in net.sf.tweety.logics.pl that return Interpretation

Modifier and Type	Method and Description
Interpretation	ClassicalEntailment.getWitness(java.util.Collection<PropositionalFormula> formulas)

Uses of Interpretation in net.sf.tweety.logics.pl.sat

Methods in net.sf.tweety.logics.pl.sat that return Interpretation

Modifier and Type	Method and Description
Interpretation	SatSolver.getWitness(BeliefSet<PropositionalFormula> bs)
abstract Interpretation	SatSolver.getWitness(java.util.Collection<PropositionalFormula> formulas) If the collection of formulas is consistent this method returns some model of it or, if it is inconsistent, null.
Interpretation	Sat4jSolver.getWitness(java.util.Collection<PropositionalFormula> formulas)
Interpretation	LingelingSolver.getWitness(java.util.Collection<PropositionalFormula> formulas)
Interpretation	SatSolver.getWitness(PropositionalFormula formula)

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

Classes in net.sf.tweety.logics.pl.semantics that implement Interpretation

Modifier and Type	Class and 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 net.sf.tweety.logics.rcl.semantics

Classes in net.sf.tweety.logics.rcl.semantics that implement Interpretation

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

Uses of Interpretation in net.sf.tweety.logics.rpcl

Classes in net.sf.tweety.logics.rpcl that implement Interpretation

Modifier and Type	Class and Description
class	CondensedProbabilityDistribution Instances of this class represent condensed probability distributions, rf.
class	ReferenceWorld Instances of this class represent reference worlds, i.e.

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

Classes in net.sf.tweety.logics.rpcl.semantics that implement Interpretation

Modifier and Type	Class and Description
class	RpclProbabilityDistribution 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 net.sf.tweety.logics.rpcl.semantics with type arguments of type Interpretation

Modifier and Type	Method and Description
Statement	RpclSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<? extends Interpretation,FloatVariable> worlds2vars) Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt.
Statement	AveragingSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<? extends Interpretation,FloatVariable> worlds2vars)
Statement	AggregatingSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<? extends Interpretation,FloatVariable> worlds2vars)
abstract Statement	AbstractRpclSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<? extends Interpretation,FloatVariable> worlds2vars)
protected Term	AbstractRpclSemantics.probabilityTerm(FolFormula f, java.util.Map<? extends Interpretation,FloatVariable> worlds2vars) Constructs the term expressing the probability of the given formula "f" wrt.