Skip to Main content Skip to Navigation
Conference papers

A Dynamical Plan Revising for Ambient Systems

Ahmed Chawki Chaouche 1, 2 Amal El Fallah-Seghrouchni 1 Jean-Michel Ilié 3 Djamel Eddine Saidouni 2
1 SMA - Systèmes Multi-Agents
LIP6 - Laboratoire d'Informatique de Paris 6
MISC - modélisation et implémentation des systèmes complexes
3 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : The proposed AgLOTOS formal specification language is dedicated to express BDI agent plans, according to the features and requirements of Ambient Intelligence (AmI). It offers a rich modular approach to express and compose elementary plans in order to execute them concurrently. We show how a plan is built automatically as a system of concurrent processes from the mental attitudes of the agent. In contrast to existing approaches, the plan is viewed as the realization of a whole set of partially ordered intentions. The AgLOTOS semantics accords with the possibility of updating some sub-plans on the fly, as the intention set of the BDI agent is revised.
Document type :
Conference papers
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download
Contributor : Ahmed Chawki Chaouche <>
Submitted on : Tuesday, September 9, 2014 - 9:36:42 PM
Last modification on : Monday, December 16, 2019 - 11:54:39 AM
Long-term archiving on: : Wednesday, December 10, 2014 - 2:42:11 PM


Publisher files allowed on an open archive



Ahmed Chawki Chaouche, Amal El Fallah-Seghrouchni, Jean-Michel Ilié, Djamel Eddine Saidouni. A Dynamical Plan Revising for Ambient Systems. The 5th International Conference on Ambient Systems, Networks and Technologies, Jun 2014, Hasselt, Belgium. pp.37-44, ⟨10.1016/j.procs.2014.05.395⟩. ⟨hal-01062505⟩



Record views


Files downloads