SafePlan: Leveraging Formal Logic and Chain-of-Thought Reasoning for Enhanced Safety in LLM-based Robotic Task Planning

E. Kolve, R. Mottaghi, W. Han, E. VanderBilt, L. Weihs, A. Herrasti, M. Deitke, K. Ehsani, D. Gordon, Y. Zhu et al. , “Ai2-thor: An interactive 3d environment for visual ai,” arXiv preprint arXiv:1712.05474 , 2017

Original

2017

Earlier work this paper cites.

H. S. Richardson, “Moral reasoning,” Aug 2018. [Online]. Available: https://plato.stanford.edu/entries/reasoning-moral/

2018

Earlier work this paper cites.

I. Gabriel, “Artificial intelligence, values, and alignment,” Minds and machines , vol. 30, no. 3, pp. 411–437, 2020

2020

Earlier work this paper cites.

A. Hundt, W. Agnew, V. Zeng, S. Kacianka, and M. Gombolay, “Robots enact malignant stereotypes,” in Proceedings of the 2022 ACM Conference on Fairness, Accountability, and Transparency , 2022, pp. 743–756

2022

Earlier work this paper cites.

I. Singh, V. Blukis, A. Mousavian, A. Goyal, D. Xu, J. Tremblay, D. Fox, J. Thomason, and A. Garg, “Progprompt: Generating situated robot task plans using large language models,” in 2023 IEEE International Conference on Robotics and Automation (ICRA) . IEEE, 2023, pp. 11 523–11 530

2023

Earlier work this paper cites.

J. Wu, R. Antonova, A. Kan, M. Lepert, A. Zeng, S. Song, J. Bohg, S. Rusinkiewicz, and T. Funkhouser, “Tidybot: Personalized robot assistance with large language models,” Autonomous Robots , vol. 47, no. 8, pp. 1087–1102, 2023

2023

Earlier work this paper cites.

I. Obi, R. Wang, P. Shukla, and B.-C. Min, “Robot patrol: Using crowdsourcing and robotic systems to provide indoor navigation guidance to the visually impaired,” arXiv preprint arXiv:2306.02843 , 2023

Original

2023

Earlier work this paper cites.

S. S. Kannan, V. L. Venkatesh, and B.-C. Min, “Smart-llm: Smart multi-agent robot task planning using large language models,” in 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) . IEEE, 2024, pp. 12 140–12 147

2024

Cited alongside, same era.

Z. Yang, S. S. Raman, A. Shah, and S. Tellex, “Plug in the safety chip: Enforcing constraints for llm-driven robot agents,” in 2024 IEEE International Conference on Robotics and Automation (ICRA) . IEEE, 2024, pp. 14 435–14 442

2024

Cited alongside, same era.

X. Wu, R. Xian, T. Guan, J. Liang, S. Chakraborty, F. Liu, B. M. Sadler, D. Manocha, and A. Bedi, “On the safety concerns of deploying llms/vlms in robotics: Highlighting the risks and vulnerabilities,” in First Vision and Language for Autonomous Driving and Robotics Workshop , 2024

2024

Cited alongside, same era.

R. Azeem, A. Hundt, M. Mansouri, and M. Brandão, “Llm-driven robots risk enacting discrimination, violence, and unlawful actions,” arXiv preprint arXiv:2406.08824 , 2024

Original

C. T. Chang and B. Hayes, “Safety and accountability for large language model use in hri,” 2024

2024

Later among the works it cites.

I. Obi, R. Wang, W. Jo, and B.-C. Min, “Investigating the impact of trust in multi-human multi-robot task allocation,” arXiv preprint arXiv:2409.16009 , 2024

Original

2024

Later among the works it cites.

S. Izquierdo-Badiola, G. Canal, C. Rizzo, and G. Alenyà, “Plancollabnl: Leveraging large language models for adaptive plan generation in human-robot collaboration,” in 2024 IEEE International Conference on Robotics and Automation (ICRA) . IEEE, 2024, pp. 17 344–17 350

2024

Later among the works it cites.

Z. Mandi, S. Jain, and S. Song, “Roco: Dialectic multi-robot collaboration with large language models,” in 2024 IEEE International Conference on Robotics and Automation (ICRA) . IEEE, 2024, pp. 286–299

2024

Later among the works it cites.