Uses of Class
org.tweetyproject.logics.cl.syntax.ClBeliefSet
-
-
Uses of ClBeliefSet in org.tweetyproject.logics.cl.examples
Methods in org.tweetyproject.logics.cl.examples that return ClBeliefSet Modifier and Type Method Description static 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
Methods in org.tweetyproject.logics.cl.parser that return ClBeliefSet Modifier and Type Method Description ClBeliefSet
ClParser. parseBeliefBase(java.io.Reader reader)
-
Uses of ClBeliefSet in org.tweetyproject.logics.cl.reasoner
Methods in org.tweetyproject.logics.cl.reasoner with parameters of type ClBeliefSet Modifier and Type Method Description abstract RankingFunction
AbstractConditionalLogicReasoner. getModel(ClBeliefSet bbase)
RankingFunction
CReasoner. getModel(ClBeliefSet kb)
RankingFunction
RuleBasedCReasoner. getModel(ClBeliefSet beliefset)
RankingFunction
SimpleCReasoner. getModel(ClBeliefSet beliefset)
RankingFunction
ZReasoner. getModel(ClBeliefSet beliefset)
java.util.Collection<RankingFunction>
AbstractConditionalLogicReasoner. getModels(ClBeliefSet bbase)
java.lang.Boolean
AbstractConditionalLogicReasoner. query(ClBeliefSet beliefbase, PlFormula formula)
-
Uses of ClBeliefSet in org.tweetyproject.logics.cl.semantics
Methods in org.tweetyproject.logics.cl.semantics with parameters of type ClBeliefSet Modifier and Type Method Description boolean
RankingFunction. satisfies(ClBeliefSet beliefBase)
-
Uses of ClBeliefSet in org.tweetyproject.logics.cl.syntax
Methods in org.tweetyproject.logics.cl.syntax that return ClBeliefSet Modifier and Type Method Description ClBeliefSet
ClBeliefSet. clone()
-
Uses of ClBeliefSet in org.tweetyproject.logics.translators.clnlp
Methods in org.tweetyproject.logics.translators.clnlp that return ClBeliefSet Modifier and Type Method Description ClBeliefSet
ClNLPTranslator. toCl(NLPProgram program)
Translate the given NLP-program into a conditional belief set.Methods in org.tweetyproject.logics.translators.clnlp with parameters of type ClBeliefSet Modifier and Type Method Description NLPProgram
ClNLPTranslator. toNLP(ClBeliefSet conditionals)
Translate the given conditional belief set into a NLP-program.
-