Welcome to the InfoSci Platform
Reference Hub4
Time and Space Reasoning for Ambient Systems

Time and Space Reasoning for Ambient Systems

Radja Radja Boukharrou, Jean-Michel Ilié, Djamel Eddine Saidouni
Copyright: © 2017 |Volume: 8 |Issue: 3 |Pages: 20
ISSN: 1941-6237|EISSN: 1941-6245|EISBN13: 9781522523017|DOI: 10.4018/IJACI.2017070103
Cite Article Cite Article

MLA

Boukharrou, Radja Radja, et al. "Time and Space Reasoning for Ambient Systems." IJACI vol.8, no.3 2017: pp.38-57. http://doi.org/10.4018/IJACI.2017070103

APA

Boukharrou, R. R., Ilié, J., & Saidouni, D. E. (2017). Time and Space Reasoning for Ambient Systems. International Journal of Ambient Computing and Intelligence (IJACI), 8(3), 38-57. http://doi.org/10.4018/IJACI.2017070103

Chicago

Boukharrou, Radja Radja, Jean-Michel Ilié, and Djamel Eddine Saidouni. "Time and Space Reasoning for Ambient Systems," International Journal of Ambient Computing and Intelligence (IJACI) 8, no.3: 38-57. http://doi.org/10.4018/IJACI.2017070103

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

This paper presents an algebraic language, called Time-AgLOTOS, to describe time-dependent behavior of intelligent agent for the design of Ambient Intelligence systems. This specification model provides a theoretical foundation for performing planning under timing constraints. Based on a true-concurrency semantics, a contextual model, called Spatio-Temporal Planning System (STPS), is developed to capture all possible evolutions of an agent plan including context changes. The STPS provides formal description of possible actions to perform supporting timing constraints, action duration and spatial information. This structure offers new possibilities and strategies for taking agent real-time decisions in context-awareness manner.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.