MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  SUBMITTED FOR PUBLICATION An Approach to the Integration of Overlapping Rules in Standard ML

Download:
Download as a PDF | Download as a PS
by Riccardo Pucella
http://www.cs.cornell.edu/riccardo/papers/overlap.ps
Add To MetaCart

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