SUBMITTED FOR PUBLICATION An Approach to the Integration of Overlapping Rules in Standard ML
Abstract:
Abstract. We describe an approach to programming rule-based systems in Standard ML, with a focus on so-called overlapping rules, that is rules that can still be active when other rules are fired. Such rules are useful when implementing rule-based reactive systems, and to that effect we show a simple implementation of Loyall's Active Behavior Trees, used to control goal-directed agents in the Oz virtual environment. We discuss an implementation of our framework using a reactive library geared towards implementing those kind of systems. 1
Citations
| 491 | The Definition of Standard ML (Revised – Milner, Tofte, et al. - 1997 |
| 335 | ML for the working programmer – Paulson - 1991 |
| 195 | Standard ML of New Jersey – Appel, MacQueen - 1991 |
| 119 | Programming Expert Systems in OPS5: An Introduction to Rule-based Programming – Brownston, Farrell, et al. - 1985 |
| 39 | Reactive C: An extension of C to program reactive systems – Boussinot - 1991 |
| 38 | Hap: A Reactive, Adaptive Architecture for Agents – Loyall, Bates - 1991 |
| 34 | Believable Agents: Building Interactive Personalities – Loyall - 1997 |
| 10 | The SugarCubes tool box: A reactive Java framework – Boussinot, Susini - 1998 |
| 7 | Path-based rules in object-oriented programming – Crawford, Dvorak, et al. - 1996 |
| 5 | Reactive scripts – Boussinot, Hazard - 1996 |
| 4 | Reactive programming in Standard ML – Pucella - 1998 |
| 2 | Programming in Standard ML. Online tutorial notes available from http://www.cs.cmu.edu/rwh/introsml/index.html – Harper - 1998 |

