본 논문은 RAC (Reasoning about Actions and Change) 문제를 해결하기 위해 LLM을 활용하는 신경-기호 프레임워크인 ProRAC (Progression-based Reasoning about Actions and Change)를 제안합니다. ProRAC는 문제로부터 액션과 질문을 추출하고, 각 액션을 점진적으로 실행하여 최종 상태를 도출한 후, 그 상태를 기반으로 질의를 평가하여 답을 얻습니다. 다양한 RAC 벤치마크에서 ProRAC의 성능을 평가한 결과, 다양한 벤치마크, 도메인, LLM 백본 및 RAC 작업 유형에서 강력한 성능을 달성했음을 보여줍니다.