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

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.

Mots clés: verification; Higher-order agent algebra; BDI agent; MAS; AmI systems

Domaines: Informatique ubiquitaire; Théorie et langage formel [cs.FL]; Système multi-agents [cs.MA]; Intelligence artificielle [cs.AI]

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⟩