Skip to main content

A Logic Programming Approach to Collaborative Autonomous Robotics

  • Conference paper
  • First Online:
KI 2017: Advances in Artificial Intelligence (KI 2017)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 10505))

Abstract

We consider scenarios in which robots need to collaboratively perform a task. Our focus is on scenarios where every robot has the same goal and performs autonomous decisions on which next step to do to reach the shared goal. The robots can synchronize by requesting each others’ help. Our approach builds on a knowledge-based architecture in which robot goals and behaviour are encoded declaratively using logic programming, that is Prolog in our case. Each robot executes the same Prolog program and requests help from other robots to cooperatively solve some subtasks. In this paper we present the system architecture and a proof-of-concept scenario of tidying up an apartment. In this scenario a set of robots are working autonomously yet collaboratively to tidy up a simulated apartment by placing the scattered objects in their proper places.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

Notes

  1. 1.

    http://knowrob.org/kb/knowrob.owl.

References

  1. Erdem, E., Aker, E., Patoglu, V.: Answer set programming for collaborative housekeeping robotics: representation, reasoning, and execution. Intell. Serv. Robot. 5(4), 275–291 (2012). http://dx.doi.org/10.1007/s11370-012-0119-x

    Article  Google Scholar 

  2. Gruber, T.R.: Toward principles for the design of ontologies used for knowledge sharing. Int. J. Hum. Comput. Stud. 43(5–6), 907–928 (1995). http://dx.doi.org/10.1006/ijhc.1995.1081

    Article  Google Scholar 

  3. Javia, B., Cimiano, P.: A knowledge-based architecture supporting declarative action representation for manipulation of everyday objects. In: Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering, MORSE 2016, pp. 40–46. ACM, New York (2016). http://doi.acm.org/10.1145/3022099.3022105

  4. Kirsch, A., Kruse, T., Sisbot, E.A., Alami, R., Lawitzky, M., Brščić, D., Hirche, S., Basili, P., Glasauer, S.: Plan-based control of joint human-robot activities. Künstliche Intell. 24(3), 223–231 (2010)

    Article  Google Scholar 

  5. Lim, G.H., Suh, I.H., Suh, H.: Ontology-based unified robot knowledge for service robots in indoor environments. IEEE Trans. Syst. Man Cybern. Syst. Hum. 41(3), 492–509 (2011)

    Article  Google Scholar 

  6. Matuszek, C., Cabral, J., Witbrock, M., DeOliveira, J.: An introduction to the syntax and content of CYC. In: Proceedings of the AAAI Spring Symposium on Formalizing and Compiling Background Knowledge, pp. 44–49 (2006)

    Google Scholar 

  7. Riazuelo, L., Tenorth, M., Marco, D.D., Salas, M., Mösenlechner, L., Kunze, L., Beetz, M., Tardos, J.D., Montano, L., Montiel, J.M.M.: Roboearth web-enabled and knowledge-based active perception. In: Proceedings of the IROS Workshop on AI-based Robotics, Tokyo, Japan, 7th November 2013

    Google Scholar 

  8. Tenorth, M., Beetz, M.: KnowRob–A knowledge processing infrastructure for cognition-enabled robots. Int. J. Robot. Res. (IJRR) 32(5), 566–590 (2013)

    Article  Google Scholar 

Download references

Acknowledgements

The authors acknowledge funding from the Cluster of Excellence Cognitive Interaction Technology ‘CITEC’ (EXC 277), Bielefeld University.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Binal Javia .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Javia, B., Cimiano, P. (2017). A Logic Programming Approach to Collaborative Autonomous Robotics. In: Kern-Isberner, G., Fürnkranz, J., Thimm, M. (eds) KI 2017: Advances in Artificial Intelligence. KI 2017. Lecture Notes in Computer Science(), vol 10505. Springer, Cham. https://doi.org/10.1007/978-3-319-67190-1_25

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-67190-1_25

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-67189-5

  • Online ISBN: 978-3-319-67190-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics