Linköping University: Students Alumni Trade and Industry/Society Internal Search
PSI

On Semantics and Correctness of Reactive Rule-based Systems

Man Lin
 
Jacek Malec
Simin Nadjm-Tehrani

Andrei Ershov Third International Conference "Perspectives of System Informatics", PSI'99, Novosibrisk, Russia, July 1999, LNCS, Springer Verlag.

Springer Verlag

ABSTRACT
The rule-based paradigm for knowledge representation appears in many disguises within computer science. In this paper we address special issues which arise when the rule-based programming paradigm is employed in the development of reactive systems. We begin by presenting a rule-based language RL which has emerged while developing intelligent cruise control systems. We define a desired declarative semantics and correctness criteria for rule-based programs which respect causality, synchrony assumption and desired determinism. Two alternative approaches are proposed to analyze RL programs. Both approaches build upon static checks of a rule-based program. In the first approach we accept programs which are correct with respect to a constructive semantics while in the second approach, a stratification check is imposed. The combination of rules and reactive behaviour, together with a formal analysis of this behaviour is the main contribution of our work.


Related files:
PSI.ps.gzpostscript document, compressed (with gzip)

Copyright note for papers published by Springer Verlag:
I) Customer is authorized to conduct research for him-/herself and to copy a selection of the researched data (complete journals, individual articles of excerpts thereof) into its RAM.
II) Customer may only for his/her own use permanently store the data mentioned in paragraph i) and make hard copies thereof (downloading and printout). Springer-Verlag reserves the right to limit the extent and the number of copies and printouts in an appropriate manner. The transfer of the data in whole or in part - regardless of whether by electronic data carrier, remote data transmission or in the form of hard copies - as well as granting access to the stored data to third parties, the feeding of the data into the Intranet and commercial information brokerage are not permitted.
III) Translations, editing, arrangement, and other changes to the data and the public communication, representation or performance are prohibited.


[LMN99] Man Lin, Jacek Malec, Simin Nadjm-Tehrani, "On Semantics and Correctness of Reactive Rule-based Systems", Andrei Ershov Third International Conference "Perspectives of System Informatics", PSI'99, Novosibrisk, Russia, July 1999, LNCS, Springer Verlag.
( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)