Uses of Class
net.sf.tweety.logics.cl.syntax.ClBeliefSet
-
-
Uses of ClBeliefSet in net.sf.tweety.logics.cl.examples
Fields in net.sf.tweety.logics.cl.examples declared as ClBeliefSet Modifier and Type Field Description private static ClBeliefSet[]
ReasonerExample. beliefSets
Methods in net.sf.tweety.logics.cl.examples with parameters of type ClBeliefSet Modifier and Type Method Description private static void
ReasonerExample. test(ClBeliefSet beliefset)
-
Uses of ClBeliefSet in net.sf.tweety.logics.cl.parser
Methods in net.sf.tweety.logics.cl.parser that return ClBeliefSet Modifier and Type Method Description ClBeliefSet
ClParser. parseBeliefBase(java.io.Reader reader)
-
Uses of ClBeliefSet in net.sf.tweety.logics.cl.reasoner
Methods in net.sf.tweety.logics.cl.reasoner that return types with arguments of type ClBeliefSet Modifier and Type Method Description private java.util.ArrayList<ClBeliefSet>
ZReasoner. partition(ClBeliefSet kb, java.util.Set<PossibleWorld> omega)
Returns a partitioning of a knowledge base into partitions containing all conditionals that tolerate the remaining set of conditionals of a knowledge base.Methods in net.sf.tweety.logics.cl.reasoner with parameters of type ClBeliefSet Modifier and Type Method Description private RankingFunction
SimpleCReasoner. constructRankingFunction(ClBeliefSet beliefset, java.lang.Integer[] kappa)
Constructs a ranking function with the given kappa values [k1+,k1-,...,kn+,kn-], i.e.private void
SimpleCReasoner. filter(java.util.ArrayList<PlFormula> list, ClBeliefSet beliefset)
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)
private boolean
ZReasoner. isTolerated(Conditional f, ClBeliefSet kb, java.util.Set<PossibleWorld> omega)
Checks whether or not the given formula is tolerated by the knowledge base, i.e., there is a world omega that satisfies the formula and does not falsify each conditional (B|A) in the knowledge base (it satisfies the material implication A => B).private java.util.ArrayList<ClBeliefSet>
ZReasoner. partition(ClBeliefSet kb, java.util.Set<PossibleWorld> omega)
Returns a partitioning of a knowledge base into partitions containing all conditionals that tolerate the remaining set of conditionals of a knowledge base.java.lang.Boolean
AbstractConditionalLogicReasoner. query(ClBeliefSet beliefbase, PlFormula formula)
-
Uses of ClBeliefSet in net.sf.tweety.logics.cl.semantics
Methods in net.sf.tweety.logics.cl.semantics with parameters of type ClBeliefSet Modifier and Type Method Description boolean
RankingFunction. satisfies(ClBeliefSet beliefBase)
-
Uses of ClBeliefSet in net.sf.tweety.logics.cl.syntax
Methods in net.sf.tweety.logics.cl.syntax that return ClBeliefSet Modifier and Type Method Description ClBeliefSet
ClBeliefSet. clone()
-
Uses of ClBeliefSet in net.sf.tweety.logics.translators.clnlp
Methods in net.sf.tweety.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 net.sf.tweety.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.
-