Int. J. of Wireless and Mobile Computing   »   2016 Vol.10, No.3

 

 

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

 

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

 

Submission date: 23 Jun 2015
Date of acceptance: 30 Jan 2016
Available online: 23 Jun 2016

 

 

Editors Full text accessAccess for SubscribersPurchase this articleComment on this article