On Semantics of Reactive Rule-Based Systems

  title={On Semantics of Reactive Rule-Based Systems},
  author={Man Lin and Jacek Malec and Simin Nadjm-Tehrani},
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