Uses of Class
org.tweetyproject.logics.cl.semantics.RankingFunction
-
Packages that use RankingFunction Package Description org.tweetyproject.logics.cl.examples org.tweetyproject.logics.cl.reasoner -
-
Uses of RankingFunction in org.tweetyproject.logics.cl.examples
Methods in org.tweetyproject.logics.cl.examples with parameters of type RankingFunction Modifier and Type Method Description static void
ADF_OCF_comparison_example. compareInference(AbstractDialecticalFramework adf, AbstractDialecticalFrameworkReasoner reasoner_adf, RankingFunction kappa)
Compare the inference behavior of ADF "adf" and Ranking function "kappa" -
Uses of RankingFunction in org.tweetyproject.logics.cl.reasoner
Methods in org.tweetyproject.logics.cl.reasoner that return RankingFunction 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)
Methods in org.tweetyproject.logics.cl.reasoner that return types with arguments of type RankingFunction Modifier and Type Method Description java.util.Collection<RankingFunction>
AbstractConditionalLogicReasoner. getModels(ClBeliefSet bbase)
-