Uses of Class
org.tweetyproject.logics.pl.semantics.PossibleWorld
-
-
-
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 java.util.Set<PossibleWorld>
RankingFunction. getPlausibleWorlds()
Returns all interpretations that are mapped to 0java.util.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.java.lang.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, java.lang.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 java.util.Collection<ProbabilityDistribution<PossibleWorld>>
AbstractPclReasoner. getModels(PclBeliefSet bbase)
java.util.Collection<ProbabilityDistribution<PossibleWorld>>
DefaultMeReasoner. getModels(PclBeliefSet bbase)
java.util.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, java.util.Set<PossibleWorld> worlds)
Create constraint matrix for a set of PCL conditionals over a set of possible worlds.static void
MatlabUtils. printAntecedenceVerificationMatrix(java.io.PrintStream out, PclBeliefSet beliefSet, java.util.Set<PossibleWorld> worlds)
Print antecedence verification matrix (1 if antecedence is satisfied, 0 otherwise)static void
MatlabUtils. printConditionalVerificationMatrix(java.io.PrintStream out, PclBeliefSet beliefSet, java.util.Set<PossibleWorld> worlds)
Print conditional verification matrix (1 if antecedence and consequence are satisfied, 0 otherwise)static void
MatlabUtils. printConstraintMatrix(java.io.PrintStream out, PclBeliefSet beliefSet, java.util.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 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()
PossibleWorld
PossibleWorldIterator. next()
Methods in org.tweetyproject.logics.pl.semantics that return types with arguments of type PossibleWorld Modifier and Type Method Description static java.util.Set<PossibleWorld>
PossibleWorld. getAllPossibleWorlds(java.util.Collection<Proposition> signature)
Returns the set of all possible worlds for the given propositional signature.static java.util.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(java.util.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 java.util.Set<PossibleWorld>
CardinalityConstraint. getModels(PlSignature sig)
java.util.Set<PossibleWorld>
Conjunction. getModels(PlSignature sig)
java.util.Set<PossibleWorld>
Contradiction. getModels(PlSignature sig)
java.util.Set<PossibleWorld>
Disjunction. getModels(PlSignature sig)
java.util.Set<PossibleWorld>
Equivalence. getModels(PlSignature sig)
java.util.Set<PossibleWorld>
ExclusiveDisjunction. getModels(PlSignature sig)
java.util.Set<PossibleWorld>
Implication. getModels(PlSignature sig)
java.util.Set<PossibleWorld>
Negation. getModels(PlSignature sig)
java.util.Set<PossibleWorld>
PlFormula. getModels()
Returns the set of models of this formula wrt.abstract java.util.Set<PossibleWorld>
PlFormula. getModels(PlSignature sig)
Returns the set of models of this formula wrt.java.util.Set<PossibleWorld>
Proposition. getModels(PlSignature sig)
java.util.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 java.util.Set<PossibleWorld>
ExistsQuantifiedFormula. getModels(PlSignature sig)
java.util.Set<PossibleWorld>
ForallQuantifiedFormula. getModels(PlSignature sig)
-