Package org.tweetyproject.logics.cl.rules

Class EvaluateRule

java.lang.Object

org.tweetyproject.logics.cl.rules.RuleAdapter

org.tweetyproject.logics.cl.rules.EvaluateRule

All Implemented Interfaces:

RuleBasedCReasoner.Rule

public class EvaluateRule
extends RuleAdapter

The evaluate rule tries to evaluate the kappa values by using logical constraints, therefore the KappaTerm evaluate() methods are called. In fact this rule uses multiple rules, because evaluate() is implemented in a different way on the classes that implement the KappaTerm interface: - It evaluates KappaMin instances by proofing if there is an element e which is evaluated and uses the value of this element if there is no greater or equal constraint on another element that is smaller as the value of element e. - The KappaSum instances are simply evaluated if every sub-element of the sum can be evaluated - The KappaValue instances are evaluated as soon as their KappaMin members are evaluated.

Author:

Tim Janus

Constructor Summary

Constructors

Constructor	Description
EvaluateRule()

Method Summary

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

Methods inherited from class org.tweetyproject.logics.cl.rules.RuleAdapter

setConditonalStructure

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

EvaluateRule

public EvaluateRule()

Method Details

setKappas

public void setKappas(Collection<KappaValue> kappas)

Description copied from interface: RuleBasedCReasoner.Rule

Sets the Collection of KappaValue that is used as data basis for the rule

Specified by:

setKappas in interface RuleBasedCReasoner.Rule

Overrides:

setKappas in class RuleAdapter

Parameters:

kappas - a set of kappa values

apply

public boolean apply()

Description copied from interface: RuleBasedCReasoner.Rule

Applies the rule

Returns:

true if a change occured, false otherwise