Skip to Main content Skip to Navigation
Conference papers

A Higher-order Agent Model for Ambient Systems

Ahmed Chawki 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
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.
Complete list of metadatas

Cited literature [27 references]  Display  Hide  Download
Contributor : Ahmed Chawki Chaouche <>
Submitted on : Monday, November 4, 2013 - 2:08:20 PM
Last modification on : Tuesday, December 17, 2019 - 9:54:30 AM
Long-term archiving on: : Friday, April 7, 2017 - 8:03:51 PM


Explicit agreement for this submission



Ahmed Chawki 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. pp.156-163, ⟨10.1016/j.procs.2013.09.022⟩. ⟨hal-00879176⟩



Record views


Files downloads