Skip to main content

BDI for Autonomous Mobile Robot Navigation

  • Conference paper
  • First Online:
  • 619 Accesses

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

Abstract

We explored how mobile Belief-Desire-Intention (BDI) agents could navigate using path plans that are automatically generated in AgentSpeak, asking if there could be any performance advantages gained by having an agent’s path be automatically generated as a BDI plan that can be monitored, suspended and resumed in case of contingencies. To do the exploration, we used Jason BDI to design a framework to test this premise with simulated mobile robots. We further explored the navigation of mobile agents to see if such functionality should be implemented within the agent in either AgentSpeak or as an internal action, or externally in an environmental module. These agents navigated through three environments of varying complexity: a simple synchronized grid, an asynchronous grid connected via Robot Operating System (ROS), and an autonomous car simulated with AirSim connected using ROS. We demonstrated that our framework handles plan interruptions, such as preventing collisions, managing consumable resources, and updating a map when necessary while moving through an environment; that Jason BDI agents are capable of controlling autonomous mobile robots; and that the AgentSpeak language provides advantages for implementing the navigation search behaviours.

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

Buying options

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

Learn about institutional subscriptions

Notes

  1. 1.

    SAVI ROS BDI is available at https://github.com/NMAI-lab/savi_ros_bdi.

  2. 2.

    Synchronized grid: https://github.com/NMAI-lab/jasonMobileAgent.

    Asynchronized grid: https://github.com/NMAI-lab/jason_mobile_agent_ros.

    AirSim car: https://github.com/NMAI-lab/AirSimNavigatingCar.

