Advertisement

Context Reasoning and Prediction in Smart Environments: The Home Manager Case

  • Roberta CalegariEmail author
  • Enrico Denti
Conference paper
Part of the Smart Innovation, Systems and Technologies book series (SIST, volume 76)

Abstract

In Smart Environments computing systems are ubiquitous, intelligence pervades the space, and people’s situatedness in time and space is exploited to provide a contextualised, adaptive user experience.

Their socio-technical nature calls for skills, concepts, methodologies, technologies from diverse fields – AI, coordination, distributed systems, organisational sciences, etc. –, promoting a multi-paradigm perspective.

This work explores the Smart Environments context moving from two basic bricks: Butlers for Smart Spaces, a technology-neutral reference framework focused on users’ situatedness and interaction aspects; and Home Manager, a multi-paradigm, agent-based implementation platform for Smart Living contexts, particularly focused on the reasoning aspects.

For concreteness, we take a Smart Kitchen as our running example, discussing how it can be devised in Butlers for Smart Spaces and deployed on Home Manager, focusing on context reasoning and prediction aspects.

Notes

Acknowledgments

Authors would like to thank Dr. Ambra Molesini for her suggestions and feedback on the manuscript of this paper.

References

  1. 1.
  2. 2.
    Apple: Apple Home Kit (2014). https://developer.apple.com/homekit/
  3. 3.
    Borgia, E.: The Internet of Things vision: key features, applications and open issues. Comput. Commun. 54, 1–31 (2014)CrossRefGoogle Scholar
  4. 4.
    Boytsov, A.: Context reasoning, context prediction and proactive adaptation in pervasive computing systems (2011)Google Scholar
  5. 5.
    Calegari, R., Denti, E.: Building smart spaces on the Home Manager platform. ALP Newsletter, December 2016. https://www.cs.nmsu.edu/ALP/2016/12/building-smart-spaces-on-the-home-manager-platform/
  6. 6.
    Calegari, R., Denti, E.: The Butlers framework for socio-technical smart spaces. In: INSCI 2016. LNCS, vol. 9934, pp. 306–317. Springer (2016)Google Scholar
  7. 7.
    Chen, H., Finin, T., Joshi, A., Kagal, L., Perich, F., Chakraborty, D.: Intelligent agents meet the semantic web in smart spaces. IEEE Internet Comput. 8(6), 69–79 (2004)CrossRefGoogle Scholar
  8. 8.
    Denti, E.: Novel pervasive scenarios for home management: the Butlers architecture. SpringerPlus 3(52), 1–30 (2014)Google Scholar
  9. 9.
    Denti, E., Calegari, R.: Butler-ising Home Manager: a pervasive multi-agent system for home intelligence. In: 7th International Conference on Agents and Artificial Intelligence (ICAART 2015), pp. 249–256. SCITEPRESS, Lisbon, 10–12 January 2015Google Scholar
  10. 10.
    Denti, E., Omicini, A., Calegari, R.: tuProlog: making Prolog ubiquitous. ALP Newsletter, October 2013. http://www.cs.nmsu.edu/ALP/2013/10/tuprolog-making-prolog-ubiquitous/
  11. 11.
    Denti, E., Omicini, A., Ricci, A.: tuProlog: a light-weight Prolog for Internet applications and infrastructures. In: Practical Aspects of Declarative Languages. LNCS, vol. 1990, pp. 184–198. Springer (2001)Google Scholar
  12. 12.
    Finn, P., Fitzpatrick, C.: Demand side management of industrial electricity consumption: promoting the use of renewable energy through real-time pricing. Appl. Energy 113, 11–21 (2014)CrossRefGoogle Scholar
  13. 13.
  14. 14.
  15. 15.
    Gubbi, J., Buyya, R., Marusic, S., Palaniswami, M.: Internet of Things (IoT): a vision, architectural elements, and future directions. Future Gener. Comput. Syst. 29(7), 1645–1660 (2013)CrossRefGoogle Scholar
  16. 16.
    He, W., Yan, G., Xu, L.D.: Developing vehicular data cloud services in the IoT environment. IEEE Trans. Ind. Inf. 10(2), 1587–1595 (2014)CrossRefGoogle Scholar
  17. 17.
  18. 18.
    Microsoft: the Internet of your things (2015). https://dev.windows.com/en-us/iot/
  19. 19.
    Monacchi, A., Egarter, D., Elmenreich, W.: Integrating households into the smart grid. In: 2013 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), pp. 1–6, May 2013Google Scholar
  20. 20.
    Omicini, A., Denti, E.: From tuple spaces to tuple centres. Sci. Comput. Program. 41(3), 277–294 (2001)CrossRefzbMATHGoogle Scholar
  21. 21.
    Omicini, A., Zambonelli, F.: Coordination for Internet application development. Auton. Agents Multi-Agent Syst. 2(3), 251–269 (1999)CrossRefGoogle Scholar
  22. 22.
    Palensky, P., Dietrich, D.: Demand side management: demand response, intelligent energy systems, and smart loads. IEEE Trans. Ind. Inf. 7(3), 381–388 (2011)CrossRefGoogle Scholar
  23. 23.
    Ricci, A., Piunti, M., Tummolini, L., Castelfranchi, C.: The mirror world: preparing for mixed-reality living. IEEE Pervasive Comput. 14(2), 60–63 (2015)CrossRefGoogle Scholar
  24. 24.
    Saha, D., Mukherjee, A.: Pervasive computing: a paradigm for the 21st century. Computer 36(3), 25–31 (2003)CrossRefGoogle Scholar
  25. 25.
    Samsung: Samsung Smart Things (2015). https://www.smartthings.com
  26. 26.
    Schaffers, H., Komninos, N., Pallot, M., Trousse, B., Nilsson, M., Oliveira, A.: Smart cities and the future Internet: towards cooperation frameworks for open innovation. In: The Future Internet, pp. 431–446. Springer (2011)Google Scholar
  27. 27.
    Shrouf, F., Miragliotta, G.: Energy management based on Internet of Things: practices and framework for adoption in production management. J. Cleaner Prod. 100, 235–246 (2015)CrossRefGoogle Scholar
  28. 28.
    Stojkoska, B.R., Avramova, A.P., Chatzimisios, P.: Application of wireless sensor networks for indoor temperature regulation. Int. J. Distrib. Sens. Netw. 10(5) (2014). Article No. 502419Google Scholar
  29. 29.
    TuCSoN: Home page (2017). http://tucson.apice.unibo.it/
  30. 30.
    tuProlog: Home page (2017). http://tuprolog.apice.unibo.it
  31. 31.
    Wang, X., Dong, J.S., Chin, C., Hettiarachchi, S., Zhang, D.: Semantic space: an infrastructure for smart spaces. IEEE Pervasive Comput. 3(3), 32–39 (2004)CrossRefGoogle Scholar
  32. 32.
    Xu, B., Xu, L.D., Cai, H., Xie, C., Hu, J., Bu, F.: Ubiquitous data accessing method in IoT-based information system for emergency medical services. IEEE Trans. Ind. Inf. 10(2), 1578–1586 (2014)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  1. 1.Dipartimento di Informatica-Scienza e Ingegneria (DISI)Alma Mater Studiorum–Università di BolognaBolognaItaly

Personalised recommendations