A Higher-order Agent Model for Ambient Systems

A.-C. Chaouche 1, 2 Amal El Fallah Seghrouchni 1 Jean-Michel Ilié 3 Djamel Eddine Saïdouni 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 multi-agent systems (MAS) paradigm provides an interesting alternative for the design of ambient intelligence (AmI) systems. However, the verification of the resulting MAS and their constituent agents still requires a suitable model that meets AmI systems requirements. The HoA model presented in this paper, aims at representing the mental evolution of a BDI agent, in order to be handled in further verification approaches. This model captures the reasoning of a BDI agent and its plan, whose expression is defined from AgLOTOS, an original agent algebraic language dedicated to AmI features and capabilities.
Type de document :
Communication dans un congrès
The 4th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2013), Oct 2013, Niagara Falls, Ontario, Canada. 21, pp.156-163, 2013, Procedia Computer Science. 〈10.1016/j.procs.2013.09.022〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00879176
Contributeur : Ahmed Chawki Chaouche <>
Soumis le : lundi 4 novembre 2013 - 14:08:20
Dernière modification le : jeudi 21 mars 2019 - 13:09:50
Document(s) archivé(s) le : vendredi 7 avril 2017 - 20:03:51

Fichier

Published_article.pdf
Accord explicite pour ce dépôt

Identifiants

Citation

A.-C. Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel Eddine Saïdouni. A Higher-order Agent Model for Ambient Systems. The 4th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2013), Oct 2013, Niagara Falls, Ontario, Canada. 21, pp.156-163, 2013, Procedia Computer Science. 〈10.1016/j.procs.2013.09.022〉. 〈hal-00879176〉

Partager

Métriques

Consultations de la notice

297

Téléchargements de fichiers

137