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
2 CFSC
3 MoVe - Modélisation et Vérification

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.

Mots clés: Ambient Intelligence; BDI Agent; Planning Language; Plan Revising; Plan Consistency

Domaines: Informatique ubiquitaire

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⟩