Bridging Natural Language and ASP: A Hybrid Approach Using LLMs and AMR Parsing

TL;DR

This paper introduces a hybrid system combining large language models and AMR parsing to translate natural language into ASP programs, enabling automated solving of logic puzzles with improved explainability.

Contribution

It presents a novel hybrid approach that minimizes LLM use and leverages AMR parsing for systematic ASP generation, advancing natural language to logic programming translation.

Findings

Successfully generates complete ASP programs from natural language puzzles

Reduces reliance on LLMs by using AMR for systematic constraint generation

Demonstrates effectiveness on example logic puzzles

Abstract

Answer Set Programming (ASP) is a declarative programming paradigm based on logic programming and non-monotonic reasoning. It is a tremendously powerful tool for describing and solving combinatorial problems. Like any other language, ASP requires users to learn how it works and the syntax involved. It is becoming increasingly required for those unfamiliar with programming languages to interact with code. This paper proposes a novel method of translating unconstrained English into ASP programs for logic puzzles using an LLM and Abstract Meaning Representation (AMR) graphs. Everything from ASP rules, facts, and constraints is generated to fully represent and solve the desired problem. Example logic puzzles are used to demonstrate the capabilities of the system. While most current methods rely entirely on an LLM, our system minimizes the role of the LLM only to complete straightforward tasks. The LLM is used to simplify natural language sentences, identify keywords, and generate simple facts. The AMR graphs are then parsed from simplified language and used to generate ASP constraints systematically. The system successfully creates an entire ASP program that solves a combinatorial logic problem. This approach is a significant first step in creating a lighter-weight, explainable system that converts natural language to solve complex logic problems.