Uses of Class
org.tweetyproject.logics.pl.semantics.PossibleWorld
Package
Description
-
Uses of PossibleWorld in org.tweetyproject.logics.cl.semantics
Modifier and TypeMethodDescriptionRankingFunction.getPlausibleWorlds()
Returns all interpretations that are mapped to 0RankingFunction.getPossibleWorlds()
Returns all interpretations that are mapped to a rank unequal to INFINITY.Modifier and TypeMethodDescriptionstatic boolean
RankingFunction.falsifies(PossibleWorld w, Conditional c)
Checks whether the given possible world w falsifies the given conditional (B|A), i.e.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
Modifier and TypeMethodDescriptionabstract ProbabilityDistribution<PossibleWorld>
AbstractPclReasoner.getModel(PclBeliefSet beliefbase)
DefaultMeReasoner.getModel(PclBeliefSet beliefbase)
DefaultMeReasoner.getModel(PclBeliefSet bs, PlSignature signature)
Computes the ME-distribution this reasoner bases on.GeneralizedMeReasoner.getModel(PclBeliefSet beliefbase)
GeneralizedMeReasoner.getModel(PclBeliefSet bs, PlSignature signature)
Computes the ME-distribution this reasoner bases on.abstract Collection<ProbabilityDistribution<PossibleWorld>>
AbstractPclReasoner.getModels(PclBeliefSet bbase)
DefaultMeReasoner.getModels(PclBeliefSet bbase)
GeneralizedMeReasoner.getModels(PclBeliefSet bbase)
-
Uses of PossibleWorld in org.tweetyproject.logics.pcl.util
Modifier and TypeMethodDescriptionstatic 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
Modifier and TypeMethodDescriptiondouble
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
Modifier and TypeMethodDescriptionNicePossibleWorld.getOptimizedWorld()
PossibleWorldIterator.next()
Modifier and TypeMethodDescriptionstatic 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.PossibleWorldIterator.reset()
PossibleWorldIterator.reset(Collection<? extends Formula> formulas)
-
Uses of PossibleWorld in org.tweetyproject.logics.pl.syntax
Modifier and TypeMethodDescriptionConjunction.getModels(PlSignature sig)
Contradiction.getModels(PlSignature sig)
Disjunction.getModels(PlSignature sig)
Equivalence.getModels(PlSignature sig)
ExclusiveDisjunction.getModels(PlSignature sig)
Implication.getModels(PlSignature sig)
Negation.getModels(PlSignature sig)
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.Proposition.getModels(PlSignature sig)
Tautology.getModels(PlSignature sig)
-
Uses of PossibleWorld in org.tweetyproject.logics.qbf.semantics
-
Uses of PossibleWorld in org.tweetyproject.logics.qbf.syntax
Modifier and TypeMethodDescriptionExistsQuantifiedFormula.getModels(PlSignature sig)
ForallQuantifiedFormula.getModels(PlSignature sig)
-
Uses of PossibleWorld in org.tweetyproject.logics.translators.adfcl
Modifier and TypeMethodDescriptionIndecision.getModels(PlSignature sig)
WeakNegation.getModels(PlSignature sig)