Uses of Class
org.tweetyproject.logics.cl.semantics.RankingFunction
-
Uses of RankingFunction in org.tweetyproject.logics.cl.examples
Modifier and TypeMethodDescriptionstatic 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
Modifier and TypeMethodDescriptionabstract RankingFunction
AbstractConditionalLogicReasoner.getModel(ClBeliefSet bbase)
CReasoner.getModel(ClBeliefSet kb)
RuleBasedCReasoner.getModel(ClBeliefSet beliefset)
SimpleCReasoner.getModel(ClBeliefSet beliefset)
ZReasoner.getModel(ClBeliefSet beliefset)