Title: Contextual time reasoning for mobile ambient agents

Authors: Radja Boukharrou; Jean-Michel Ilié; Djamel Eddine Saidouni

Addresses: MISC Laboratory, University Abdelhamid Mehri - Constantine 2, Ali Mendjeli Campus, 25000 Constantine, Algeria ' LIP6, UMR 7606 UPMC - CNRS, 4 Place Jussieu, 75005 Paris, France ' MISC Laboratory, University Abdelhamid Mehri - Constantine 2, Ali Mendjeli Campus, 25000 Constantine, Algeria

Abstract: The Time-AgLOTOS algebraic language and its true concurrency semantics proposed in this paper provide a theoretical foundation to develop on-the-fly planning of actions to be executed under timing constraints. We first show how to produce an intermediate structure called Spatio-Temporal Planning System (STPS). The STPS is a contextual action-based model which provides a formal description of the possible execution plans that globally achieve agent's intentions. The compactness of this structure takes profit from the expression of the action timing constraints and the spatial requirements. We then concretise the possible execution plan by deriving a finite representation of spatio-temporal regions of STPS. As a result, contextual and strategic decisions can be handled in real-time by the agent.

Keywords: real-time ambient agents; spatio-temporal planning; formal language; semantics; location modelling; timing constraints; action duration; mobile agents; action planning; agent-based systems; multi-agent systems; MAS.

DOI: 10.1504/IJWMC.2016.077225

International Journal of Wireless and Mobile Computing, 2016 Vol.10 No.3, pp.250 - 260

Available online: 23 Jun 2016 *

Full-text access for editors Access for subscribers Purchase this article Comment on this article