Uses of Class
org.tweetyproject.logics.cl.syntax.ClBeliefSet
Package
Description
-
Uses of ClBeliefSet in org.tweetyproject.logics.cl.examples
Modifier and TypeMethodDescriptionstatic ClBeliefSet
ADF_OCF_comparison_example.getBeliefSetFromADF(AbstractDialecticalFramework adf, int theta)
Creates a conditional belief base using the provided ADF "adf" and Translation Function "theta" -
Uses of ClBeliefSet in org.tweetyproject.logics.cl.parser
-
Uses of ClBeliefSet in org.tweetyproject.logics.cl.reasoner
Modifier and TypeMethodDescriptionabstract RankingFunction
AbstractConditionalLogicReasoner.getModel(ClBeliefSet bbase)
CReasoner.getModel(ClBeliefSet kb)
RuleBasedCReasoner.getModel(ClBeliefSet beliefset)
SimpleCReasoner.getModel(ClBeliefSet beliefset)
ZReasoner.getModel(ClBeliefSet beliefset)
AbstractConditionalLogicReasoner.getModels(ClBeliefSet bbase)
AbstractConditionalLogicReasoner.query(ClBeliefSet beliefbase, PlFormula formula)
-
Uses of ClBeliefSet in org.tweetyproject.logics.cl.semantics
-
Uses of ClBeliefSet in org.tweetyproject.logics.cl.syntax
-
Uses of ClBeliefSet in org.tweetyproject.logics.translators.adfcl
Modifier and TypeMethodDescriptionboolean
RankingFunctionThreeValued.satisfies(ClBeliefSet beliefBase)
-
Uses of ClBeliefSet in org.tweetyproject.logics.translators.clnlp
Modifier and TypeMethodDescriptionClNLPTranslator.toCl(NLPProgram program)
Translate the given NLP-program into a conditional belief set.Modifier and TypeMethodDescriptionClNLPTranslator.toNLP(ClBeliefSet conditionals)
Translate the given conditional belief set into a NLP-program.