Abstract
One corner stone for user assistance in smart environments is service composition, which can be reached using AI planning. Therefore it is required to formulate the current environment as planning problem, which can than be solved with an AI planning algorithm. However, some characteristics of smart environments conflict with the strict requirements of classical AI planning as well as with the limitations of PDDL, which is the state of the art representation language for planning domains and problems. These interferences are uncovered in a bottom up manner by reviewing smart environment scenarios from literature. The scenarios were realized as planning problems in PDDL, consisting of operators, an initial world state, propositions, and goals. Possible problems and ways to avoid the respective hurdles are given.
It is concluded if AI planning based user assistance is suitable to solve the crucial challenges of the respective scenario and to what extend AI planning is able to contribute to the problem of service composition in smart environments in general.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Agarwal, S., Joshi, A., Finin, T., Yesha, Y., Ganous, T.: A pervasive computing system for the operating room of the future. Mob. Netw. Appl. 12(2-3), 215–228 (2007)
Anderson, C.R., Smith, D.E., Weld, D.S.: Conditional effects in graphplan. In: AIPS, pp. 44–53 (1998)
Brumitt, B., Meyers, B., Krumm, J., Kern, A., Shafer, S.: Easyliving: Technologies for intelligent environments. In: Thomas, P., Gellersen, H.-W. (eds.) HUC 2000. LNCS, vol. 1927, pp. 12–29. Springer, Heidelberg (2000)
Burghardt, C., Kirste, T.: Inferring intentions in generic context-aware systems. In: MUM, pp. 50–54 (2007)
Carman, M., Serafini, L., Traverso, P.: Web service composition as planning. In: Workshop on Planning for Web Services, Trento, Italy (June 2003)
Chen, H., Perich, F., Finin, T., Joshi, A.: Soupa: Standard ontology for ubiquitous and pervasive applications. In: International Conference on Mobile and Ubiquitous Systems: Networking and Services, August 2004, pp. 258–267 (2004)
Edelkamp, S., Hoffmann, J.: PDDL2.2: The Language for the Classical Part of the 4th International Planning Competition. Technical report, Fachbereich Informatik, University of Dortmund (2004)
Fox, M., Long, D.: Pddl2.1: An extension to pddl for expressing temporal planning domains. Journal of Artificial Intelligence Research 20 (2003)
Fujii, K., Suda, T.: Dynamic service composition using semantic information. In: ICSOC 2004: Proceedings of the 2nd international conference on Service oriented computing, pp. 39–48. ACM, New York (2004)
Garlan, D., Siewiorek, D.P., Steenkiste, P.: Project aura: Toward distraction-free pervasive computing. IEEE Pervasive Computing 1, 22–31 (2002)
Gerevini, A., Serina, I.: Lpg: a planner based on local search for planning graphs. In: Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling (AIPS 2002), Toulouse, France. AAAI Press, Menlo Park (2002)
Ghallab, M., Howe, A., Knoblock, C., McDermott, D., Ram, A., Veloso, M., Weld, D., Wilkins, D.: PDDL - the planning domain definition language (July 1998)
Ghallab, M., Nau, D., Traverso, P.: Automated Planning, theory and practice. Morgan Kaufmann, San Francisco (2004)
Heider, T., Kirste, T.: Smart environments and self-organizing appliance ensembles. In: Mobile Computing and Ambient Intelligence (2005)
Koehler, J.: Planning under resource constraints. In: ECAI, pp. 489–493 (1998)
Marquardt, F., Uhrmacher, A.: Evaluating AI Planning for Service Composition in Smart Environments. In: Proceedings of the 7th International ACM Conference on Mobile and Ubiquitous Multimedia, Umea, Sweden, December 2008, pp. 48–55. ACM, New York (2008)
Marquardt, F., Uhrmacher, A.M.: An ai-planning based service composition architecture for ambient intelligence. To appear in Proc. AITAmI 2009 (July 2009)
Nau, D.S.: Current trends in automated planning. AI Magazine 28(4), 43–58 (2007)
Nishikawa, H., Yamamoto, S., Tamai, M., Nishigaki, K., Kitani, T., Shibata, N., Yasumoto, K., Ito, M.: Ubireal: Realistic smartspace simulator for systematic testing. In: Dourish, P., Friday, A. (eds.) UbiComp 2006. LNCS, vol. 4206, pp. 459–476. Springer, Heidelberg (2006)
Simpson, R., Schreckenghost, D., LoPresti, E., Kirsch, N.: Plans and planning in smart homes. Designing Smart Homes, 71–84 (2006)
Thiébaux, S., Hoffmann, J., Nebel, B.: In defense of pddl axioms. Artificial Intelligence 168(1-2), 38–69 (2005)
Thurow, K., Göde, B., Dingerdissen, U., Stoll, N.: Laboratory information management system for life science applications. Organic Process Research & Development 8, 970–982 (2004)
Yang, Y., Mahon, F., Williams, M., Pfeifer, T.: Context-aware dynamic personalised service re-composition in a pervasive service environment (2006)
Zhao, H., Doshi, P.: Haley: A hierarchical framework for logical composition of web services. In: IEEE International Conference on Web Services, ICWS 2007, pp. 312–319 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Marquardt, F., Uhrmacher, A. (2009). Creating AI Planning Domains for Smart Environments Using PDDL. In: Tavangarian, D., Kirste, T., Timmermann, D., Lucke, U., Versick, D. (eds) Intelligent Interactive Assistance and Mobile Multimedia Computing. IMC 2009. Communications in Computer and Information Science, vol 53. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10263-9_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-10263-9_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-10262-2
Online ISBN: 978-3-642-10263-9
eBook Packages: Computer ScienceComputer Science (R0)