본 논문은 LLM과 Abstract Meaning Representation (AMR) 그래프를 활용하여 제약 없는 영어 문장을 ASP (Answer Set Programming) 프로그램으로 변환하는 새로운 방법을 제안합니다. 로직 퍼즐 해결을 목표로 하며, ASP 규칙, 사실, 제약 조건을 생성하여 문제를 완전히 표현하고 해결합니다. LLM은 자연어 문장 단순화, 키워드 식별, 간단한 사실 생성에 사용되고, AMR 그래프는 단순화된 언어로부터 파싱되어 ASP 제약 조건을 체계적으로 생성합니다.