What type of study is this?

This is a Experimental Study study.

September 20, 2025

ASP Chef Chats with Large Language Models

Key Points

Answer set programming (ASP) is enhanced by recipes, enabling new operations for better problem-solving workflows.
Integration of large language models (LLMs) allows for the transformation of answer sets into natural language prompts.
The resulting responses from LLMs facilitate adaptive interactions within the ASP framework.
This approach highlights the synergy between the reasoning power of ASP and the linguistic strength of LLMs.

Abstract

ASP Chef enriches Answer Set Programming (ASP) with the notion of recipe, that is, a sequence of operations on answer sets. Recipes are designed and executed in modern browsers, and further improve the fast prototyping capabilities of ASP. This paper introduces new operations designed to integrate Large Language Models (LLMs) in recipe, with the aim of combining the reasoning strength of ASP with the natural language capabilities of LLMs, to enable more interactive and adaptive problem-solving workflows. In a nutshell, answer sets in input are transformed into prompts for LLMs, whose responses are processed to extract facts for subsequent operations within the recipe.

Bookmark

Cite This Study

Alviano et al. (Mon,) studied this question.

synapsesocial.com/papers/68d469d631b076d99fa66f9a https://doi.org/https://doi.org/10.24963/ijcai.2025/1247

Bookmark