ASP Chef Chats with Large Language Models

Alviano, Mario; Macrì, Pietro; Rodriguez Reiners, Luis Angel

doi:10.24963/ijcai.2025/1247

ASP Chef Chats with Large Language Models

Mario Alviano, Pietro Macrì, Luis Angel Rodriguez Reiners

Download BibTeX Cite

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. Demo Track. Pages 10989-10993.

https://doi.org/10.24963/ijcai.2025/1247

Keywords

Knowledge Representation and Reasoning: KRR: Logic programming
Knowledge Representation and Reasoning: KRR: Non-monotonic reasoning
Natural Language Processing: NLP: Information extraction

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.

Mario Alviano, Pietro Macrì, and Luis Angel Rodriguez Reiners. 2025. ASP Chef Chats with Large Language Models. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25. IJCAI, 10989–10993. https://doi.org/10.24963/ijcai.2025/1247

@inproceedings{ijcai2025p1247,
  title     = {ASP Chef Chats with Large Language Models},
  author    = {Alviano, Mario and Macrì, Pietro and Rodriguez Reiners, Luis Angel},
  booktitle = {Proceedings of the Thirty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-25}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {James Kwok},
  pages     = {10989--10993},
  year      = {2025},
  month     = {8},
  note      = {Demo Track},
  doi       = {10.24963/ijcai.2025/1247},
  url       = {https://doi.org/10.24963/ijcai.2025/1247},
}

TY  - CPAPER
TI  - ASP Chef Chats with Large Language Models
AU  - Alviano, Mario
AU  - Macrì, Pietro
AU  - Rodriguez Reiners, Luis Angel
T2  - Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25
PB  - International Joint Conferences on Artificial Intelligence Organization
PY  - 2025
SP  - 10989
EP  - 10993
DO  - 10.24963/ijcai.2025/1247
UR  - https://doi.org/10.24963/ijcai.2025/1247
ER  -