Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Programming Multi-Agent Systems

ProMAS 2012: Programming Multi-Agent Systems pp 35–53Cite as

Agent Programming Languages Requirements for Programming Autonomous Robots

  • Conference paper

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

Abstract

This paper presents four requirements for BDI-based agent programming languages to facilitate the implementation of autonomous robot control systems. The first requirement is to support the integration of these languages with robotic frameworks. The second requirement is real-time reaction and response to events. The real-time reactivity problem in the BDI architecture is discussed and a distributed BDI architecture is proposed to approach this problem. The third requirement is to extend the BDI architecture with sensory management components for the management of sensory events and detecting complex events. The fourth requirement is the representation of complex plans and the coordination of the parallel execution of plans. These requirements are derived from an extensive survey of current autonomous robot programming tools and architectures and a study of a home-care application scenario for the NAO robot.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   72.00
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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Van de Velde, W., Perram, J.W. (eds.) MAAMAW 1996. LNCS (LNAI), vol. 1038, pp. 42–55. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  2. Bohren, J., Cousins, S.: The SMACH high-level executive. Robotics and Automation Magazine (2010)

    Google Scholar 

  3. Bollini, M., et al.: Bakebot: Baking cookies with the pr2. In: The PR2 Workshop: Results, Challenges and Lessons Learned in Advancing Robots with a Common Platform, IROS (2011)

    Google Scholar 

  4. Bordini, R., Braubach, L., Dastani, M., Fallah, A.E., Gomez-Sanz, J., Leite, J., O’Hare, G., Pokahr, A., Ricci, A.: A survey of programming languages and platforms for multi-agent systems. Informatica 30, 33–44 (2006)

    MATH  Google Scholar 

  5. Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-agent Systems in AgentSpeak Using Jason. Wiley Series in Agent Technology (2007)

    Google Scholar 

  6. Brooks, R.A.: Intelligence Without Representation. Artificial Intelligence 47, 139–159 (1991)

    Article  Google Scholar 

  7. Buford, J., Jakobson, G., Lewis, L.: Extending BDI Multi-Agent Systems with Situation Management. In: The Ninth International Conference on Information Fusion, Florence, Italy (2006)

    Google Scholar 

  8. Cap, M., Dastani, M., Harbers, M.: Belief/Goal Sharing Modules for BDI Languages. In: Proceedings of CSSE 2011, pp. 87–94 (2011)

    Google Scholar 

  9. Cugola, G., Margara, A.: Processing Flows of Information: From Data Stream to Complex Event Processing. ACM Computing Surveys Journal (2011)

    Google Scholar 

  10. Dastani, M.: 2APL: a practical agent programming language. Autonomous Agents and Multi-Agent Systems 16(3), 214–248 (2008) ISSN:1387-2532

    Article  Google Scholar 

  11. Freed, M.: Managing Multiple Tasks in Complex, Dynamic Environments. In: Proceedings of the National Conference on Artificial Intelligence, Madison, WI (1998)

    Google Scholar 

  12. Gat, E.: On Three-Layer Architectures, Artificial Intelligence and Mobile Robots. MIT Press (1998)

    Google Scholar 

  13. Georgeff, M.P., Lansky, A.L.: Reactive reasoning and planning. In: Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI 1987), Seattle, WA, pp. 677–682 (1987)

    Google Scholar 

  14. Heintz, F., Kvarnstrom, J., Doherty, P.: Bridging the sense-reasoning gap: DyKnow-stream-based middleware for knowledge processing. Journal of Advanced Engineering Informatics 24(1), 14–25 (2010)

    Article  Google Scholar 

  15. Hindriks, K.V.: Modules as Policy-Based Intentions: Modular Agent Programming in GOAL. In: Dastani, M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS (LNAI), vol. 4908, pp. 156–171. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  16. Inigo-Blasco, P., et al.: Robotics software frameworks for multi-agent robotic systems development. Robotics and Autonomous Systems (2012), doi:10.1016/j.robot.2012.02.004

    Google Scholar 

  17. Ingrand, F., Lacroix, S., Lemai-Chenevier, S., Py, F.: Decisional Autonomy of Planetary Rovers. Journal of Field Robotics 24(7), 559–580 (2007)

    Article  Google Scholar 

  18. Ingrand, F.F., Coutance, V.: Real-Time Reasoning using Procedural Reasoning. Technical Report 93-104, LAAS/CNRS, Toulouse, France (1993)

    Google Scholar 

  19. Kramer, J., Scheutz, M.: Development environments for autonomous mobile robots: A survey. Autonomous Robots 22(2), 101–132 (2007)

    Article  Google Scholar 

  20. Verbeek, M.: 3APL as programming language for cognitive robots. Master’s thesis, ICS, Utrecht University (2002)

    Google Scholar 

  21. Bratman, M.: Intentions, Plans, and Practical Reason. Harvard University Press (1987) 24, 113, 144

    Google Scholar 

  22. Estlin, T., et al.: Decision-Making in a Robotic Architecture for Autonomy. In: Proceedings of the International Symposium on AI, Robotics and Automation for Space, Montreal, Canada (2001)

    Google Scholar 

  23. Kertesz, C.: Dynamic behavior network. In: IEEE 10th International Symposium on Applied Machine Intelligence and Informatics (SAMI), pp. 207–212 (2012)

    Google Scholar 

  24. Lopez, J., Perez, D., Zalama, E.: A framework for building mobile single and multi-robot applications. Robotics and Autonomous Systems 59(3-4), 151–162 (2011)

    Article  Google Scholar 

  25. Myers, K.L.: A procedural knowledge approach to task-level control. In: Proceedings of the Third International Conference on AI Planning Systems. AAAI Press (1996)

    Google Scholar 

  26. Nilsson, N.J.: Shakey the robot. Technical Report 323, AI Center, SRI International,333 Ravenswood Ave., Menlo Park, CA 94025 (April 1984)

    Google Scholar 

  27. Passama, R., Andreu, D.: ContrACT: a software environment for developing control architecture. In: 6th National Conference on Control Architectures of Robots, p. 16 (2011)

    Google Scholar 

  28. Proetzsch, M., Luksch, T., Berns, K.: Development of complex robotic systems using the behavior-based control architecture iB2C. Robot. Auton. Syst. 58(1), 46–67 (2010)

    Article  Google Scholar 

  29. Rao, A., Georgeff, M.: Modeling rational agents within a BDI architecture. In: Proceedings of Second International Conference on Knowledge Representation and Reasoning (KR 1991), pp. 473–484. Morgan Kaufmann (1991)

    Google Scholar 

  30. Rao, A., Georgeff, M.: BDI Agents: From Theory to Practice. In: Proceedings of the First International Conference on Multi-Agent Systems (ICMAS 1995), pp. 312–319 (June 1995)

    Google Scholar 

  31. Ranathunga, S., et al.: Identifying events taking place in second life virtual environments. Applied Artificial Intelligence: An International Journal 26(1-2), 137–181 (2012)

    Article  Google Scholar 

  32. Rajan, K., Py, F., McGann, C., Ryan, J., O’Reilly, T., Maughan, T., Roman, B.: Onboard Adaptive Control of AUVs using Automated Planning and Execution. In: Intnl. Symposium on Unmanned Untethered Submersible Technology (UUST), Durham, NH (August 2009)

    Google Scholar 

  33. Ross, R.J.: MARC - Applying Multi-Agent Systems to Service Robot Control, MSc Thesis, University College Dublin (2003)

    Google Scholar 

  34. Quigley, M., et al.: Ros: an open source roboting system. In: ICRA Workshop on Open Source Software (2009)

    Google Scholar 

  35. Steck, A., Schlegel, C.: SmartTCL: An Execution Language for Conditional Reactive Task Execution in a Three Layer Architecture for Service Robots. In: Int. Workshop on DYnamic languages for RObotic and Sensors systems (DYROS/SIMPAR), Germany, pp. 274–277 (2010)

    Google Scholar 

  36. Simmons, R., Apfelbaum, D.: A Task Description Language for Robot Control. In: IROS (1998)

    Google Scholar 

  37. Verma, V., Jonsson, A., Pasareanu, C., Simmons, R., Tso, K.: Plan Execution Interchange Language (PLEXIL) for Executable Plans and Command Sequences. In: Proceedings of the International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS) (2005)

    Google Scholar 

  38. Verma, V., Jonsson, 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 the International Conference on Automated Planning and Scheduling (ICAPS) (2005)

    Google Scholar 

  39. Vikhorev, K., Alechina, N., Logan, B.: Agent programming with priorities and deadlines. In: Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, pp. 397–404 (May 2011)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. SnT, University of Luxembourg, Luxembourg

    Pouyan Ziafati & Leendert van der Torre

  2. CSC, University of Luxembourg, Luxembourg

    Leendert van der Torre

  3. Intelligent Systems Group, Utrecht University, The Netherlands

    Pouyan Ziafati, Mehdi Dastani & John-Jules Meyer

Authors
  1. Pouyan Ziafati
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mehdi Dastani
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. John-Jules Meyer
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Leendert van der Torre
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Intelligent Systems Group, Utrecht University, 3508, Utrecht, TB, The Netherlands

    Mehdi Dastani

  2. Department of Automation and Systems Engineering, Federal University of Santa Catarina, P.O.Box 476, 88040-900, Florianópolis, SC, Brazil

    Jomi F. Hübner

  3. School of Computer Science, University of Nottingham, NG8 1BB, Nottingham, UK

    Brian Logan

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ziafati, P., Dastani, M., Meyer, JJ., van der Torre, L. (2013). Agent Programming Languages Requirements for Programming Autonomous Robots. In: Dastani, M., Hübner, J.F., Logan, B. (eds) Programming Multi-Agent Systems. ProMAS 2012. Lecture Notes in Computer Science(), vol 7837. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38700-5_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-38700-5_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-38699-2

  • Online ISBN: 978-3-642-38700-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation