A formal approach to model the interaction between user and AmI Environment

Abstract

According to the decentralization of modeling tasks caused by user who is essentially nondeterministic and highly individual in Ambient Intelligence (AmI) environment, the mental model, plan model and behavior model are introduced to describe both static features and dynamical behavior of user in AmI environment. With the interactive model based on multi-agent, a formal approach to model user is proposed at first. Meanwhile, the relations between agents and AmI system are discussed in detail. The path which maps the natural scenario of an AmI environment into a real system shows that our models can help designers capture user's static features and dynamic behavior, and these relations between agents and AmI system can help designer to manage and track AmI system from its requirements to implementation through as well. © 2013 Springer-Verlag.