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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
SAVI ROS BDI is available at https://github.com/NMAI-lab/savi_ros_bdi.
- 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
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
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
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
Calaça, I., Krausburg, T., Cardoso, R.C.: JROS. https://github.com/smart-pucrs/JROS
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
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
Davoust, A., et al.: Simulated Autonomous Vehicle Infrastructure. https://github.com/NMAI-lab/SAVI. Accessed 19 Feb 2019
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
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
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
ElDivinCodino: ROS2BDI. https://github.com/ElDivinCodino/ROS2BDI. Accessed 29 June 2020
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)
Gavigan, P.: AirSim Car BDI Agent. https://youtu.be/yX20gJjjbMg. Accessed 19 Feb 2021
Gavigan, P.: Jason mobile agent - AgentSpeak Navigation. https://youtu.be/ooB15Ve54sI. Accessed 19 Feb 2021
Gavigan, P.: Jason mobile agent - environment supported navigation. https://youtu.be/r0CiwjxapZA. Accessed 19 Feb 2021
Gavigan, P.: Jason mobile agent - internal action navigation. https://youtu.be/ooB15Ve54sI. Accessed 19 Feb 2021
Hubner, J.F.: Jason Search Demo. https://github.com/jason-lang/jason/tree/master/demos/search. Accessed 19 Feb 2021
Hübner, J.F., Bordini, R.H.: Jason. https://github.com/jason-lang/jason. Accessed 19 Feb 2021
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
jrialland: python-astar. https://github.com/jrialland/python-astar. Accessed 24 Aug 2020
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
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)
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)
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
Menegol, M.S.: UAVExperiments. https://github.com/msmenegol/UAVExperiments. Accessed 24 May 2019
Meneguzzi, F., Wesz, R.: Jason ROS Releases. https://github.com/lsa-pucrs/jason-ros-releases. Accessed 17 July 2019
Microsoft: AirSim. https://microsoft.github.io/AirSim/. Accessed 19 Feb 2021
Morais, M.G.: rason. https://github.com/mgodoymorais/rason/tree/master/jason_ros. Accessed 17 July 2019
NA: move\( \_ \)base. http://wiki.ros.org/move_base. Accessed 19 Apr 2021
NA: navigation. http://wiki.ros.org/navigation. Accessed 14 June 2021
NA: vooAgente4Wp. https://drive.google.com/file/d/0B7EcHgES6He8VEtwR0xPZjdBbk0/view. Accessed 08 May 2019
Onyedinma, C., Gavigan, P., Esfandiari, B.: Toward campus mail delivery using BDI. J. Sens. Actuator Netw. 9(4), 56 (2020)
Open Source Robotics Foundation: ROS. https://www.ros.org/. Accessed 27 May 2019
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
Rezende, G.: jason\( \_ \)ros. https://github.com/jason-lang/jason_ros/. Accessed 13 Oct 2020
Rezende, G.: MAS-UAV. https://github.com/Rezenders/MAS-UAV. Accessed 24 May 2019
Rezende, G., Hubner, J.F.: Jason-ROS. https://github.com/jason-lang/jason-ros. Accessed 24 May 2019
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
Russell, S., Norvig, P.: AIMA3e-Java (JDK 8+). https://github.com/aimacode/aima-java. Accessed 19 Feb 2021
Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 3rd edn. Prentice Hall Press, Hoboken (2009)
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
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
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
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 Springer Nature Switzerland AG
About this paper
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)