Time and Space Reasoning for Ambient Systems

Radja Radja Boukharrou, Jean-Michel Ilié and Djamel Eddine Saidouni
Additional contact information
Radja Radja Boukharrou: Constantine 2 University. MISC Laboratory, Constantine, Algeria
Jean-Michel Ilié: Université Pierre et Marie Curie, LIP6 Laboratory, Paris, France
Djamel Eddine Saidouni: Constantine 2 University. MISC Laboratory, Constantine, Algeria

International Journal of Ambient Computing and Intelligence (IJACI), 2017, vol. 8, issue 3, 38-57

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.

Date: 2017
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 018/IJACI.2017070103 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jaci00:v:8:y:2017:i:3:p:38-57

Access Statistics for this article

International Journal of Ambient Computing and Intelligence (IJACI) is currently edited by Nilanjan Dey

More articles in International Journal of Ambient Computing and Intelligence (IJACI) from IGI Global
Bibliographic data for series maintained by Journal Editor ().