Class 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.
Tim Janus, Matthias Thimm
  • Constructor Details

    • RuleBasedCReasoner

      public RuleBasedCReasoner()
    • RuleBasedCReasoner

      public RuleBasedCReasoner(boolean humanFriendly)
  • Method Details