References

  1. Alzetta, F., Giorgini, P.: Towards a real-time BDI model for ROS 2. In: Bergenti, F., Monica, S. (eds.) Proceedings of the 20th Workshop “From Objects to Agents”, Parma, Italy, 26–28 June 2019. CEUR Workshop Proceedings, vol. 2404, pp. 1–7. CEUR-WS.org (2019). http://ceur-ws.org/Vol-2404/paper01.pdf

  2. Aschermann, M., Dennisen, S., Kraus, P., Müller, J.P.: LightJason, a highly scalable and concurrent agent framework: overview and application (demonstration). In: Dastani, M., Sukthankar, G., André, E., Koenig, S. (eds.) Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), pp. 1794–1796 (2018). https://lightjason.org/publications/2018-aamas-preprint.pdf

  3. Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-agent Systems in AgentSpeak Using Jason (Wiley Series in Agent Technology). Wiley, Hoboken (2007). https://doi.org/10.1002/9780470061848

  4. Calaça, I., Krausburg, T., Cardoso, R.C.: JROS. https://github.com/smart-pucrs/JROS

  5. Cardoso, R.C., Ferrando, A., Dennis, L.A., Fisher, M.: An interface for programming verifiable autonomous agents in ROS. In: Bassiliades, N., Chalkiadakis, G., de Jonge, D. (eds.) EUMAS/AT -2020. LNCS (LNAI), vol. 12520, pp. 191–205. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-66412-1_13

    Chapter  Google Scholar 

  6. Cardoso, R.C., Farrell, M., Luckcuck, M., Ferrando, A., Fisher, M.: Heterogeneous verification of an autonomous curiosity rover. In: Lee, R., Jha, S., Mavridou, A., Giannakopoulou, D. (eds.) NFM 2020. LNCS, vol. 12229, pp. 353–360. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-55754-6_20

    Chapter  Google Scholar 

  7. Davoust, A., et al.: Simulated Autonomous Vehicle Infrastructure. https://github.com/NMAI-lab/SAVI. Accessed 19 Feb 2019

  8. Davoust, A., et al.: An architecture for integrating BDI agents with a simulation environment. In: Dennis, L.A., Bordini, R.H., Lespérance, Y. (eds.) EMAS 2019. LNCS (LNAI), vol. 12058, pp. 67–84. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-51417-4_4

    Chapter  Google Scholar 

  9. Dennis, L.A., et al.: Agent-based autonomous systems and abstraction engines: theory meets practice. In: Alboul, L., Damian, D., Aitken, J.M.M. (eds.) TAROS 2016. LNCS (LNAI), vol. 9716, pp. 75–86. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-40379-3_8

    Chapter  Google Scholar 

  10. Ehlert, P.: Intelligent driving agents: the agent approach to tactical driving in autonomous vehicles and traffic simulation. Master’s thesis, Delft University of Technology, 2600 AA, Delft, The Netherlands (2001). https://www.researchgate.net/publication/255674932_Intelligent_Driving_Agents_The_Agent_Approach_to_Tactical_Driving_in_Autonomous_Vehicles_and_Traffic_Simulation

  11. ElDivinCodino: ROS2BDI. https://github.com/ElDivinCodino/ROS2BDI. Accessed 29 June 2020

  12. Fichera, L., Messina, F., Pappalardo, G., Santoro, C.: A Python framework for programming autonomous robots using a declarative approach. Sci. Comput. Program. 139, 36–55 (2017)

    Google Scholar 

  13. Gavigan, P.: AirSim Car BDI Agent. https://youtu.be/yX20gJjjbMg. Accessed 19 Feb 2021

  14. Gavigan, P.: Jason mobile agent - AgentSpeak Navigation. https://youtu.be/ooB15Ve54sI. Accessed 19 Feb 2021

  15. Gavigan, P.: Jason mobile agent - environment supported navigation. https://youtu.be/r0CiwjxapZA. Accessed 19 Feb 2021

  16. Gavigan, P.: Jason mobile agent - internal action navigation. https://youtu.be/ooB15Ve54sI. Accessed 19 Feb 2021

  17. Hubner, J.F.: Jason Search Demo. https://github.com/jason-lang/jason/tree/master/demos/search. Accessed 19 Feb 2021

  18. Hübner, J.F., Bordini, R.H.: Jason. https://github.com/jason-lang/jason. Accessed 19 Feb 2021

  19. Hübner, J.F., Bordini, R.H.: Jason: a Java-based interpreter for an extended version of AgentSpeak. http://jason.sourceforge.net. Accessed 16 Feb 2019

  20. jrialland: python-astar. https://github.com/jrialland/python-astar. Accessed 24 Aug 2020

  21. Karim, S., Heinze, C.: Experiences with the design and implementation of an agent-based autonomous UAV controller. In: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2005, pp. 19–26. ACM, New York (2005). https://doi.org/10.1145/1082473.1082799

  22. Lazarin, N.M., Pantoja, C.E.: A robotic-agent platform for embedding software agents using raspberry pi and arduino boards. In: 9th Software Agents, Environments and Applications School (2015)

    Google Scholar 

  23. Marder-Eppstein, E., Berger, E., Foote, T., Gerkey, B., Konolige, K.: The office marathon: robust navigation in an indoor office environment. In: International Conference on Robotics and Automation (2010)

    Google Scholar 

  24. Menegol, M.S., Hübner, J.F., Becker, L.B.: Evaluation of multi-agent coordination on embedded systems. In: Demazeau, Y., An, B., Bajo, J., Fernández-Caballero, A. (eds.) PAAMS 2018. LNCS (LNAI), vol. 10978, pp. 212–223. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-94580-4_17

    Chapter  Google Scholar 

  25. Menegol, M.S.: UAVExperiments. https://github.com/msmenegol/UAVExperiments. Accessed 24 May 2019

  26. Meneguzzi, F., Wesz, R.: Jason ROS Releases. https://github.com/lsa-pucrs/jason-ros-releases. Accessed 17 July 2019

  27. Microsoft: AirSim. https://microsoft.github.io/AirSim/. Accessed 19 Feb 2021

  28. Morais, M.G.: rason. https://github.com/mgodoymorais/rason/tree/master/jason_ros. Accessed 17 July 2019

  29. NA: move\( \_ \)base. http://wiki.ros.org/move_base. Accessed 19 Apr 2021

  30. NA: navigation. http://wiki.ros.org/navigation. Accessed 14 June 2021

  31. NA: vooAgente4Wp. https://drive.google.com/file/d/0B7EcHgES6He8VEtwR0xPZjdBbk0/view. Accessed 08 May 2019

  32. Onyedinma, C., Gavigan, P., Esfandiari, B.: Toward campus mail delivery using BDI. J. Sens. Actuator Netw. 9(4), 56 (2020)

    Google Scholar 

  33. Open Source Robotics Foundation: ROS. https://www.ros.org/. Accessed 27 May 2019

  34. Pantoja, C.E., Stabile, M.F., Lazarin, N.M., Sichman, J.S.: ARGO: an extended Jason architecture that facilitates embedded robotic agents programming. In: Baldoni, M., Müller, J.P., Nunes, I., Zalila-Wenkstern, R. (eds.) EMAS 2016. LNCS (LNAI), vol. 10093, pp. 136–155. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-50983-9_8

    Chapter  Google Scholar 

  35. Rezende, G.: jason\( \_ \)ros. https://github.com/jason-lang/jason_ros/. Accessed 13 Oct 2020

  36. Rezende, G.: MAS-UAV. https://github.com/Rezenders/MAS-UAV. Accessed 24 May 2019

  37. Rezende, G., Hubner, J.F.: Jason-ROS. https://github.com/jason-lang/jason-ros. Accessed 24 May 2019

  38. Rüb, I., Dunin-Kȩplicz, B.: BDI model of connected and autonomous vehicles. In: Nguyen, N.T., Chbeir, R., Exposito, E., Aniorté, P., Trawiński, B. (eds.) ICCCI 2019. LNCS (LNAI), vol. 11684, pp. 181–195. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-28374-2_16

    Chapter  Google Scholar 

  39. Russell, S., Norvig, P.: AIMA3e-Java (JDK 8+). https://github.com/aimacode/aima-java. Accessed 19 Feb 2021

  40. Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 3rd edn. Prentice Hall Press, Hoboken (2009)

    MATH  Google Scholar 

  41. Shah, S., Dey, D., Lovett, C., Kapoor, A.: AirSim: high-fidelity visual and physical simulation for autonomous vehicles. In: Hutter, M., Siegwart, R. (eds.) Field and Service Robotics. SPAR, vol. 5, pp. 621–635. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-67361-5_40

    Chapter  Google Scholar 

  42. Wallis, P., Ronnquist, R., Jarvis, D., Lucas, A.: The automated wingman - Using JACK intelligent agents for unmanned autonomous vehicles. In: Proceedings, IEEE Aerospace Conference, vol. 5, p. 5 (2002). https://doi.org/10.1109/AERO.2002.1035444

Download references

Acknowledgement

We acknowledge the support of the Natural Sciences and Engineering Research Council of Canada (NSERC), [funding reference number 518212].

Cette recherche a été financée par le Conseil de recherches en sciences naturelles et en génie du Canada (CRSNG), [numéro de référence 518212].

Author information

Authors and Affiliations

Authors

Corresponding authors

Correspondence to Patrick Gavigan or Babak Esfandiari .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2022 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Gavigan, P., Esfandiari, B. (2022). BDI for Autonomous Mobile Robot Navigation. In: Alechina, N., Baldoni, M., Logan, B. (eds) Engineering Multi-Agent Systems. EMAS 2021. Lecture Notes in Computer Science(), vol 13190. Springer, Cham. https://doi.org/10.1007/978-3-030-97457-2_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-97457-2_8

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-97456-5

  • Online ISBN: 978-3-030-97457-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics