Abstract: In ambient intelligence, systems should interact intelligently with users and assist them in integrated and almost transparent way. Hence, planning and context awareness is crucial for building such systems. To cope with the high dynamics and the openness of ambient intelligence environments, representation formalism allowing a run-time analysis and monitoring of plans is required. In this paper, we focus on context awareness and planning ability on ambient environments. First, we outline a formal modeling approach for context-aware planning based upon a hierarchical colored Petri nets formalism. The approach enables the specification of plans through many levels of abstractions. Second, we address the problem of assigning tasks to groups of agents; we describe the use of resulted model in conjunction with contract net protocol to form the collaborative agent networks. Again we show how the formal foundation of this framework allows plan verification and execution monitoring. Finally, we highlight the main aspects of the approach through an assisted healthcare system case study.
Keywords: Context awareness, Petri nets, multi-agents systems, planning, ambient intelligence
