Uses of Class
org.tweetyproject.logics.rpcl.syntax.RpclBeliefSet
-
Packages that use RpclBeliefSet Package Description org.tweetyproject.logics.rpcl.parser org.tweetyproject.logics.rpcl.reasoner org.tweetyproject.logics.rpcl.semantics org.tweetyproject.logics.rpcl.syntax -
-
Uses of RpclBeliefSet in org.tweetyproject.logics.rpcl.parser
Methods in org.tweetyproject.logics.rpcl.parser that return RpclBeliefSet Modifier and Type Method Description RpclBeliefSet
RpclParser. parseBeliefBase(java.io.Reader reader)
-
Uses of RpclBeliefSet in org.tweetyproject.logics.rpcl.reasoner
Methods in org.tweetyproject.logics.rpcl.reasoner with parameters of type RpclBeliefSet Modifier and Type Method Description RpclProbabilityDistribution<?>
RpclMeReasoner. getModel(RpclBeliefSet bbase)
RpclProbabilityDistribution<?>
RpclMeReasoner. getModel(RpclBeliefSet kb, FolSignature signature)
Determines the ME distribution of the given knowlege base wrt.java.util.Collection<RpclProbabilityDistribution<?>>
RpclMeReasoner. getModels(RpclBeliefSet bbase)
java.lang.Double
RpclMeReasoner. query(RpclBeliefSet beliefbase, FolFormula formula)
java.lang.Double
RpclMeReasoner. query(RpclBeliefSet beliefbase, FolFormula query, FolSignature signature)
Queries the knowledge base wrt. -
Uses of RpclBeliefSet in org.tweetyproject.logics.rpcl.semantics
Methods in org.tweetyproject.logics.rpcl.semantics with parameters of type RpclBeliefSet Modifier and Type Method Description boolean
CondensedProbabilityDistribution. satisfies(RpclBeliefSet beliefBase)
boolean
RpclProbabilityDistribution. satisfies(RpclBeliefSet kb)
-
Uses of RpclBeliefSet in org.tweetyproject.logics.rpcl.syntax
Methods in org.tweetyproject.logics.rpcl.syntax that return RpclBeliefSet Modifier and Type Method Description RpclBeliefSet
RpclBeliefSet. exchange(Term<?> a, Term<?> b)
Exchanges every occurence of "a" by "b" and vice versa.
-