Uses of Class
org.tweetyproject.logics.pl.semantics.PossibleWorld

Packages that use PossibleWorld

Package	Description
org.tweetyproject.arg.dung.learning.util
org.tweetyproject.logics.cl.semantics
org.tweetyproject.logics.pcl.reasoner
org.tweetyproject.logics.pcl.util
org.tweetyproject.logics.pl.analysis
org.tweetyproject.logics.pl.semantics
org.tweetyproject.logics.pl.syntax
org.tweetyproject.logics.qbf.semantics
org.tweetyproject.logics.qbf.syntax
org.tweetyproject.logics.translators.adfconditional
org.tweetyproject.logics.translators.adfpossibilistic
org.tweetyproject.logics.translators.adfrevision

Uses of PossibleWorld in org.tweetyproject.arg.dung.learning.util

Methods in org.tweetyproject.arg.dung.learning.util that return PossibleWorld

Modifier and Type	Method	Description
static PossibleWorld	ModelComputation.getMinModelOfDNF(AssociativePlFormula condition)	compute a minimal model of the given formula in DNF
static PossibleWorld	ModelComputation.getModelOfConjunction(Conjunction condition)	compute the model of a formula in atomic CNF e.g.

Methods in org.tweetyproject.arg.dung.learning.util that return types with arguments of type PossibleWorld

Modifier and Type	Method	Description
static Collection<PossibleWorld>	ModelComputation.getModelsOfDNF(AssociativePlFormula condition)	compute all models of a formula in disjunctive normal form

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

Methods in org.tweetyproject.logics.cl.semantics that return types with arguments of type PossibleWorld

Modifier and Type	Method	Description
Set<PossibleWorld>	RankingFunction.getPlausibleWorlds()	Returns all interpretations that are mapped to 0
Set<PossibleWorld>	RankingFunction.getPossibleWorlds()	Returns all interpretations that are mapped to a rank unequal to INFINITY.

Methods in org.tweetyproject.logics.cl.semantics with parameters of type PossibleWorld

Modifier and Type	Method	Description
static boolean	RankingFunction.falsifies(PossibleWorld w, Conditional c)	Checks whether the given possible world w falsifies the given conditional (B|A), i.e.
Integer	RankingFunction.rank(PossibleWorld w)	Gets the rank of the given possible world.
static boolean	RankingFunction.satisfies(PossibleWorld w, Conditional c)	Checks whether the given possible world w satisfies the given conditional (B|A), i.e.
void	RankingFunction.setRank(PossibleWorld w, Integer value)	Sets the rank for the given possible world.
static boolean	RankingFunction.verifies(PossibleWorld w, Conditional c)	Checks whether the given possible world w verifies the given conditional (B|A), i.e.

Uses of PossibleWorld in org.tweetyproject.logics.pcl.reasoner

Methods in org.tweetyproject.logics.pcl.reasoner that return types with arguments of type PossibleWorld

Modifier and Type	Method	Description
abstract ProbabilityDistribution<PossibleWorld>	AbstractPclReasoner.getModel(PclBeliefSet beliefbase)
ProbabilityDistribution<PossibleWorld>	DefaultMeReasoner.getModel(PclBeliefSet beliefbase)
ProbabilityDistribution<PossibleWorld>	DefaultMeReasoner.getModel(PclBeliefSet bs, PlSignature signature)	Computes the ME-distribution this reasoner bases on.
ProbabilityDistribution<PossibleWorld>	GeneralizedMeReasoner.getModel(PclBeliefSet beliefbase)
ProbabilityDistribution<PossibleWorld>	GeneralizedMeReasoner.getModel(PclBeliefSet bs, PlSignature signature)	Computes the ME-distribution this reasoner bases on.
abstract Collection<ProbabilityDistribution<PossibleWorld>>	AbstractPclReasoner.getModels(PclBeliefSet bbase)
Collection<ProbabilityDistribution<PossibleWorld>>	DefaultMeReasoner.getModels(PclBeliefSet bbase)
Collection<ProbabilityDistribution<PossibleWorld>>	GeneralizedMeReasoner.getModels(PclBeliefSet bbase)

Uses of PossibleWorld in org.tweetyproject.logics.pcl.util

Method parameters in org.tweetyproject.logics.pcl.util with type arguments of type PossibleWorld

Modifier and Type	Method	Description
static org.ojalgo.matrix.PrimitiveMatrix	OjAlgoPclUtils.createConstraintMatrix(PclBeliefSet beliefSet, Set<PossibleWorld> worlds)	Create constraint matrix for a set of PCL conditionals over a set of possible worlds.
static void	MatlabUtils.printAntecedenceVerificationMatrix(PrintStream out, PclBeliefSet beliefSet, Set<PossibleWorld> worlds)	Print antecedence verification matrix (1 if antecedence is satisfied, 0 otherwise)
static void	MatlabUtils.printConditionalVerificationMatrix(PrintStream out, PclBeliefSet beliefSet, Set<PossibleWorld> worlds)	Print conditional verification matrix (1 if antecedence and consequence are satisfied, 0 otherwise)
static void	MatlabUtils.printConstraintMatrix(PrintStream out, PclBeliefSet beliefSet, Set<PossibleWorld> worlds)	Print constraint matrix for belief set and possible worlds to output stream.

Uses of PossibleWorld in org.tweetyproject.logics.pl.analysis

Methods in org.tweetyproject.logics.pl.analysis that return types with arguments of type PossibleWorld

