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-29414-3_3,
author = {Kowalski, RA and Sadri, F},
doi = {10.1007/978-3-642-29414-3_3},
journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
pages = {12--32},
title = {Teleo-reactive abductive logic programs},
url = {http://dx.doi.org/10.1007/978-3-642-29414-3_3},
volume = {7360 LNCS},
year = {2012}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - Teleo-reactive (TR) programs are a variety of production systems with a destructively updated database that represents the current state of the environment. They combine proactive behaviour, which is goal-oriented, with reactive behaviour, which is sensitive to the changing environment. They can take advantage of situations in which the environment opportunistically solves the system's goals, recover gracefully when the environment destroys solutions of its goals, and abort durative actions when higher priority goals need more urgent attention. In this paper, we present an abductive logic programming (ALP) representation of TR programs, following the example of our ALP representation of the logic-based production system language LPS. The operational semantics of the representation employs a destructively updated database, which represents the current state of the environment, and avoids the frame problem of explicitly reasoning about the persistence of facts that are not affected by the updates. The model-theoretic semantics of the representation is defined by associating a logic program with the TR program, the sequence of observations and actions, and the succession of database states. In the semantics, the task is to generate actions so that all of the program's goals are true in a minimal model of this associated logic program. © 2012 Springer-Verlag Berlin Heidelberg.
AU  - Kowalski,RA
AU  - Sadri,F
DO  - 10.1007/978-3-642-29414-3_3
EP  - 32
PY  - 2012///
SN  - 0302-9743
SP  - 12
TI  - Teleo-reactive abductive logic programs
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-29414-3_3
VL  - 7360 LNCS
ER  -
Download