Imperial College London
Dr Fariba Sadri

DrFaribaSadri

Faculty of Engineering, Department of Computing

Senior Lecturer
 
 
 
//

Contact

 

+44 (0)20 7594 8224f.sadri Website

 
 
//

Location

 

447Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Kowalski:2014:10.1007/978-3-319-09870-8_2,
author = {Kowalski, R and Sadri, F},
doi = {10.1007/978-3-319-09870-8_2},
pages = {22--36},
title = {A logical characterization of a reactive system language},
url = {http://dx.doi.org/10.1007/978-3-319-09870-8_2},
year = {2014}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - Typical reactive system languages are programmed by means of rules of the form if antecedent then consequent. However, despite their seemingly logical character, hardly any reactive system languages give such rules a logical interpretation. In this paper, we investigate a simplified reactive system language KELPS, in which rules are universally quantified material implications, and computation attempts to generate a model that makes the rules true. The operational semantics of KELPS is similar to that of other reactive system languages, and is similarly incomplete. It cannot make a rule true by making its antecedent false, or by making its consequent true whether or not its antecedent becomes true. In this paper, we characterize the reactive models computed by the operational semantics. Informally speaking, a model is reactive if every action in the model is an instance of an action in the consequent of a rule whose earlier conditions are true. © 2014 Springer International Publishing.
AU  - Kowalski,R
AU  - Sadri,F
DO  - 10.1007/978-3-319-09870-8_2
EP  - 36
PY  - 2014///
SN  - 0302-9743
SP  - 22
TI  - A logical characterization of a reactive system language
UR  - http://dx.doi.org/10.1007/978-3-319-09870-8_2
ER  -
Download