Package org.tweetyproject.logics.cl.reasoner

Interface RuleBasedCReasoner.Rule

All Known Implementing Classes:
EvaluateRule, RuleAdapter
Enclosing class:
RuleBasedCReasoner
public static interface RuleBasedCReasoner.Rule
A rule that is applicable by the RuleBasedCReasoner to reason a c-representation given a conditional belief base. Implementation of this interface can be added to the RuleBasedCReasoner to adapt its behavior, such that a RuleBasedCReasoner can use different rules if it can make different assumptions on the underlying belief base.
Author:
Tim Janus

  • Method Details

    • setConditonalStructure

      void setConditonalStructure(ConditionalStructure cs)
      Sets the ConditionalStructure that is used as data basis for the rule.
      Parameters:
      cs - a conditional structure

    • setKappas

      void setKappas(Collection<KappaValue> kappas)
      Sets the Collection of KappaValue that is used as data basis for the rule
      Parameters:
      kappas - a set of kappa values

    • apply

      boolean apply()
      Applies the rule
      Returns:
      true if a change occured, false otherwise