Verification of Reasoning Ability using BDI Logic and Large Language Model in AIWolf Hiraku Gondo author Hiroki Sakaji author Itsuki Noda author 2024-09 text Proceedings of the 2nd International AIWolfDial Workshop Yoshinobu Kano editor Association for Computational Linguistics Tokyo, Japan conference publication gondo-etal-2024-verification 10.18653/v1/2024.aiwolfdial-1.5 https://aclanthology.org/2024.aiwolfdial-1.5/ 2024-09 40 47