Package net.sf.tweety.logics.cl.reasoner
Interface RuleBasedCReasoner.Rule
-
- All Known Implementing Classes:
EvaluateRule,RuleAdapter
- Enclosing class:
- RuleBasedCReasoner
public static interface RuleBasedCReasoner.RuleA rule that is applicable by theRuleBasedCReasonerto reason a c-representation given a conditional belief base. Implementation of this interface can be added to theRuleBasedCReasonerto adapt its behavior, such that aRuleBasedCReasonercan use different rules if it can make different assumptions on the underlying belief base.- Author:
- Tim Janus
-
-
Method Summary
Modifier and Type Method Description booleanapply()Applies the rulevoidsetConditonalStructure(ConditionalStructure cs)Sets theConditionalStructurethat is used as data basis for the rule.voidsetKappas(java.util.Collection<KappaValue> kappas)Sets the Collection ofKappaValuethat is used as data basis for the rule
-
-
-
Method Detail
-
setConditonalStructure
void setConditonalStructure(ConditionalStructure cs)
Sets theConditionalStructurethat is used as data basis for the rule.- Parameters:
cs- a conditional structure
-
setKappas
void setKappas(java.util.Collection<KappaValue> kappas)
Sets the Collection ofKappaValuethat 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
-
-