Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Appendix B - Formal Definition of KSL 186<br />
initial_rule_agenda --><br />
sequence_separator( name(rule), [,] ) .<br />
initiate--><br />
[;],<br />
[initiate, by, doing],<br />
conjunction( directive ) .<br />
terminate --><br />
[;],<br />
[terminate, when],<br />
conjunction( conditions ) .<br />
select_rule --><br />
[;],<br />
[select, rule, using],<br />
selection_method .<br />
selection_method --><br />
[conflict, resolution, with, threshold],<br />
expression .<br />
selection_method --><br />
[conflict, resolution] .<br />
selection_method --><br />
[first, come, first, served] .<br />
selection_method--><br />
name( user_method ) .<br />
update_ruleset --><br />
[;],<br />
[update, ruleset],<br />
update_method .<br />
update_method--><br />
[by, removing, each, selected, rule] |<br />
[by, promoting, each, selected, rule] |<br />
[by, demoting, each, selected, rule] |<br />
[by, cyclic, rotation, of, rules] |<br />
[by, removing, any, unsatisfied, rules] |<br />
[using, rule, transition, network] .<br />
update_method--><br />
[using],<br />
name( user_update ) .<br />
misfires --><br />
[;], [when, a, rule, misfires, do],<br />
6<br />
<strong>flex</strong> toolkit