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 Summary

Modifier and Type	Method	Description
boolean	apply()	Applies the rule
void	setConditonalStructure(ConditionalStructure cs)	Sets the ConditionalStructure that is used as data basis for the rule.
void	setKappas(Collection<KappaValue> kappas)	Sets the Collection of KappaValue that is used as data basis for the rule

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