Skip to main content
SpringerLink
Log in
Book cover

Joint International Conference on Pervasive Computing and the Networked World

ICPCA/SWS 2012: Pervasive Computing and the Networked World pp 216–230Cite as

A Formal Approach to Model the Interaction between User and AmI Environment

  • Conference paper

  • 3826 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCCN,volume 7719))

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.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ISTAG, Scenarios for Ambient Intelligence in 2010, http://www.cordis.lu/istag.html

  2. Hagras, H., Callaghan, V., Colley, M., et al.: Creating an Ambient-Intelligence Environment Using Embedded Agents. IEEE Intelligent Systems 19(6), 12–20 (2004)

    Article  Google Scholar 

  3. 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)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. Bikakis, A., Antoniou, G.: Defeasible Contextual Reasoning with Arguments in Ambient Intelligence. IEEE Transactions on Knowledge and Data Engineering 22(11), 1492–1506 (2010)

    Article  Google Scholar 

  6. Trivedi, M., Huang, K., Mikic, I.: Intelligent environments and active camera networks. IEEE Transactions on Systems Man and Cybernetics (October 2000)

    Google Scholar 

  7. MIT Project Oxygen, http://oxygen.lcs.mit.edu/

  8. 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)

    Google Scholar 

  9. 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)

    Google Scholar 

  10. Aware Home Research Initiative (AHRI), http://www.cc.gatech.edu/fce/ahri/

  11. 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)

    Google Scholar 

  12. RUNES, http://www.ist-runes.org/

  13. 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)

    Article  Google Scholar 

  14. AMIGO, http://www.hitech-projects.com/euprojects/amigo/

  15. 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)

    Article  Google Scholar 

  16. 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)

    Article  Google Scholar 

  17. 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)

    Google Scholar 

  18. 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)

    Article  Google Scholar 

  19. 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)

    Chapter  Google Scholar 

  20. 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)

    Chapter  Google Scholar 

  21. Reddy, S., Estrin, D., Hansen, M., et al.: Examining Micro-Payments for Participatory Sensing Data Collections. In: Proc. Ubicomp 2010, pp. 33–36 (2010)

    Google Scholar 

  22. Dey, A.K.: Modeling and intelligibility in ambient environments. Journal of Ambient Intelligence and Smart Environments 1(1), 57–62 (2009)

    Google Scholar 

  23. Damasio, A.R.: The Feeling of What Happens Body, Emotion and the Making of Consciousness. Harvest Books, London (2000)

    Google Scholar 

  24. 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)

    Article  Google Scholar 

  25. Du, T.C.: Implementing Association Rule Techniques in Data Allocation of Distributed Database. Chung Yuan Christian Univ., Taiwan (2000)

    Google Scholar 

  26. Jess, the Rule Engine for the Java Platform, http://herzberg.ca.sandia.gov/jess/

  27. Kushmerick, N.: Software agents and their bodies. Minds and Machines 7(2), 227–247 (1997)

    Article  Google Scholar 

  28. Hu, S.-L., Shi, C.-Y.: Agent-BDI Logic. Journal of Software 1(10), 1351–1360 (2000) (in Chinese)

    Google Scholar 

  29. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Software Engineering, Beijing University of Technology, Beijing, 100022, China

    Jian He

  2. Suite 530 Norcross, Cyber Object Corp, 6525 The Corners Pkwy, Atlanta, Georgia, 30092, USA

    Fan Yu

Authors
  1. Jian He
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fan Yu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Wuhan University of Technology, Heping Road 1178, Wuchang District, 430081, Wuhan, Hubei, China

    Qiaohong Zu

  2. Hayes Park Central, Fujitsu Laboratories of Europe Ltd., Hayes End Road, UB4 8FE, Hayes, Middlesex, UK

    Bo Hu

  3. Department of Electrical and Electronics Engineering, Aksaray University, Merkez Kampüsü, 68100, Aksaray, Turkey

    Atilla Elçi

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation