Abstract
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm suits well for representation of both intelligent ambient devices and humans. However, modeling complex cognitive dynamics from which intelligent behavior of agents emerges is not trivial. In this paper a formal framework is proposed for declarative modeling of cognitive processes and behavior of agents in an ambient intelligence system. Models obtained by the framework are executable and can be used directly for simulation and analysis. The framework provides rich analysis possibilities of qualitative and quantitative properties, specified at local (agent) and global (system) levels. An application of the framework in the context of a subway evacuation case is described in the paper.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bosse, T., Jonker, C.M., van der Meij, L., Sharpanskykh, A., Treur, J.: Specification and verification of dynamics in agent models. Int. J. Cooperative Inf. Syst. 18(1), 167–193 (2009)
Bosse, T., Jonker, C.M., van der Meij, L., Treur, J.: A language and environment for analysis of dynamics by simulation. International Journal of Artificial Intelligence Tools 16, 435–464 (2007)
Bosse, T., Sharpanskykh, A., Treur, J.: A formal cognitive model of an ambient agent. Technical Report TR-02-2010, Vrije Universiteit Amsterdam (2010), http://www.few.vu.nl/~sharp/tr022010.pdf
Damasio, A.R.: The Feeling of What Happens: Body and Emotion in the Making of Consciousness. Harcourt Brace & Company, New York (1999)
Davidsson, P.: Multi agent based simulation: Beyond social simulation. In: Moss, S., Davidsson, P. (eds.) MABS 2000. LNCS (LNAI), vol. 1979, pp. 97–107. Springer, Heidelberg (2001)
Janis, I.L., Mann, L.: Decision Making: A Psychological Analysis of Conflict, Choice and Commitment. Free Press, New York (1977)
Shirehjini, A.A.N., Klar, F.: 3dsim: rapid prototyping ambient intelligence. In: Proceedings of the sOc-EUSAI joint conference, pp. 303–307. ACM, New York (2005)
Satoh, I.: Software agents for ambient intelligence. In: Proceedings of IEEE International Conference on Systems, Man and Cybernetics, SMC 2004, pp. 1147–1150. IEEE, Los Alamitos (2004)
Stathis, K., Toni, F.: Ambient intelligence using kgp agents. In: Markopoulos, P., Eggen, B., Aarts, E., Crowley, J.L. (eds.) EUSAI 2004. LNCS, vol. 3295, pp. 351–362. Springer, Heidelberg (2004)
Weber, W., Rabaey, J., Aarts, E. (eds.): Social, Economic, and Ethical Implications of Ambient Intelligence and Ubiquitous Computing. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bosse, T., Sharpanskykh, A. (2010). A Framework for Modeling and Analysis of Ambient Agent Systems: Application to an Emergency Case. In: Augusto, J.C., Corchado, J.M., Novais, P., Analide, C. (eds) Ambient Intelligence and Future Trends-International Symposium on Ambient Intelligence (ISAmI 2010). Advances in Soft Computing, vol 72. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13268-1_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-13268-1_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13267-4
Online ISBN: 978-3-642-13268-1
eBook Packages: EngineeringEngineering (R0)