Resumen: En este artículo, abordamos el problema de dar nombres a predicados en reglas lógicas utilizando modelos de lenguaje grandes (LLM). En el contexto de la programación lógica inductiva, varios métodos de generación de reglas producen reglas que contienen predicados sin nombre, siendo la invención de predicados un ejemplo clave. Esto dificulta la legibilidad, interpretabilidad y reutilización de la teoría lógica. Aprovechando los avances recientes en el desarrollo de LLM, exploramos su capacidad para procesar lenguaje natural y código para proporcionar sugerencias semánticamente significativas para dar un nombre a predicados sin nombre. La evaluación de nuestro enfoque sobre algunas reglas lógicas elaboradas manualmente indica que los LLM tienen potencial para esta tarea.
Publicado originalmente en export.arxiv.org el 29 de octubre de 2025.
Ver fuente original
