On Semantics of Reactive Rule-Based Systems

@inproceedings{Lin1997OnSO,
  title={On Semantics of Reactive Rule-Based Systems},
  author={Man Lin and Jacek Malec and Simin Nadjm-Tehrani},
  booktitle={ASIAN},
  year={1997}
}
In this paper we address special issues which arise when the rule-based programming paradigm is emlployed in development of reactive real-time systems. We begin by presenting a rule-based language which has emerged while developing intelligent cruise control systems. We describe a naive operational semantics based on an an implemented inference engine, and explain why the semantics is not appropriate in safety-critical real-time contexts. We then deene a number of correct-ness criteria ensuring… CONTINUE READING