Uses of Class
org.tweetyproject.logics.rpcl.semantics.ReferenceWorld
Package
Description
-
Uses of ReferenceWorld in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
Modifier and TypeMethodDescriptionstatic ReferenceWorld
RpclCondensedProbabilityDistributionParser.Interpretation(FolSignature signature)
Modifier and TypeMethodDescriptionstatic Pair<ReferenceWorld,Probability>
RpclCondensedProbabilityDistributionParser.ProbabilityAssignment(FolSignature signature)
-
Uses of ReferenceWorld in org.tweetyproject.logics.rpcl.semantics
Modifier and TypeMethodDescriptionstatic ReferenceWorld
ReferenceWorld.getMapping(HerbrandInterpretation i, Set<Predicate> predicates, Set<Set<Constant>> constants)
Determines the reference world of the given interpretation wrt.Modifier and TypeMethodDescriptionstatic Set<ReferenceWorld>
Determines the set of all reference worlds wrt.CondensedProbabilityDistribution.toProbabilityDistribution()
Converts this condensed probability distribution into an ordinary probability distribution.