Ilche Georgievski
Skip Abstract Section
Skip Supplemental Material SectionAbstract
The goal of ubiquitous computing is to create ambience in which one’s experiences and quality of life are improved by monitoring and assisting people using ubiquitous technologies and computation in coherence. The continuous advancements of involved technologies, such as wireless communications, mobile devices, and sensors, imply fast evolution of ubiquitous computing environments too. The complexity of these environments is reaching a point where traditional solutions simply no longer work. The environments are in need of computational techniques that can deal with the evolution and uncertainty of ubiquitous computing environments dynamically and automatically. Artificial Intelligence (AI) can contribute towards satisfying this future scenario in many ways, while numerous approaches inspired by work in the AI planning community have already been designed for ubiquitous computing. We devote this study to investigate the current progress of AI planning for ubiquitous computing by analysing those approaches. We rigorously search for and select relevant literature out of which we extract qualitative information. Using the extracted qualities, we derive a generic framework that consists of aspects important to planning for ubiquitous computing. The framework’s main purpose is to facilitate the understanding of those aspects, and classify the literature according to them. We then analyse the literature in a consolidated way, and identify future challenges of planning for ubiquitous computing.
Supplemental Material
Available for Download
zip
georgievski.zip (328.5 KB)
Supplemental movie, appendix, image and software files for, Automated Planning for Ubiquitous Computing
- Marco Aiello, Ian Pratt-Hartmann, and Johan van Benthem. 2007a. Handbook of Spatial Logics. Springer. Google Scholar
Digital Library
- Marco Aiello, Ian Pratt-Hartmann, and Johan Van Benthem. 2007b. What is spatial logic? In Handbook of Spatial Logics. Springer, 1--11.Google Scholar
- Ian Alexander and Neil Maiden. 2004. Scenarios, Stories, use Cases: Through the Systems Development Life-cycle. John Wiley 8 Sons. Google ScholarDigital Library
- James F. Allen. 1983. Maintaining knowledge about temporal intervals. Communications of the ACM 26, 11 (1983), 832--843. Google ScholarDigital Library
- Giuseppe Amato, Davide Bacciu, Mathias Broxvall, Stefano Chessa, Sonya A. Coleman, Maurizio Di Rocco, Mauro Dragone, Claudio Gallicchio, Claudio Gennaro, Héctor Lozano Peiteado, T. Martin McGinnity, Alessio Micheli, A. K. Ray, Arantxa Rentería, Alessandro Saffiotti, David Swords, Claudio Vairo, and Philip J. Vance. 2015. Robotic ubiquitous cognitive ecology for smart homes. Journal of Intelligent and Robotic Systems 80, Supplement-1 (2015), 57--81. Google ScholarDigital Library
- Francesco Amigoni, Nicola Gatti, Carlo Pinciroli, and Manuel Roveri. 2005. What planner for ambient intelligence applications? IEEE Transactions on Systems, Man and Cybernetics, Part A 35, 1 (2005), 7--21. Google ScholarDigital Library
- Hajnal Andréka, Judit X. Madarász, and István Németi. 2007. Logic of space-time and relativity theory. In Handbook of Spatial Logics. Springer, 607--711.Google Scholar
- Fahiem Bacchus and Froduald Kabanza. 1996. Using temporal logic to control search in a forward chaining planner. In New Directions in AI Planning, Malik Ghallab and Alfredo Milani (Eds.). IOS Press, 141--153. Google ScholarDigital Library
- Liz Bacon, Lachlan M. MacKinnon, Amedeo Cesta, and Gabriella Cortellessa. 2013. Developing a smart environment for crisis management training. Journal of Ambient Intelligence and Humanized Computing 4, 5 (2013), 581--590.Google ScholarCross Ref
- Javier Bajo, Juan F. de Paz, Yanira de Paz, and Juan M. Corchado. 2009. Integrating case-based planning and RPTW neural networks to construct an intelligent environment for health care. Expert Systems with Applications 36, 3 (2009), 5844--5858. Google ScholarDigital Library
- Roman Barták, Miguel A. Salido, and Francesca Rossi. 2010. Constraint satisfaction techniques in planning and scheduling. Journal of Intelligent Manufacturing 21, 1 (2010), 5--15.Google ScholarCross Ref
- Sandrine Beauche and Pascal Poizat. 2008. Automated service composition with adaptive planning. In International Conference on Service-Oriented Computing (ICSOC’08). Springer-Verlag, 530--537. Google ScholarDigital Library
- Mounir Beggas, Lionel Médini, Frederique Laforest, and Mohamed Tayeb Laskri. 2013. Fuzzy logic based utility function for context-aware adaptation planning. In Modeling Approaches and Algorithms for Advanced Computer Applications, Abdelmalek Amine, Ait Mohamed Otmane, and Ladjel Bellatreche (Eds.). Studies in Computational Intelligence, Vol. 488. Springer, 227--236.Google Scholar
- Johan van Benthem. 1983. The Logic of Time: A Model-theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse. Springer. Google ScholarDigital Library
- J. Benton, Amanda J. Coles, and Andrew Coles. 2012. Temporal planning with preferences and time-dependent continuous costs. In International Conference on Automated Planning and Scheduling. 2--10.Google Scholar
- Piergiorgio Bertoli, Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik, and Matthias Wagner. 2009. Continuous orchestration of Web services via planning. In International Conference on Automated Planning and Scheduling (ICAPS’09). 18--25.Google Scholar
- Claudio Bettini, Oliver Brdiczka, Karen Henricksen, Jadwiga Indulska, Daniela Nicklas, Anand Ranganathan, and Daniele Riboni. 2010. A survey of context modelling and reasoning techniques. Pervasive and Mobile Computing 6, 2 (2010), 161--180. Google ScholarDigital Library
- Claudio Bettini and Daniele Riboni. 2015. Privacy protection in pervasive systems: State of the art and technical challenges. Pervasive and Mobile Computing 17, Part B, 0 (2015), 159--174. Google ScholarDigital Library
- Julien Bidot and Susanne Biundo. 2011. Artificial intelligence planning for ambient environments. In Next Generation Intelligent Environments, Wolfgang Minker and Tobias Heinroth (Eds.). Springer, 195--225.Google Scholar
- Julien Bidot, Christos Goumopoulos, and Ioannis Calemis. 2011. Using AI planning and late binding for managing service workflows in intelligent environments. In International Conference on Pervasive Computing and Communications. IEEE, 156--163. Google ScholarDigital Library
- Zeungnam Zenn Bien, Hyong-Euk Lee, Jun-Hyeong Do, Yong-Hwi Kim, Kwang-Hyun Park, and Seung-Eun Yang. 2008. Intelligent interaction for human-friendly service robot in smart house environment. International Journal of Computational Intelligence Systems 1, 1 (2008), 77--94.Google ScholarCross Ref
- Avrim L. Blum and Merrick L. Furst. 1997. Fast planning through planning graph analysis. Artificial Intelligence 90, 12 (1997), 281--300. Google ScholarDigital Library
- Blai Bonet and Héctor Geffner. 2001. Planning as heuristic search. Artificial Intelligence 129, 12 (2001), 5--33. Google ScholarDigital Library
- Craig Boutilier, Thomas Dean, and Steve Hanks. 1999. Decision-theoretic planning: Structural assumptions and computational leverage. Journal of Artificial Intelligence Research 11 (1999), 1--94. Google ScholarDigital Library
- Michael Brenner and Bernhard Nebel. 2009. Continual planning and acting in dynamic multiagent environments. Autonomous Agents and Multi-Agent Systems 19, 3 (2009), 297--331. Google ScholarDigital Library
- Kevin Carey, Dave Lewis, Steffen Higel, and Vincent Wade. 2004. Adaptive composite service plans for ubiquitous computing. In International Workshop on Managing Ubiquitous Communications and Services.Google Scholar
- Berardina Carolis and Giovanni Cozzolongo. 2007. Planning the behaviour of a social robot acting as a majordomo in public environments. In Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing. 805--812. Google ScholarDigital Library
- Mario Caruso, Çağri Ilban, Francesco Leotta, Massimo Mecella, and Stavros Vassos. 2013. Synthesizing daily life logs through gaming and simulation. In ACM Conference on Pervasive and Ubiquitous Computing Adjunct Publication. 451--460. Google ScholarDigital Library
- Roberto Casati and Achille C. Varzi. 1999. Parts and Places: The Structures of Spatial Representation. MIT Press.Google Scholar
- Luis A. Castillo, Juan Fernández-Olivares, Óscar García-Pérez, and Francisco Palao. 2006. Efficiently handling temporal knowledge in an HTN planner. In International Conference on Automated Planning and Scheduling. 63--72.Google Scholar
- Ahmed-Chawki Chaouche, Amal El Fallah-Seghrouchni, Jean-Michel Ilié, and Djamel-Eddine Saïdouni. 2015. Improving the contextual selection of BDI plans by incorporating situated experiments. In International Conference on Artificial Intelligence Applications and Innovations. 266--281.Google ScholarCross Ref
- Chia-Hung Chen, Alan Liu, and Pei-Chuan Zhou. 2014. Controlling a service robot in a smart home with behavior planning and learning. In International Conference on Systems, Man and Cybernetics. 2821--2826.Google ScholarCross Ref
- Nanxi Chen, Nicolás Cardozo, and Siobhán Clarke. 2016. Goal-driven service composition in mobile and pervasive computing. IEEE Transactions on Services Computing PP, 99 (2016), 1--1.Google Scholar
- Sehyeong Cho and Chulan Ren. 2008. Using goal-oriented paradigm for community computing. In IEEE International Conference on Industrial Informatics. 1031--1035.Google Scholar
- Marcello Cirillo, Lars Karlsson, and Alessandro Saffiotti. 2008. A framework for human-aware robot planning. In Scandinavian Conference on Artificial Intelligence (SCAI 2008). 52--59. Google ScholarDigital Library
- Marcello Cirillo, Lars Karlsson, and Alessandro Saffiotti. 2012. Human-aware planning for robots embedded in ambient ecologies. Pervasive and Mobile Computing 8, 4 (2012), 542--561. Google ScholarDigital Library
- Juliet Corbin and Anselm Strauss. 2008. Basics of Qualitative Research: Techniques and Procedures for Developing Grounded Theory. Sage.Google Scholar
- John M. Corchado, Javier Bajo, and Ajith Abraham. 2008a. GerAmi: Improving healthcare delivery in geriatric residences. IEEE Intelligent Systems 23, 2 (2008), 19--25. Google ScholarDigital Library
- Juan M. Corchado, Javier Bajo, Juan F. De Paz, and Sara Rodrguez. 2009. An execution time neural-CBR guidance assistant. Neurocomputing 72, 1315 (2009), 2743--2753. Google ScholarDigital Library
- Juan M. Corchado, Javier Bajo, Yanira de Paz, and Dante I. Tapia. 2008b. Intelligent environment for monitoring alzheimer patients, agent technology for health care. Decision. Support Systems 44, 2 (2008), 382--396. Google ScholarDigital Library
- François Courtemanche, Mehdi Najjar, Blandine Paccoud, and André Mayers. 2008. Assisting elders via dynamic multi-tasks planning: A Markov decision processes based approach. In International Conference on Ambient Media and Systems. 1--8. Google ScholarDigital Library
- Oleg Davidyuk, Nikolaos Georgantas, Valérie Issarny, and Jukka Riekki. 2011. MEDUSA: Middleware for end-user composition of ubiquitous applications. In Handbook of Research on Ambient Intelligence and Smart Environments: Trends and Perspectives, F. Mastrogiovanni and N. Y. Chong (Eds.). Vol. 11. IGI Global, 197--219.Google Scholar
- Fred D. Davis. 1986. A Technology Acceptance Model for Empirically Testing New End-user Information Systems : Theory and Results. Ph.D. dissertation. Massachusetts Institute of Technology.Google Scholar
- Giuseppe De Giacomo, Claudio Ciccio, Paolo Felli, Yuxiao Hu, and Massimo Mecella. 2012. On the Move to Meaningful Internet Systems: OTM 2012: Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE. Springer, 194--211.Google Scholar
- Viktoriya Degeler, Luis I. Lopera Gonzalez, Mariano Leva, Paul Shrubsole, Silvia Bonomi, Oliver Amft, and Alexander Lazovik. 2013. Service-oriented architecture for smart environments. In IEEE International Conference on Service Oriented Computing and Applications (SOCA’13). 99--104. Google ScholarDigital Library
- Maurizio Di Rocco, Federico Pecora, and Alessandro Saffiotti. 2013. When robots are late: Configuration planning for multiple robots with dynamic goals. In IEEE/RSJ International Conference on Intelligent Robots and Systems. 5915--5922.Google ScholarCross Ref
- Maurizio Di Rocco, Subhash Sathyakeerthy, Jasmin Grosinger, Federico Pecora, Alessandro Saffiotti, Filippo Cavallo, Bonaccorsi Manuele, Raffaele Limosani, Alessandro Manzi, Giancarlo Teti, and Paolo Dario. 2014. A planner for ambient assisted living: From high-level reasoning to low-level robot execution and back. In AAAI Spring Symposium. 10--17.Google Scholar
- Yun Ding, Christian Elting, and Ulrich Scholz. 2006. Seamless integration of output devices in intelligent environments: Infrastructure, strategies and implementation. In IET International Conference on Intelligent Environments. 21--30.Google ScholarCross Ref
- Stefan Edelkamp and Malte Helmert. 2001. MIPS: The model-checking integrated planning system. AI Magazine 22, 3 (2001), 67--72.Google Scholar
- Christian Elting. 2005. Orchestrating output devices: Planning multimedia presentations for home entertainment with ambient intelligence. In Joint Conference on Smart Objects and Ambient Intelligence: Innovative Context-aware Services: Usages and Technologies. ACM, 153--158. Google ScholarDigital Library
- Manfred Eppe and Mehul Bhatt. 2015. Approximate postdictive reasoning with answer set programming. Journal of Applied Logic 13, 4, Part 3 (2015), 676--719. Google ScholarDigital Library
- Thomas Erl. 2007. SOA Principles of Service Design. Prentice Hall PTR. Google ScholarDigital Library
- Kutluhan Erol, James Hendler, and Dana S. Nau. 1994. HTN planning: Complexity and expressivity. In National Conference on Artificial Intelligence - Volume 2. AAAI, 1123--1128. Google ScholarDigital Library
- Fang Fang, Zhou Bo, Qian Kun, Ma Xudong, and Dai Xianzhong. 2015. Mobile robot task planning system design in intelligent environments. In Chinese Control Conference. 5815--5818.Google ScholarCross Ref
- Roy T. Fielding and Richard N. Taylor. 2002. Principled design of the modern Web architecture. ACM Transactions on Internet Technology 2, 2 (2002), 115--150. Google ScholarDigital Library
- Tarik Fissaa, Hatim Guermah, Hatim Hafiddi, Mahmoud Nassar, and Abdelaziz Kriouile. 2014. Towards an ontology based architecture for context-aware services composition. In International Conference on Multimedia Computing and Systems. 990--995.Google ScholarCross Ref
- Maria Fox and Derek Long. 2003. PDDL2.1: An extension to PDDL for expressing temporal planning domains. Journal of Artificial Intelligence Research 20, 1 (2003), 61--124. Google ScholarCross Ref
- Juan A. Fraile, Yanira Paz, Javier Bajo, Juan Francisco Paz, and Belén Pérez-Lancho. 2013. Context-aware multiagent system: Planning home care tasks. Knowledge and Information Systems (2013), 1--33. Google ScholarDigital Library
- David Franklin and Kristian Hammond. 2001. The intelligent classroom: Providing competent assistance. In International Conference on Autonomous Agents (AGENTS’01). ACM, 161--168. Google ScholarDigital Library
- Christian Fritz and Sheila A. McIlraith. 2007. Monitoring plan optimality during execution. In International Conference on Automated Planning and Scheduling. 144--151.Google Scholar
- Alfredo Garro, Sergio Greco, and Fabio Palopoli. 2008. Smart agents and smart environments: A predictive approach to replanning. In Intelligent Agents and Services for Smart Environments as Part of the Artificial Intelligence and Simulation of Behaviour Convention. 7--12.Google Scholar
- Ilche Georgievski and Marco Aiello. 2015. HTN planning: Overview, comparison, and beyond. Artificial Intelligence 222 (2015), 124--156. Google ScholarDigital Library
- Ilche Georgievski, Tuan Anh Nguyen, and Marco Aiello. 2013. Combining activity recognition and AI planning for energy-saving offices. In International Conference on Ubiquitous Intelligence and Computing. IEEE, 238--245. Google ScholarDigital Library
- A. Gerevini and D. Long. 2006. Preferences and soft constraints in PDDL3. In ICAPS Workshop on Planning with Preferences and Soft Constraints.Google Scholar
- Alfonso Gerevini and Ivan Serina. 2002. LPG: A planner based on local search for planning graphs with action costs. In International Conference on Artificial Intelligence Planning Systems. 13--22.Google Scholar
- Malik Ghallab, Dana S. Nau, and Paolo Traverso. 2004. Automated Planning: Theory 8 Practice. Morgan Kaufmann Publishers Inc. Google ScholarDigital Library
- Barney G. Glaser and Anselm L. Strauss. 2009. The Discovery of Grounded Theory: Strategies for Qualitative Research. Aldine de Gruyter.Google Scholar
- Nahid Golafshani. 2003. Understanding reliability and validity in qualitative research. The Qualitative Report 8, 4 (2003), 597--607.Google Scholar
- Marek Grześ, Jesse Hoey, Shehroz S. Khan, Alex Mihailidis, Stephen Czarnuch, Dan Jackson, and Andrew Monk. 2014. Relational approach to knowledge engineering for POMDP-based assistance systems as a translation of a psychological model. International Journal of Approximate Reasoning 55, 1, Part 1 (2014), 36--58.Google ScholarCross Ref
- Young-Guk Ha, Joo-Chan Sohn, Young-Jo Cho, and Hyunsoo Yoon. 2005. Towards a ubiquitous robotic companion: Design and implementation of ubiquitous robotic service framework. Electronics and Telecommunications Research Institute Journal 27, 6 (2005), 666--676.Google Scholar
- Kristian J. Hammond. 1989. Case-based Planning: Viewing Planning as a Memory Task. Academic Press Prof. Google ScholarCross Ref
- Anthony Harrington and Vinny Cahill. 2011. Model-driven engineering of planning and optimisation algorithms for pervasive computing environments. Pervasive and Mobile Computing 7, 6 (2011), 705--726. Google ScholarDigital Library
- Thomas Heider. 2003. Goal-oriented assistance for extended multimedia systems and dynamic technical infrastructures. In IASTED International Conference on Internet and Multimedia Systems and Applications.Google Scholar
- Thomas Heider and Thomas Kirste. 2002. Supporting goal-based interaction with dynamic intelligent environments. In European Conference on Artificial Intelligence (ECAI’02). 596--600. Google ScholarDigital Library
- Malte Helmert. 2006. The fast downward planning system. Journal of Artificial Intelligence Research 26, 1 (2006), 191--246. Google ScholarDigital Library
- Malte Helmert. 2009. Concise finite-domain representations for PDDL planning tasks. Artificial Intelligence 173, 5--6 (2009), 503--535. Google ScholarDigital Library
- Eva Hidalgo, Luis Castillo, R. Ignacio Madrid, Óscar García-Pérez, Manuel R. Cabello, and Juan Fernández-Olivares. 2011. ATHENA: Smart process management for daily activity planning for cognitive impairment. In Ambient Assisted Living, José Bravo, Ramón Hervás, and Vladimir Villarreal (Eds.). Lecture Notes in Computer Science, Vol. 6693. Springer, 65--72.Google Scholar
- Guy Hoffman and Cynthia Breazeal. 2007. Cost-based anticipatory action selection for human--robot fluency. IEEE Transactions on Robotics 23, 5 (2007), 952--961. Google ScholarDigital Library
- Jörg Hoffmann and Bernhard Nebel. 2001. The FF planning system: Fast plan generation through heuristic search. Journal of Artificial Intelligence Research 14, 1 (2001), 253--302. Google ScholarDigital Library
- Frank Honold, Pascal Bercher, Felix Richter, Florian Nothdurft, Thomas Geier, Roland Barth, Thilo Hörnle, Felix Schüssel, Stephan Reuter, Matthias Rau, Gregor Bertrand, Bastian Seegebarth, Peter Kurzok, Bernd Schattenberg, Wolfgang Minker, Michael Weber, and Susanne Biundo. 2014. Companion-technology: Towards user- and situation-adaptive functionality of technical systems. In International Conference on Intelligent Environments. 378--381. Google ScholarDigital Library
- Frank Honold, Felix Schüssel, Michael Weber, Florian Nothdurft, Gregor Bertrand, and Wolfgang Minker. 2013. Context models for adaptive dialogs and multimodal interaction. In Proceedings of the 2013 9th International Conference on Intelligent Environments (IE). 57--64. Google ScholarDigital Library
- Bill Irwin. 2014. Interstellar. Directed by Christopher Nolan. Legendary Pictures, Syncopy, Lynda Obst Productions, UK and USA. Film.Google Scholar
- Emilie M. D. Jean-Baptiste, Pia Rotshtein, and Martin J. Russell. 2015. POMDP based action planning and human error detection. In International Conference on Artificial Intelligence Applications and Innovations. 250--265.Google Scholar
- Wan-rong Jih, Li-lu Chen, and Jane Yung-jen Hsu. 2007a. A context-aware service platform in a smart space. In ACM International Workshop on Agent-Based Ubiquitous Computing.Google Scholar
- Wan-rong Jih, Jane Yung-jen Hsu, Tsu-Chang Lee, and Li-lu Chen. 2007b. A multi-agent context-aware service platform in a smart space. Journal of Computers 18, 1 (2007), 45--60.Google Scholar
- Eirini Kaldeli, Alexander Lazovik, and Marco Aiello. 2016. Domain-independent planning for services in uncertain and dynamic environments. Artificial Intelligence 236, 7 (2016), 30--64. Google ScholarDigital Library
- Eirini Kaldeli, Ehsan U. Warriach, Jaap Bresser, Alexander Lazovik, and Marco Aiello. 2010. Interoperation, composition and simulation of services at home. In International Conference on Service-Oriented Computing (ICSOC’10). 167--181.Google ScholarCross Ref
- Eirini Kaldeli, Ehsan U. Warriach, Alexander Lazovik, and Marco Aiello. 2012. Coordinating the Web of services for a smart home. ACM Transactions on the Web 7, 2, Article 10 (2012). Google ScholarDigital Library
- Dimitris N. Kalofonos and Paul Wisner. 2007. A framework for end-user programming of smart homes using mobile devices. In IEEE Consumer Communications and Networking Conference. 716--721. Google ScholarDigital Library
- Henry Kautz and Bart Selman. 1999. Unifying SAT-based and graph-based planning. In International Joint Conference on Artifical Intelligence - Volume 1. 318--325. Google ScholarDigital Library
- Sang Hwan Kim, Sung Woo Kim, and HyunMi Park. 2003. Usability challenges in ubicomp environment. In International Ergonomics Association.Google Scholar
- Barbara Kitchenham and Stuart Charters. 2007. Guidelines for Performing Systematic Literature Reviews in Software Engineering. Technical Report EBSE 2007-001. Keele University and Durham University Joint Report.Google Scholar
- Terry P. Klassen, Alejandro R. Jadad, and David Moher. 1998. Guides for reading and interpreting systematic reviews: I. Getting started. Archives of Pediatrics 8 Adolescent Medicine 152, 7 (1998), 700--704.Google ScholarCross Ref
- Uwe Köckemann, Federico Pecora, and Lars Karlsson. 2014. Grandpa hates robots—Interaction constraints for planning in inhabited environments. In AAAI Conference on Artificial Intelligence. 2293--2299. Google ScholarDigital Library
- Roman Kontchakov, Ian Pratt-Hartmann, and Michael Zakharyaschev. 2014. Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces. Artificial Intelligence 217 (2014), 43--75. Google ScholarDigital Library
- Evangelos Kotsovinos and Maja Vukovic. 2005. Su-chef: Adaptive coordination of intelligent home environments. In Joint International Conference on Autonomic and Autonomous Systems and International Conference on Networking and Services. IEEE, 74--74. Google ScholarDigital Library
- Frank Krüger, Gernot Ruscher, Sebastian Bader, and Thomas Kirste. 2011. A context-aware proactive controller for smart environments. I-COM 10 (2011), 41--48.Google ScholarCross Ref
- Oliver Lemon and Ian Pratt. 1997. Spatial logic and the complexity of diagrammatic reasoning. Machine Graphics and Vision 6, 1 (1997), 89--108.Google Scholar
- Huan-Ming Liang, Alan Liu, Yi-Chih Chen, and Chiung-Hon Leon Lee. 2010. Device collaboration in smarthomes as service delivery. In SICE Annual Conference. 30--34.Google Scholar
- Yvonna S. Lincoln and Egon G. Guba. 1985. Naturalistic Inquiry. Sage Publications Inc.Google Scholar
- Mohcine Madkour, Driss El Ghanami, and Abdelilah Maach. 2013. Context-aware service adaptation: An approach based on fuzzy sets and service composition. Journal of Information Science and Engineering 29, 1 (2013), 1--16.Google Scholar
- Florian Marquardt, Christiane Reisse, Adelinde Uhrmacher, and Thomas Kirste. 2008. A two-way approach to service composition in smart device ensembles. In Advanced Topics in Telecommunication. 49--60.Google Scholar
- Florian Marquardt and Adelinde Uhrmacher. 2009a. Creating AI planning domains for smart environments using PDDL. In Intelligent Interactive Assistance and Mobile Multimedia Computing, Djamshid Tavangarian, Thomas Kirste, Dirk Timmermann, Ulrike Lucke, and Daniel Versick (Eds.). Communications in Computer and Information Science, Vol. 53. Springer, 263--274.Google Scholar
- Florian Marquardt and Adelinde M. Uhrmacher. 2009b. An AI-planning based service composition architecture for ambient intelligence. In Intelligent Environments (Workshops) (Ambient Intelligence and Smart Environments), Vol. 4. 145--152.Google Scholar
- David Martin, Mark Burstein, Drew Mcdermott, Sheila Mcilraith, Massimo Paolucci, Katia Sycara, Deborah L. Mcguinness, Evren Sirin, and Naveen Srinivasan. 2007. Bringing semantics to web services with OWL-S. World Wide Web 10, 3 (2007), 243--277. Google ScholarDigital Library
- Ricardo De Masellis, Claudio Di Ciccio, Massimo Mecella, and Fabio Patrizi. 2010. Smart home planning programs. In International Conference on Service Systems and Service Management (ICSSSM). 1--6.Google ScholarCross Ref
- Fulvio Mastrogiovanni, Antonello Scalmato, Antonio Sgorbissa, and Renato Zaccaria. 2010. Affordance-based planning for assisting humans in daily activities. In International Conference on Intelligent Environments. 19--24. Google ScholarDigital Library
- Thomas Leo McCluskey. 2002. Knowledge engineering: Issues for the AI planning community. In The AIPS-2002 Workshop on Knowledge Engineering Tools and Techniques for AI Planning.Google Scholar
- Drew McDermott, Malik Ghallab, Adele Howe, Craig Knoblock, Ashwin Ram, Manuela Veloso, Daniel Weld, and David Wilkins. 1998. PDDL—The Planning Domain Definition Language. Technical Report. CVC TR-98-003/DCS TR-1165. Yale Center for Computational Vision and Control.Google Scholar
- Alfredo Milani and Valentina Poggioni. 2007. Planning in reactive environments. Computational Intelligence 23, 4 (2007), 439--463.Google ScholarCross Ref
- Christian Muise, J. Christopher Beck, and Sheila A. McIlraith. 2013. Flexible execution of partial order plans with temporal constraints. In International Joint Conference on Artificial Intelligence. 2328--2335. Google ScholarDigital Library
- Dana S. Nau, Okhtay Ilghami, Ugur Kuter, J. William Murdock, Dan Wu, and Fusun Yaman. 2003. SHOP2: An HTN planning system. Journal of Artificial Intelligence Research 20, 1 (2003), 379--404. Google ScholarCross Ref
- Qun Ni. 2005. Service composition in ontology enabled service oriented architecture for pervasive computing. In Workshop on Ubiquitous Computing and e-Research.Google Scholar
- Qun Ni and Morris Sloman. 2005. An ontology-enabled service oriented architecture for pervasive computing. In International Conference on Information Technology: Coding and Computing, Vol. 2. IEEE, 797--798. Google ScholarDigital Library
- Javier Ortiz, Angel García-Olaya, and Daniel Borrajo. 2013. Using activity recognition for building planning action models. International Journal of Distributed Sensor Networks 9, 6 (2013).Google ScholarCross Ref
- Madhukar Pai, Michael McCulloch, Jennifer D. Gorman, Nitika Pai, Wayne Enanoria, Gail Kennedy, Prathap Tharyan, and John M. Colford. 2004. Systematic reviews and meta-analyses: An illustrated, step-by-step guide. National Medical Journal of India 17, 2 (2004), 89--95.Google Scholar
- Sergio Pajares Ferrando and Eva Onaindia. 2013. Context-aware multi-agent planning in intelligent environments. Information Sciences 227 (2013), 22--42. Google ScholarDigital Library
- Justin Mazzola Paluska, Hubert Pham, Umar Saif, Grace Chau, Chris Terman, and Steve Ward. 2008. Structured decomposition of adaptive applications. Pervasive and Mobile Computing 4, 6 (2008), 791--806. Google ScholarDigital Library
- Federico Pecora, Marcello Cirillo, and Michael Brenner. 2010. A constraint-based approach for plan management in intelligent environments. In Cognitive Robotics.Google Scholar
- Federico Pecora, Marcello Cirillo, Francesca Dell’Osa, Jonas Ullberg, and Alessandro Saffiotti. 2012. A constraint-based approach for proactive, context-aware human support. Journal of Ambient Intelligence and Smart Environments 4, 4 (2012), 347--367. Google ScholarDigital Library
- Mark Petticrew and Helen Roberts. 2006. Systematic Reviews in the Social Sciences: A Practical Guide. Blackwell Publishing.Google Scholar
- Joaquin Phoenix and Scarlett Johansson. 2013. Her. Directed by Jonze Spike. Annapurna Pictures, LA. Film.Google Scholar
- Christiane Plociennik, Christoph Burghardt, Florian Marquardt, Thomas Kirste, and Adelinde Uhrmacher. 2009. Modelling device actions in smart environments. In Intelligent Interactive Assistance and Mobile Multimedia Computing, Djamshid Tavangarian, Thomas Kirste, Dirk Timmermann, Ulrike Lucke, and Daniel Versick (Eds.). Communications in Computer and Information Science, Vol. 53. Springer. 213--224.Google Scholar
- Abir Qasem, Jeff Heflin, and Héctor Muñoz-avila. 2004. Efficient source discovery and service composition for ubiquitous computing environments. In Workshop on Semantic Web Technology for Mobile and Ubiquitous Applications.Google Scholar
- Lirong Qiu, Zhongzhi Shi, and Fen Lin. 2006. Context optimization of AI planning for services composition. In International Conference on e-Business Engineering (ICEBE’06). 610--617. Google ScholarDigital Library
- Anand Ranganathan and Roy H. Campbell. 2004. Autonomic pervasive computing based on planning. In International Conference on Autonomic Computing. 80--87. Google ScholarDigital Library
- Earl David Sacerdoti. 1975. A Structure for Plans and Behavior. Ph.D. dissertation. Standford University, AI Center.Google Scholar
- Johnny Saldana. 2009. The Coding Manual for Qualitative Researchers. Sage Publications Ltd.Google Scholar
- Inmaculada Sánchez-Garzón, Gonzalo Milla-Millán, and Juan Fernández-Olivares. 2012. Context-aware generation and adaptive execution of daily living care pathways. In International Conference on Ambient Assisted Living and Home Care. Springer, 362--370. Google ScholarDigital Library
- Makoto Sando and Reiko Hishiyama. 2011. Human-Centered planning for adaptive user situation in ambient intelligence environment. In International Conference on Agents in Principle, Agents in Practice. 520--531. Google ScholarDigital Library
- María J. Santofimia, Scott E. Fahlman, Xavier del Toro, Francisco Moya, and Juan C. López. 2011. A semantic model for actions and events in ambient intelligence. Engineering Applications of Artificial Intelligence 24, 8 (2011), 1432--1445. Google ScholarDigital Library
- María J. Santofimia, Scott E. Fahlman, Francisco Moya, and Juan C. López. 2010. A common-sense planning strategy for ambient intelligence. In International Conference on Knowledge-based and Intelligent Information and Engineering Systems: Part II. 193--202. Google ScholarDigital Library
- Mohammad Munshi Shahin Shah, Lukás Chrpa, Falilat Jimoh, Diane E. Kitchin, Thomas Leo McCluskey, Simon Parkinson, and Mauro Vallati. 2013. Knowledge engineering tools in planning: State-of-the-art and future challenges. In Workshop on Knowledge Engineering for Planning and Scheduling at ICAPS. 53--60.Google Scholar
- Mithun Sheshagiri, Norman M. Sadeh, and Fabien Gandon. 2004. Using semantic Web services for context-aware mobile. In Workshop on Context Awareness Applications.Google Scholar
- Emrah Akin Sisbot, Luis F. Marin-Urias, Rachid Alami, and Thierry Siméon. 2007. A human aware mobile robot motion planner. IEEE Transactions on Robotics 23, 5 (2007), 874--883. Google ScholarDigital Library
- Carol Smidts, Chetan Mutha, Manuel Rodríguez, and Matthew J. Gerber. 2014. Software testing with an operational profile: OP definition. ACM Computing Surveys 46, 3, Article 39 (2014), 39:1--39:39 pages. Google ScholarDigital Library
- David E. Smith, Jeremy Frank, and Ari K. Jónsson. 2000. Bridging the gap between planning and scheduling. Knowledge Engineering Review 15, 1 (2000), 47--83. Google ScholarDigital Library
- Seheon Song and Minkoo Kim. 2011. A plan-based service composition for work process agent in ubiquitous computing. In Asia-Pacific Services Computing Conference (APSCC). IEEE, 483--487.Google ScholarCross Ref
- Seheon Song and Seok-Won Lee. 2013. A goal-driven approach for adaptive service composition using planning. Mathematical and Computer Modelling 58, 1--2 (2013), 261--273.Google ScholarCross Ref
- Thanos G. Stavropoulos, Ageliki Tsioliaridou, George Koutitas, Dimitris Vrakas, and Ioannis Vlahavas. 2010. International Conference on Artificial Neural Networks. Springer, 477--482. Google ScholarDigital Library
- Thanos G. Stavropoulos, Dimitris Vrakas, and Ioannis Vlahavas. 2011. A survey of service composition in ambient intelligence environments. Artificial Intelligence Review (2011), 1--24. Google ScholarDigital Library
- Roykrong Sukkerd, David Garlan, and Reid Simmons. 2015. Task planning of cyber-human systems. In International Conference on Software Engineering and Formal Methods. 293--309.Google ScholarCross Ref
- Alistair Sutcliffe. 2003. Scenario-based requirements engineering. In International Requirements Engineering Conference. 320--329. Google ScholarDigital Library
- Kartik Talamadupula, J. Benton, Subbarao Kambhampati, Paul Schermerhorn, and Matthias Scheutz. 2010. Planning for human-robot teaming in open worlds. ACM Transactions on Intelligent Systems and Technology 1, 2 (2010), 14:1--14:24. Google ScholarDigital Library
- Celia Taylor, Graham R. Gibbs, and Ann Lewins. 2014. Quality of qualitative analysis. (Online Oct. 2014). http://onlineqda.hud.ac.uk/Intro_QDA/qualitative_analysis.php.Google Scholar
- Bernhard Thalheim. 2010. Towards a theory of conceptual modelling. Journal of Universal Computer Science 16, 20 (2010), 3102--3137.Google Scholar
- Aitor Urbieta, Guillermo Barrutieta, Jorge Parra, and Aitor Uribarren. 2008. A survey of dynamic service composition approaches for ambient systems. In Ambi-Sys Workshop on Software Organisation and MonIToring of Ambient Systems. 1:1--1:8. Google ScholarDigital Library
- Mathieu Vallée, Fano Ramparany, and Laurent Vercouter. 2005. Flexible composition of smart device services. In International Conference on Pervasive Systems and Computing (PSC’05). 165--171.Google Scholar
- Tiago Vaquero, Sharaf Mohamed, Goldie Nejat, and J. Christopher Beck. 2015. The implementation of a planning and scheduling architecture for multiple robots assisting multiple users in a retirement home setting. 47--52.Google Scholar
- Tiago Stegun Vaquero, José Reinaldo Silva, Flavio Tonidandel, and J. Christopher Beck. 2013. itSIMPLE: Towards an integrated design system for real planning applications. Knowledge Engineering Review 28, 2 (2013), 215--230.Google ScholarCross Ref
- Marc Vilain and Henry Kautz. 1986. Constraint propagation algorithms for temporal reasoning. In AAAI Conference on Artificial Intelligence. 377--382. Google ScholarDigital Library
- Maja Vukovic, Evangelos Kotsovinos, and Peter Robinson. 2007. An architecture for rapid, on-demand service composition. Service Oriented Computing and Applications 1, 4 (2007), 197--212.Google ScholarCross Ref
- Maja Vukovic and Peter Robinson. 2004. Adaptive, planning based, web service composition for context awareness. In International Conference on Pervasive Computing: Advances in Pervasive Computing, Vol. 176. 257--252.Google Scholar
- Wenshan Wang, Qixin Cao, XiaoXiao Zhu, and Shuang Liang. 2015. A framework for intelligent service environments based on middleware and general purpose task planner. In International Conference on Intelligent Environments. 184--187. Google ScholarDigital Library
- Mathijs de Weerdt and Brad Clement. 2009. Introduction to planning in multiagent systems. Multiagent and Grid Systems 5, 4 (2009), 345--355. Google ScholarDigital Library
- Mark Weiser. 1999. The computer for the 21st century. SIGMOBILE Mobile Computing and Communications Review 3, 3 (1999), 3--11. Google ScholarDigital Library
- Alfred North Whitehead. 2010. Process and Reality. Simon and Schuster. (1st ed., 1929).Google Scholar
- Anna M. Wichansky. 2000. Usability testing in 2000 and beyond. Ergonomics 43, 7 (2000), 998--1006.Google ScholarCross Ref
- Paul Wisner. 2006. Automatic composition in service browsing environments. In Workshop on Mobile Interaction with the Real World. 39--42.Google Scholar
- Michael Wooldridge. 2009. An Introduction to Multi-agent Systems. Wiley Publishing. Google ScholarDigital Library
- Stephen S. Yau and Arun Balaji Buduru. 2014. Intelligent planning for developing mobile IoT applications using cloud systems. In IEEE International Conference on Mobile Services. 55--62. Google ScholarDigital Library
- Kristina Yordanova. 2011. Modelling human behaviour using partial order planning based on atomic action templates. In International Conference on Intelligent Environments. 338--341. Google ScholarDigital Library
Index Terms
- Automated Planning for Ubiquitous Computing
Recommendations
Ubiquitous Computing: Are We There Yet?
The widespread deployment of technologies like mobile phones continues to drive new applications and to open research opportunities.
Ubiquitous computing
SIGUCCS '11: Proceedings of the 39th annual ACM SIGUCCS conference on User servicesUbiquitous computing takes computation from the desktop environment and moves it into every area of our lives. Instantaneous information and computation will be distributed over an array of small wireless networked devices. These can be embedded in ...
Toward A Generic Infrastructure for Ubiquitous Computing
The recent technological overhangs have focused on the democratization of wireless networks and the miniaturization of communication devices. In this context, Ubiquitous Computing is a recent paradigm whose objective is to allow users to access data, ...
Comments