Modifier and Type	Method	Description
Set<PossibleWorld>	MinimalModelProvider.getMinModels(C f)	Constructor
Set<PossibleWorld>	SimpleMinimalModelProvider.getMinModels(PlFormula f)

Methods in org.tweetyproject.logics.pl.analysis with parameters of type PossibleWorld

Modifier and Type	Method	Description
double	DalalDistance.distance(PossibleWorld a, PossibleWorld b)
abstract double	PossibleWorldDistance.distance(PossibleWorld a, PossibleWorld b)
double	PossibleWorldDistance.distance(PlFormula f, PossibleWorld b)

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

Methods in org.tweetyproject.logics.pl.semantics that return PossibleWorld

Modifier and Type	Method	Description
PossibleWorld	NicePossibleWorld.getOptimizedWorld()	Return The PossibleWorld instance that is used for satification tests etc.
PossibleWorld	PossibleWorldIterator.next()

Methods in org.tweetyproject.logics.pl.semantics that return types with arguments of type PossibleWorld

Modifier and Type	Method	Description
static Set<PossibleWorld>	PossibleWorld.getAllPossibleWorlds(Collection<Proposition> signature)	Returns the set of all possible worlds for the given propositional signature.
static Set<PossibleWorld>	PossibleWorld.getAllPossibleWorlds(PlSignature signature)	Returns the set of all possible worlds for the given propositional signature.
InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>	PossibleWorldIterator.reset()
InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>	PossibleWorldIterator.reset(Collection<? extends Formula> formulas)
InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>	PossibleWorldIterator.reset(Signature sig)

Methods in org.tweetyproject.logics.pl.semantics with parameters of type PossibleWorld

Modifier and Type	Method	Description
int	PossibleWorld.compareTo(PossibleWorld arg0)

Uses of PossibleWorld in org.tweetyproject.logics.pl.syntax

Methods in org.tweetyproject.logics.pl.syntax that return types with arguments of type PossibleWorld

Modifier and Type	Method	Description
Set<PossibleWorld>	Conjunction.getModels(PlSignature sig)
Set<PossibleWorld>	Contradiction.getModels(PlSignature sig)
Set<PossibleWorld>	Disjunction.getModels(PlSignature sig)
Set<PossibleWorld>	Equivalence.getModels(PlSignature sig)
Set<PossibleWorld>	ExclusiveDisjunction.getModels(PlSignature sig)
Set<PossibleWorld>	Implication.getModels(PlSignature sig)
Set<PossibleWorld>	Negation.getModels(PlSignature sig)
Set<PossibleWorld>	PlFormula.getModels()	Returns the set of models of this formula wrt.
abstract Set<PossibleWorld>	PlFormula.getModels(PlSignature sig)	Returns the set of models of this formula wrt.
Set<PossibleWorld>	Proposition.getModels(PlSignature sig)
Set<PossibleWorld>	Tautology.getModels(PlSignature sig)

Uses of PossibleWorld in org.tweetyproject.logics.qbf.semantics

Methods in org.tweetyproject.logics.qbf.semantics with parameters of type PossibleWorld

Modifier and Type	Method	Description
int	QbPossibleWorld.compareTo(PossibleWorld o)

Uses of PossibleWorld in org.tweetyproject.logics.qbf.syntax

Methods in org.tweetyproject.logics.qbf.syntax that return types with arguments of type PossibleWorld

Modifier and Type	Method	Description
Set<PossibleWorld>	ExistsQuantifiedFormula.getModels(PlSignature sig)
Set<PossibleWorld>	ForallQuantifiedFormula.getModels(PlSignature sig)

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

Methods in org.tweetyproject.logics.translators.adfconditional that return types with arguments of type PossibleWorld

Modifier and Type	Method	Description
Collection<PossibleWorld>	ThreeValuedWorld.getTwoValuedSet()	This method calculates a collection of 2-valued worlds based on this 3-valued world UNDECIDED atoms are replaced by FALSE or TRUE
Collection<Collection<PossibleWorld>>	FourValuedWorld.getTwoValuedSetOfSets(Collection<ThreeValuedWorld> coll3V)	This method takes a set of 3-valued worlds and returns a set of sets of 2-valued worlds where undecided atoms are replaced by False or True

Uses of PossibleWorld in org.tweetyproject.logics.translators.adfpossibilistic

Methods in org.tweetyproject.logics.translators.adfpossibilistic that return types with arguments of type PossibleWorld

Modifier and Type	Method	Description
Set<PossibleWorld>	PossibilityDistribution.getPlausibleWorlds()	Returns all interpretations that are mapped to 1
Set<PossibleWorld>	PossibilityDistribution.getPossibleWorlds()	Returns all interpretations that are mapped to a possibility unequal to zero.

Methods in org.tweetyproject.logics.translators.adfpossibilistic with parameters of type PossibleWorld

Modifier and Type	Method	Description
Double	PossibilityDistribution.getPossibility(PossibleWorld w)	Gets the possibility of the given possible world.
void	PossibilityDistribution.setPossibility(PossibleWorld w, Double value)	Sets the possibility for the given possible world.

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

Methods in org.tweetyproject.logics.translators.adfrevision that return types with arguments of type PossibleWorld

Modifier and Type	Method	Description
Set<PossibleWorld>	Indecision.getModels(PlSignature sig)
Set<PossibleWorld>	WeakNegation.getModels(PlSignature sig)