ASP Chef Chats with Large Language Models
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.
Cite
Text
Alviano et al. "ASP Chef Chats with Large Language Models." International Joint Conference on Artificial Intelligence, 2025. doi:10.24963/IJCAI.2025/1247Markdown
[Alviano et al. "ASP Chef Chats with Large Language Models." International Joint Conference on Artificial Intelligence, 2025.](https://mlanthology.org/ijcai/2025/alviano2025ijcai-asp/) doi:10.24963/IJCAI.2025/1247BibTeX
@inproceedings{alviano2025ijcai-asp,
title = {{ASP Chef Chats with Large Language Models}},
author = {Alviano, Mario and Macrì, Pietro and Reiners, Luis Angel Rodriguez},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2025},
pages = {10989-10993},
doi = {10.24963/IJCAI.2025/1247},
url = {https://mlanthology.org/ijcai/2025/alviano2025ijcai-asp/}
}