Desarrollo de sistema de resolución de rompecabezas en ASP mediante el uso de LLM

Abstract

[Resumen]: Los Large Language Model (LLM) han recibido una gran popularidad en los últimos años por su capacidad de generar texto de apariencia orgánica. Sin embargo, una de sus restricciones más flagrantes es su incapacidad para realizar inferencias complejas o resolver determinadas cuestiones necesitadas de un razonamiento profundo. Para tratar este problema, se propone combinar un LLM con Answer Set Programming (ASP), un formalismo de programación lógica usado para la resolución declarativa de problemas. Se implementa un sistema neurosimbólico que combina LLM con ASP en el contexto de la resolución de determinados tipos de rompecabezas. Se consigue, además, incorporar un sistema con interfaz Web para mostrar a un potencial usuario una salida gráfica y una descripción en texto en Lenguaje Natural (LN) de las soluciones halladas.

[Abstract]: Large Language Model (LLM)s have become very popular in recent years because of their ability to generate organic-looking text. However, one of their most blatant restrictions lies in their inability to perform complex inferences or to solve certain questions that require deep reasoning. To address this issue, it is proposed to combine an LLM with Answer Set Programming (ASP), a logic programming formalism used for declarative problem solving. A neurosymbolic system is implemented combining LLM with ASP in the context of solving certain types of puzzles. As an adittional feat, a system with a Web interface has been incorporated to show a potential user both a graphical output and a natural language text description of the solutions found.