Uses of Class
org.tweetyproject.logics.rpcl.syntax.RpclBeliefSet
Package
Description
-
Uses of RpclBeliefSet in org.tweetyproject.logics.rpcl.parser
-
Uses of RpclBeliefSet in org.tweetyproject.logics.rpcl.reasoner
Modifier and TypeMethodDescriptionRpclMeReasoner.getModel
(RpclBeliefSet bbase) RpclMeReasoner.getModel
(RpclBeliefSet kb, FolSignature signature) Determines the ME distribution of the given knowlege base wrt.RpclMeReasoner.getModels
(RpclBeliefSet bbase) RpclMeReasoner.query
(RpclBeliefSet beliefbase, FolFormula formula) RpclMeReasoner.query
(RpclBeliefSet beliefbase, FolFormula query, FolSignature signature) Queries the knowledge base wrt. -
Uses of RpclBeliefSet in org.tweetyproject.logics.rpcl.semantics
Modifier and TypeMethodDescriptionboolean
CondensedProbabilityDistribution.satisfies
(RpclBeliefSet beliefBase) boolean
RpclProbabilityDistribution.satisfies
(RpclBeliefSet kb) -
Uses of RpclBeliefSet in org.tweetyproject.logics.rpcl.syntax
Modifier and TypeMethodDescriptionExchanges every occurence of "a" by "b" and vice versa.