Uses of Interface
net.sf.tweety.commons.Interpretation
-
-
-
Uses of Interpretation in net.sf.tweety.agents.dialogues
Classes in net.sf.tweety.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 net.sf.tweety.arg.aba.semantics
Classes in net.sf.tweety.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 net.sf.tweety.arg.adf.sat
Methods in net.sf.tweety.arg.adf.sat that return Interpretation Modifier and Type Method Description Interpretation<PlBeliefSet,PlFormula>
IncrementalSatSolver. getWitness(java.util.Collection<PlFormula> formulas)
Interpretation<PlBeliefSet,PlFormula>
SimpleIncrementalSatSolver. getWitness(java.util.Collection<PlFormula> formulas)
Interpretation<PlBeliefSet,PlFormula>
AsynchronousCloseSatSolverState. witness()
Interpretation<PlBeliefSet,PlFormula>
AsynchronousSatSolverState. witness()
Interpretation<PlBeliefSet,PlFormula>
SatSolverState. witness()
Returns a witness of the satisfiability of all the clauses in the state, ornull
if the state is unsatisfiable.Interpretation<PlBeliefSet,PlFormula>
SimpleSatSolverState. witness()
-
Uses of Interpretation in net.sf.tweety.arg.adf.semantics.interpretation
Methods in net.sf.tweety.arg.adf.semantics.interpretation with parameters of type Interpretation Modifier and Type Method Description static Interpretation
Interpretation. fromWitness(Interpretation<PlBeliefSet,PlFormula> witness, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)
Constructs a three-valued ADF interpretation from a witness of a propositional sat encoding. -
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 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 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 Interpretation in net.sf.tweety.arg.rankings.semantics
Classes in net.sf.tweety.arg.rankings.semantics that implement Interpretation 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 Interpretation in net.sf.tweety.arg.social.semantics
Classes in net.sf.tweety.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 net.sf.tweety.commons
Classes in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.commons.analysis
Classes in net.sf.tweety.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 net.sf.tweety.logics.cl.semantics
Classes in net.sf.tweety.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 net.sf.tweety.logics.commons.analysis
Classes in net.sf.tweety.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 net.sf.tweety.logics.commons.analysis that return Interpretation Modifier and Type Method Description Interpretation<B,S>
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<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 net.sf.tweety.logics.commons.analysis with type arguments of type Interpretation 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 net.sf.tweety.logics.dl.semantics
Classes in net.sf.tweety.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 net.sf.tweety.logics.fol.semantics
Classes in net.sf.tweety.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 net.sf.tweety.logics.ml.semantics
Classes in net.sf.tweety.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 net.sf.tweety.logics.ml.semantics that return types with arguments of type Interpretation Modifier and Type Method Description java.util.Set<Interpretation<FolBeliefSet,FolFormula>>
AccessibilityRelation. getNodes()
Returns all interpretations of the accessibility relation.java.util.Set<Interpretation<FolBeliefSet,FolFormula>>
AccessibilityRelation. getSuccessors(Interpretation<FolBeliefSet,FolFormula> i)
Returns all interpretations that are accessible to a given interpretation i.Methods in net.sf.tweety.logics.ml.semantics with parameters of type Interpretation Modifier and Type Method Description java.util.Set<Interpretation<FolBeliefSet,FolFormula>>
AccessibilityRelation. getSuccessors(Interpretation<FolBeliefSet,FolFormula> i)
Returns all interpretations that are accessible to a given interpretation i.Method parameters in net.sf.tweety.logics.ml.semantics with type arguments of type Interpretation Modifier and Type Method Description boolean
MlHerbrandInterpretation. satisfies(Formula formula, java.util.Set<Interpretation<FolBeliefSet,FolFormula>> successors)
Checks whether this Herbrand interpretation satisfies the given formula.Constructor parameters in net.sf.tweety.logics.ml.semantics with type arguments of type Interpretation Constructor Description AccessibilityRelation(java.util.Set<Pair<Interpretation<FolBeliefSet,FolFormula>,Interpretation<FolBeliefSet,FolFormula>>> tuples)
Constructs a new accessibility relation.AccessibilityRelation(java.util.Set<Pair<Interpretation<FolBeliefSet,FolFormula>,Interpretation<FolBeliefSet,FolFormula>>> tuples)
Constructs a new accessibility relation.KripkeModel(java.util.Set<? extends Interpretation<FolBeliefSet,FolFormula>> possibleWorlds, AccessibilityRelation accRelation)
Creates a new Kripke model. -
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 Description class
ProbabilityDistribution<T extends Interpretation<PlBeliefSet,PlFormula>>
This class represents a probability distribution on some logical languageClasses in net.sf.tweety.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 languageMethods in net.sf.tweety.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(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 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 net.sf.tweety.logics.pl.sat
Methods in net.sf.tweety.logics.pl.sat that return Interpretation Modifier and Type Method Description Interpretation<PlBeliefSet,PlFormula>
LingelingSolver. getWitness(java.util.Collection<PlFormula> formulas)
Interpretation<PlBeliefSet,PlFormula>
MaxSatSolver. getWitness(java.util.Collection<PlFormula> formulas)
abstract Interpretation<PlBeliefSet,PlFormula>
MaxSatSolver. getWitness(java.util.Collection<PlFormula> hardConstraints, java.util.Map<PlFormula,java.lang.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(java.util.Collection<PlFormula> hardConstraints, java.util.Map<PlFormula,java.lang.Integer> softConstraints)
Interpretation<PlBeliefSet,PlFormula>
Sat4jSolver. getWitness(java.util.Collection<PlFormula> formulas)
abstract Interpretation<PlBeliefSet,PlFormula>
SatSolver. getWitness(java.util.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(java.util.Collection<PlFormula> formulas)
Methods in net.sf.tweety.logics.pl.sat with parameters of type Interpretation Modifier and Type Method Description static int
MaxSatSolver. costOf(Interpretation<PlBeliefSet,PlFormula> interpretation, java.util.Collection<PlFormula> hardConstraints, java.util.Map<PlFormula,java.lang.Integer> softConstraints)
Returns the cost of the given interpretation, i.e. -
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 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.qbf.semantics
Classes in net.sf.tweety.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 net.sf.tweety.logics.rcl.semantics
Classes in net.sf.tweety.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 net.sf.tweety.logics.rdl.semantics
Classes in net.sf.tweety.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 net.sf.tweety.logics.rpcl.semantics
Classes in net.sf.tweety.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 net.sf.tweety.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. -
Uses of Interpretation in net.sf.tweety.lp.asp.semantics
Classes in net.sf.tweety.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.
-