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

@article{Kowalski:2012:10.1007/978-3-642-32689-9_1,
author = {Kowalski, R and Sadri, F},
doi = {10.1007/978-3-642-32689-9_1},
journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
pages = {1--15},
title = {A logic-based framework for reactive systems},
url = {http://dx.doi.org/10.1007/978-3-642-32689-9_1},
volume = {7438 LNCS},
year = {2012}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - We sketch a logic-based framework in which computation consists of performing actions to generate a sequence of states, with the purpose of making a set of reactive rules in the logical form antecedents ( consequents all true. The antecedents of the rules are conjunctions of past or present conditions and events, and the consequents of the rules are disjunctions of conjunctions of future conditions and actions. The antecedents can be viewed as complex/composite events, and the consequents as complex/composite/macro actions or processes. States are represented by sets of atomic sentences, and can be viewed as global variables, relational databases, Herbrand models, or mental representations of the real world. Events, including actions, transform one state into another. The operational semantics maintains only a single, destructively updated current state, whereas the model-theoretic semantics treats the entire sequence of states, events and actions as a single model. The model-theoretic semantics can be viewed as the problem of generating a model that makes all the reactive rules true. © 2012 Springer-Verlag.
AU  - Kowalski,R
AU  - Sadri,F
DO  - 10.1007/978-3-642-32689-9_1
EP  - 15
PY  - 2012///
SN  - 0302-9743
SP  - 1
TI  - A logic-based framework for reactive systems
T2  - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
UR  - http://dx.doi.org/10.1007/978-3-642-32689-9_1
VL  - 7438 LNCS
ER  -
Download