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.
International Journal of Wireless and Mobile Computing, 2016 Vol.10 No.3, pp.250 - 260
Received: 26 Jun 2015
Accepted: 30 Jan 2016
Published online: 23 Jun 2016 *