Abstract
Faced with the growing complexity of application scenarios for autonomous robots, context-awareness and adaptivity are becoming more and more essential abilities to determine environmental circumstances and to adapt to them accordingly. While semantic technologies are widely used for the modelling of a robot’s context, purposive robot behaviour is typically described using plan or plan execution languages which lack explicit semantics for context representations. Context-sensitive adaptive behaviour emerges from the whole transformation process though, from context-awareness to the subsequent execution of associated plans. This comprehensive view of adaptivity lacks sufficient treatment in the field of robotics. Addressing this issue, we have augmented the expressive plan execution language PLEXIL, allowing complex context expressions as Description Logic queries to form an integral part of constructs that define sophisticated behavioural reactions. To demonstrate the symbiosis of context-awareness and plan execution, the enhanced language PLEXIL-DL is employed in the avionics system for a reconnaissance mission of an Unmanned Air Vehicle.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook, 2nd edn. Cambridge University Press (2007)
Baader, F., Molitor, R., Tobies, S.: Tractable and decidable fragments of conceptual graphs. In: 7th International Conference on Conceptual Structures, pp. 480–493. Springer, London, UK (1999)
Baldauf, M., Dustdar, S., Rosenberg, F.: A survey on context-aware systems. Int. Journal of Ad Hoc and Ubiquitous Computing 2(4) (2007)
Beetz, M.: Plan-based Control of Robotic Agents, Lecture Notes in Artificial Intelligence, vol. LNAI 2554. Springer Publishers (2002)
Beigl, M., Krohn, A., Zimmer, T., Decker, C., Robinson, P.: Awarecon: Situation aware context communication. In: UbiComp 2003, pp. 132–139. Springer (2003)
Dey, A.K.: Understanding and using context. Personal and Ubiquitous Computing 5(1), 4–7 (2001)
Dowek, G., Muñoz, C., Pâsâreanu, C.S.: A formal analysis framework for plexil. In: 3rd Workshop on Planning and Plan Exec. for Real-World Sys. (2007)
Ejigu, D., Scuturici, M., Brunie, L.: An ontology-based approach to context modeling and reasoning in pervasive computing. In: Conference on Pervasive Computing and Communications Workshops. IEEE, IEEE (2007)
Flouris, G.: On belief change and ontology evolution. Ph.D. thesis, University Of Crete (2006)
Gil, Y.: Description logics and planning. AI Magazine 26(2) (2005)
Hong, C.S., Kim, H.S., Cho, J., Cho, H.K., Lee, H.C.: Context modeling and reasoning approach in context-aware middleware for urc system. Proc. of World Academy of Science, Engineering and Technology 26 (2007)
Kjær, K.E.: A survey of context-aware middleware. In: SE’07: Proc. of the 25th conference on IASTED Int. Multi-Conf. ACTA Press (2007)
Krummenacher, R., Strang, T.: Ontology-based context modeling. In: Proc. of the 3rd Workshop on Context Awareness for Proactive Systems (2007)
Meissen, U., Pfenningschmidt, S., Voisard, A., Wahnfried, T.: Context- and situationawareness in information logistics. In: Workshop in Pervasive Information Management held in conjunction with EDBT (2004)
Moser, H., Reichelt, T., Oswald, N., Förster, S.: Information management for unmanned systems: Combining DL-reasoning with publish/subscribe. In: Proc. of SGAI 2008. Springer (2008)
NASA: PLEXIL Reference Manual. NASA (2008)
Oswald, N., Windisch, A., Förster, S., Moser, H., Reichelt, T.: A service-oriented framework for manned and unmanned systems to support network-centric operations. In: J. Zaytoon, J.L. Ferrier, J. Andrade-Cetto, J. Filipe (eds.) ICINCO-ICSO, pp. 284–291. INSTICC Press (2007)
Schmidt, A., Beigl, M., Gellersen, H.W.: There is more to context than location. Computers & Graphics Journal 23(6), 893–902 (1999)
Sirin, E.: Combining description logic reasoning with ai planning for composition of web services. Ph.D. thesis, University of Maryland (2006)
Sowa, J.F.: Conceptual Structures. Addison-Wesley (1984)
Tessaris, S.: Questions and answers: Reasoning and querying in description logic. Ph.D. thesis, Univ. of Manchester (2001)
Verma, V., Jónsson, A., Passareanu, C., Iatauro, M.: Universal executive and PLEXIL: Engine and language for robust spacecraft control and operations. In: Proc. of AIAA Space (2006)
Verma, V., Jónsson, A., Simmons, R., Estlin, T., Levinson, R.: Survey of command execution systems for nasa spacecraft and robots. In: Plan Execution: A Reality Check Workshop at ICAPS (2005)
Wang, X.H., Zhang, D.Q., Gu, T., Pung, H.K.: Ontology based context modeling and reasoning using owl. In: Pervasive Computing and Communications Workshops. IEEE (2004)
Yau, S.S., Liu, J.: Hierarchical situation modeling and reasoning for pervasive computing. In: SEUS-WCCIA, pp. 5–10. IEEE (2006)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag London
About this paper
Cite this paper
Moser, H., Reichelt, T., Oswald, N., Förster, S. (2010). Context-sensitive Plan Execution Language for Adaptive Robot Behaviour. In: Bramer, M., Ellis, R., Petridis, M. (eds) Research and Development in Intelligent Systems XXVI. Springer, London. https://doi.org/10.1007/978-1-84882-983-1_17
Download citation
DOI: https://doi.org/10.1007/978-1-84882-983-1_17
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-84882-982-4
Online ISBN: 978-1-84882-983-1
eBook Packages: Computer ScienceComputer Science (R0)