NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models

Created by

Haebom

저자

Rizky Ramadhana Putra, Raihan Sultan Pasha Basuki, Yutong Cheng, Peng Gao

💡 개요

본 논문은 법률 및 거버넌스와 같이 정확성과 해석 가능성이 중요한 분야에서 자동화된 추론을 위한 자연어-1차 논리(First-Order Logic, FOL) 번역 프레임워크인 NL2LOGIC을 제안한다. NL2LOGIC은 추상 구문 트리(Abstract Syntax Tree, AST)를 중간 표현으로 사용하여 재귀적 LLM 기반 의미 분석기와 AST 안내 생성기를 결합함으로써, 해석 가능하고 실행 가능한 FOL 코드를 생성한다. 실험 결과, NL2LOGIC은 기존 최고 성능 모델보다 구문 정확도를 99% 달성하고 의미 정확도를 최대 30% 향상시켰다.

🔑 시사점 및 한계

•

LLM 기반 논리 파싱에서 AST를 중간 표현으로 활용하는 것이 구문 정확성과 의미 충실도를 크게 향상시킬 수 있다.

•

제안된 NL2LOGIC 프레임워크는 기존 LLM 기반 논리 번역 방법의 취약한 구문 제어 및 불충분한 의미 이해 문제를 해결한다.

•

향후 연구는 더 복잡한 논리 표현 및 다양한 도메인에 대한 NL2LOGIC의 일반화 가능성을 탐색하거나, AST 생성을 위한 더 효율적인 LLM 아키텍처를 개발할 수 있다.

PDF 보기

Made with Slashpage