Skip to main content

PLEXIL-DL: Language and Runtime for Context-Aware Robot Behaviour

  • Conference paper
Book cover Progress in Robotics (FIRA 2009)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 44))

Included in the following conference series:

Abstract

Faced with the growing complexity of application scenarios social robots are involved with, the perception of environmental circumstances and the sentient reactions are becoming more and more important abilities. Rather than regarding both abilities in isolation, the entire transformation process, from context-awareness to purposive behaviour, forms a robot’s adaptivity. While attaining context-awareness has received much attention in literature so far, translating it into appropriate actions still lacks a comprehensive approach. In this paper, we present PLEXIL-DL, an expressive language allowing complex context expressions as an integral part of constructs that define sophisticated behavioural reactions. Our approach extends NASA’s PLEXIL language by Description Logic queries, both in syntax and formal semantics. A prototypical implementation of a PLEXIL-DL interpreter shows the basic mechanisms facilitating the robot’s adaptivity through context-awareness.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baldauf, M., Dustdar, S., Rosenberg, F.: A survey on context-aware systems. Int. Journal of Ad Hoc and Ubiquitous Computing 2(4) (2007)

    Google Scholar 

  2. Kjær, K.E.: A survey of context-aware middleware. In: SE 2007: Proc. of the 25th conference on IASTED Int. Multi-Conf., ACTA Press (2007)

    Google Scholar 

  3. Ranganathan, A., Campbell, R.H.: An infrastructure for context-awareness based on first order logic. Personal Ubiquitous Computing 7(6) (2003)

    Google Scholar 

  4. Gu, T., Pung, H.K., Zhang, D.Q.: A middleware for building context-aware mobile services. In: Proceedings of IEEE Vehicular Technology Conference (2004)

    Google Scholar 

  5. Fahy, P., Clarke, S.: Cass - middleware for mobile context-aware applications. In: Proc. of Mobisys Workshop on Context Awareness (2004)

    Google Scholar 

  6. Korpipää, P.: Blackboard-based software framework and tool for mobile device context awareness. PhD thesis, University of Oulu (2005)

    Google Scholar 

  7. Yau, S.S., Karim, F., Wang, Y., Wang, B., Gupta, S.K.: Reconfigurable context-sensitive middleware for pervasive computing. IEEE Pervasive Comp. 1(3) (2002)

    Google Scholar 

  8. Gu, T., Pung, H.K., Zhang, D.Q.: A service-oriented middleware for building context-aware services. Journal of Network and Comp. Applications 28(1) (2005)

    Google Scholar 

  9. Keays, R.: Context-oriented programming. BEng thesis, Univ. Queensland (2002)

    Google Scholar 

  10. Ranganathan, A., Chetan, S., Al-Muhtadi, J., Campbell, R.H., Mickunas, M.D.: Olympus: A high-level programming model for pervasive computing environments. In: Proc. of the Int. Conf. on Pervasive Comp. and Communications. IEEE, Los Alamitos (2005)

    Google Scholar 

  11. Cho, E.-S., Lee, K.-W., Kim, M.-Y., Kim, H.: Scenario-based programming for ubiquitous applications. In: Youn, H.Y., Kim, M., Morikawa, H. (eds.) UCS 2006. LNCS, vol. 4239, pp. 286–299. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  12. 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)

    Google Scholar 

  13. 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)

    Google Scholar 

  14. Tessaris, S.: Questions and Answers: Reasoning and Querying in Description Logic. PhD thesis, Univ. of Manchester (2001)

    Google Scholar 

  15. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook, 2nd edn. Cambridge University Press, Cambridge (2007)

    Google Scholar 

  16. Krummenacher, R., Strang, T.: Ontology-based context modeling. In: Proc. of the 3rd Workshop on Context Awareness for Proactive Systems (2007)

    Google Scholar 

  17. NASA: PLEXIL Reference Manual. NASA (2008)

    Google Scholar 

  18. 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, Heidelberg (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Moser, H., Reichelt, T., Oswald, N., Förster, S. (2009). PLEXIL-DL: Language and Runtime for Context-Aware Robot Behaviour. In: Kim, JH., et al. Progress in Robotics. FIRA 2009. Communications in Computer and Information Science, vol 44. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03986-7_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-03986-7_21

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-03985-0

  • Online ISBN: 978-3-642-03986-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics