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{Sadri:2015:10.1007/s00354-015-0103-z,
author = {Sadri, F and Kowalski, R},
doi = {10.1007/s00354-015-0103-z},
journal = {New Generation Computing: computing paradigms and computational intelligence},
pages = {33--67},
title = {Reactive computing as model generation},
url = {http://dx.doi.org/10.1007/s00354-015-0103-z},
volume = {33},
year = {2015}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - In this paper we propose a logic-based, framework inspired by artificial intelligence, but scaled down for practical database and programming applications. Computation in the framework is viewed as the task of generating a sequence of state transitions, with the purpose of making an agent’s goals all true. States are represented by sets of atomic sentences (or facts), representing the values of program variables, tuples in a coordination language, facts in relational databases, or Herbrand models. In the model-theoretic semantics, the entire sequence of states and events are combined into a single model-theoretic structure, by associating timestamps with facts and events. But in the operational semantics, facts are updated destructively, without timestamps. We show that the model generated by destructive updates is identical to the model generated by reasoning with facts containing timestamps. We also extend the model with intentional predicates and composite event predicates defined by logic programs containing conditions in first-order logic, which query the current state.
AU  - Sadri,F
AU  - Kowalski,R
DO  - 10.1007/s00354-015-0103-z
EP  - 67
PY  - 2015///
SN  - 0288-3635
SP  - 33
TI  - Reactive computing as model generation
T2  - New Generation Computing: computing paradigms and computational intelligence
UR  - http://dx.doi.org/10.1007/s00354-015-0103-z
UR  - http://www.doc.ic.ac.uk/~fs/
VL  - 33
ER  -
Download