Ambient Intelligence: Concepts and applications
2007, Computer Science and Information Systems
Abstract
Ambient Intelligence aims to enhance the way people interact with their environment to promote safety and to enrich their lives. A Smart Home is one such system but the idea extends to hospitals, public transport, factories and other environments. The achievement of Ambient Intelligence largely depends on the technology deployed (sensors and devices interconnected through networks) as well as on the intelligence of the software used for decision-making. The aims of this article are to describe the characteristics of systems with Ambient Intelligence, to provide examples of their applications and to highlight the challenges that lie ahead, especially for the Software Engineering and Knowledge Engineering communities. In particular we address system specification and verification for the former and knowledge acquisition from the vast amount of data collected for the latter.
References (44)
- R. Want. "Rfid -a key to automating everything". Scientific American, 290:46-55, January 2004.
- C. D. Nugent and J. C. Augusto, editors. Proceedings of 4th International Conference On Smart homes and health Telematic (ICOST2006), Assistive Technology Research Series. IOS Press, 2006. Belfast, UK.
- J.C. Augusto and D. Shapiro, editors. Proceedings of the 2nd Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI'2007). Co- located event of IJCAI'07. Hyderabad, India, Jan. 2007 .
- Moore's Law at 40 -Happy birthday". The Economist (2005-03-23).
- ay Kurzweil (2001-03-07). "The Law of Accelerating Returns". KurzweilAI.net.
- A. Black, MF. McTear, ND. Black, R. Harper. "Voice based access to a medical database". Personalised Health Management Systems, Stud Health Technol Inform 2005; 117: 232-6, ISBN: 978-1-58603-565-5
- uropean Commision, eEurope 2005; "eHealth: Commission calls for better use of technologies that empower patients, improve healthcare and save lives".
- Philips, 2006. www.research.philips.com/technologies/syst_softw/ami/ .
- TT, 2006. www.vtt.fi/uutta/2006/20060602.jsp .
- ST Advisory Group. The european union report, scenarios for ambient intelligence in 2010, 2001. ftp.cordis.lu/pub/ist/docs/istagscenarios2010.pdf .
- C. Augusto and D. Cook. Ambient Intelligence: applications in society and opportunities for AI. Lecture Notes, tutorial given during 20th International Joint Conference on Artificial Intelligence -IJCAI'07, Hyderabad, India, January 2007.
- Weiser. "The computer for the twenty-first century". Scientific American, 165:94- 104, 1991.
- N. Streitz and P. Nixon. "Special issue on 'the disappearing computer' ". In Communications of the ACM, V 48, N 3, pages 32-35. ACM Press, March 2005.
- M. Weiser. "Hot topics: Ubiquitous computing". IEEE Computer, 26(10):71-72, 1993.
- D. Saha and A. Mukherjee. "Pervasive computing: A paradigm for the 21st century". IEEE Computer, 36(3):25-31, March 2003.
- A. Greenfield. Everyware: The Dawning Age of Ubiquitous Computing. Peachpit Press, 2006.
- S. J. Russell and P. Norvig. Artificial Intelligence: A Modern Approach (Second Edition). Prentice Hall, 2003.
- H. Raffler. "Other perspectives on ambient intelligence", 2006. www.research.philips.com/password/archive/23/pw23_ambintel_other.html .
- K. Brooks. "The context quintet: narrative elements applied to context awareness". In Proceedings of the International Conference on Human Computer Interaction (HCI 2003). Erlbaum Associates, Inc., 2003.
- A. Dix, J. Finlay, G. D. Abowd, and R. Beale. Human-Computer Interaction, 3 rd edition. Prentice Hall, 2003.
- D. J. Cook and S. Das, editors. Smart Environments: Technologies, Protocols and Applications. JohnWiley and Sons, 2004.
- JC. Augusto and CD. Nugent. Designing Smart Homes: the role of Artificial Intelligence. Springer, 2006.
- Tunstall, www.tunstall.co.uk/4_6telecare.htm (accessed March 2007).
- H. Pigot, A. Mayers, S. Giroux, B. Lefebvre, and N. Noury V. Rialle. "Smart house for frail and cognitive impaired elders". UbiCog '02: First International Workshop on Ubiquitous Computing for Cognitive Aids, Göteborg, Sweden, Sept. 2002.
- G. A. Abowd, I. Bobick, E. Essa, and W. Mynatt. "The aware home: Developing technologies for successful aging". Proceedings of AAAI Workshop and Automation as a Care Giver. July 2002.
- D. Cook. "Health monitoring and assistance to support aging in place". JUCS, 12(1):15-29, 2006.
- A. Helal, W. Mann, H. Elzabadani, J. King, Y. Kaddourah, and E. Jansen. "Gator tech smart house: A programmable pervasive space". IEEE Computer magazine, pages 64-74, March 2005.
- JC. Augusto, P. McCullagh, V. McClelland, and J-A. Walkden. "Enhanced Healthcare Provision Through Assisted Decision-Making in a Smart Home Environment", Proceedings of the 2nd Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI'07), pages 27-32. IJCAI, 2007.
- JC. Augusto and CD. Nugent. "A new architecture for smart homes based on ADB and temporal reasoning". In D. Zhang and M. Mokhtari, editors, Proceedings of 2 nd International Conference On Smart homes and health Telematic, pages 106-113.
- Assistive Technology Research Series, Volume 14. IOS Press, 2004.
- JC. Augusto. "Ambient intelligence: The confluence of pervasive computing and artificial intelligence". In Computing Everywhere. A. Schuster, editor. Springer Verlag, 2007.
- ACM-Pnueli, 1996. URL: www.acm.org/announcements/turing.html .
- CM-SPIN, 2001. URL: www.acm.org/announcements/ss_2001.html 36. The explosion of Ariane www.ima.umn.edu/~arnold/disasters/ariane.html
- Leveson and C. Turner, "An Investigation of the Therac-25 Accidents," Computer, July 1993, pp. 18-41. 37. ondon transport plan, 2005-2010, (last accessed in March 2007) www.london.gov.uk/mayor/transport/tfl-investmentprog2005.jsp
- L.T. Kohn, J.M. Corrigan, and M.S. Donaldson, eds., "To Err Is Human: Building a Safer Health System", National Academies Press, 2000, p. 80; http://darwin.nap.edu/books/ 0309068371/html .
- R. A. Schrenker. "Software Engineering for Future Healthcare and Clinical Systems", Computer, April 2006 (Vol. 39, No. 4) pp. 26-32.
- "The Way Forward for NHS Health Informatics; Where should NHS Connecting for Health (NHS CFH) Go from Here?" A report on behalf of the British Computer Society (BCS) by the BCS Health Informatics Forum Strategic Panel is available to read and download at www.bcs.org/hi/forward .
- B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, Ph.
- Schnoebelen, P. McKenzie. "Systems and Software Verification (Model-Checking Techniques and Tools)". Springer Verlag.
- "Concurrent Development of Model and Implementation". A. Gravell, Y. Howard, J. C. Augusto, C. Ferreira, and S. Gruner. Proceedings of 16th International Conference on "Software and Systems Engineering and their Applications". Paris, France. December 2-4, 2003.
- Corbett, J.C.; Dwyer, M.B.; Hatcliff, J.; Laubach, S.; Pasareanu, C.S.; Robby; Hongjun Zheng. "Bandera: extracting finite-state models from Java source code." Proceedings of the Int. Conf. on Software Engineering. Page(s):439 -448. 2000.
- Kim G. Larsen, Paul Pettersson, and Wang Yi. "UPPAAL in a Nutshell". International Journal on Software Tools for Technology Transfer. Number 1-2, pages 134-152. 1997.
- Arthur McFall. "Checking Behavioural Properties Of Smart Homes.". MSC in Informatics. University of Ulster. 2005.
- "Patterns in property specifications for finite-state verification". M. Dwyer, G. Avrunin, and J. Corbett. In Proceedings of 21st International Conference on Software Engineering, ICSE99, Los Angeles, May 1999.