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
2 CFSC
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.
Type de document :
Communication dans un congrès
Elsevier. The 5th International Conference on Ambient Systems, Networks and Technologies, Jun 2014, Hasselt, Belgium. Elsevier, 32, pp.37-44, 2014, Procedia computer science. 〈10.1016/j.procs.2014.05.395〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01062505
Contributeur : Ahmed Chawki Chaouche <>
Soumis le : mardi 9 septembre 2014 - 21:36:42
Dernière modification le : vendredi 16 novembre 2018 - 02:03:44
Document(s) archivé(s) le : mercredi 10 décembre 2014 - 14:42:11

Fichier

4-ANT2014.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

Citation

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

Partager

Métriques

Consultations de la notice

108

Téléchargements de fichiers

162