Class RuleBasedCReasoner

java.lang.Object
org.tweetyproject.logics.cl.reasoner.AbstractConditionalLogicReasoner
org.tweetyproject.logics.cl.reasoner.RuleBasedCReasoner
All Implemented Interfaces:
ModelProvider<Conditional,ClBeliefSet,RankingFunction>, QualitativeReasoner<ClBeliefSet,PlFormula>, Reasoner<Boolean,ClBeliefSet,PlFormula>

public class RuleBasedCReasoner extends AbstractConditionalLogicReasoner
This is a reasoner using c-representation and rules to solve these c-representations. It contains a list of rules whereby the first rule is the rule with the highest priorization, that means it is applied first.
Author:
Tim Janus, Matthias Thimm