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.
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.
Similar content being viewed by others
References
ISTAG, Scenarios for Ambient Intelligence in 2010, http://www.cordis.lu/istag.html
Hagras, H., Callaghan, V., Colley, M., et al.: Creating an Ambient-Intelligence Environment Using Embedded Agents. IEEE Intelligent Systems 19(6), 12–20 (2004)
Henricksen, K., Indulska, J.: Modelling and Using Imperfect Context Information. In: Proceedings of PERCOMW 2004, Washington, DC, USA, pp. 33–37. IEEE Computer Society, Los Alamitos (2004)
Bikakis, A., Patkos, T., Antoniou, G., Plexousakis, D.: A Survey of Semantics-based Approaches for Context Reasoning in Ambient Intelligence. In: Mühlhäuser, M., Ferscha, A., Aitenbichler, E. (eds.) AmI 2007 Workshops. CCIS, vol. 11, pp. 14–23. Springer, Heidelberg (2008)
Bikakis, A., Antoniou, G.: Defeasible Contextual Reasoning with Arguments in Ambient Intelligence. IEEE Transactions on Knowledge and Data Engineering 22(11), 1492–1506 (2010)
Trivedi, M., Huang, K., Mikic, I.: Intelligent environments and active camera networks. IEEE Transactions on Systems Man and Cybernetics (October 2000)
MIT Project Oxygen, http://oxygen.lcs.mit.edu/
Coen, M., Dang, D., De Bonet, J., Kramer, J., et al.: The intelligent room project. Presented at the 2nd Int. Cogn. Technol. Conf., Aizu, Japan (August 1997)
Lorigo, L.M., Brooks, R.A., Grimson, W.E.L.: Visually guided obstacle avoidance in unstructured environments. In: Proc. IROS, Grenoble, France, pp. 373–379 (September 1997)
Aware Home Research Initiative (AHRI), http://www.cc.gatech.edu/fce/ahri/
Kidd, C.D., Orr, R., Abowd, G.D., Atkeson, C.G., et al.: The aware home: A living laboratory for ubiquitous computing research. In: 2nd Int. Workshop Cooperative Buildings (October 1999)
RUNES, http://www.ist-runes.org/
Costantini, S., Mostarda, L., Tocchio, A., Tsintza, P.: DALICA: Agent based ambient intelligence for cultural-heritage scenarios. IEEE Intell. Syst. 23(2), 34–41 (2008)
Wu, Z., Wu, Q., Cheng, H., Pan, G., et al.: ScudWare: A semantic and adaptive middleware platform for smart vehicle space. IEEE Trans. Intell. Transp. Syst. 8(1), 121–132 (2007)
Shi, Y., Xie, W., Xu, G., Shi, R., et al.: The smart classroom: Merging technology for seamless tele-education. IEEE Pervasive Comput. 2(2), 47–55 (2003)
He, J., Dong, Y., Zhang, Y., Huang, Z.: Creating an Ambient-Intelligence Environment Using Multi-Agent System. In: 2008 International Conference on Embedded Software and Systems Symposia (ICESS Symposia), pp. 253–258 (2008)
Chen, R., Hou, Y.-B., Huang, Z.-Q., He, J.: Modeling the Ambient Intelligence Application System: Concept, Software, Data, and Network. IEEE Transactions on Systems, Man, and Cybernetics—Part C: Applications and Reviews 39(3), 299–324 (2009)
Vurgun, S., Philipose, M., Pavel, M.: A Statistical Reasoning System for Medication Prompting. In: Krumm, J., Abowd, G.D., Seneviratne, A., Strang, T. (eds.) UbiComp 2007. LNCS, vol. 4717, pp. 1–18. Springer, Heidelberg (2007)
Patel, S.N., Reynolds, M.S., Abowd, G.D.: Detecting Human Movement by Differential Air Pressure Sensing in HVAC System Ductwork: An Exploration in Infrastructure Mediated Sensing. In: Indulska, J., Patterson, D.J., Rodden, T., Ott, M. (eds.) PERVASIVE 2008. LNCS, vol. 5013, pp. 1–18. Springer, Heidelberg (2008)
Reddy, S., Estrin, D., Hansen, M., et al.: Examining Micro-Payments for Participatory Sensing Data Collections. In: Proc. Ubicomp 2010, pp. 33–36 (2010)
Dey, A.K.: Modeling and intelligibility in ambient environments. Journal of Ambient Intelligence and Smart Environments 1(1), 57–62 (2009)
Damasio, A.R.: The Feeling of What Happens Body, Emotion and the Making of Consciousness. Harvest Books, London (2000)
Marchesotti, L., Piva, S., Regazzoni, C.: Structured Context-Analysis Techniques in Biologically Inspired Ambient-Intelligence Systems. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans 35(1), 106–120 (2005)
Du, T.C.: Implementing Association Rule Techniques in Data Allocation of Distributed Database. Chung Yuan Christian Univ., Taiwan (2000)
Jess, the Rule Engine for the Java Platform, http://herzberg.ca.sandia.gov/jess/
Kushmerick, N.: Software agents and their bodies. Minds and Machines 7(2), 227–247 (1997)
Hu, S.-L., Shi, C.-Y.: Agent-BDI Logic. Journal of Software 1(10), 1351–1360 (2000) (in Chinese)
Chen, J.-Z., Liu, D.-Y., Tang, H.-Y., Hu, M.: An Extended BDI Logic for Modeling Multi-agent Communication. Journal of Software 10(7), 778–784 (1999) (in Chinese)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
He, J., Yu, F. (2013). A Formal Approach to Model the Interaction between User and AmI Environment. In: Zu, Q., Hu, B., Elçi, A. (eds) Pervasive Computing and the Networked World. ICPCA/SWS 2012. Lecture Notes in Computer Science, vol 7719. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-37015-1_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-37015-1_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-37014-4
Online ISBN: 978-3-642-37015-1
eBook Packages: Computer ScienceComputer Science (R0)