A Higher-order Agent Model for Ambient Systems

The 4th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2013) and the 3rd International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH)International audienceThe 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