Resumen: La programación de conjuntos de respuestas (ASP) es un enfoque popular de razonamiento declarativo y resolución de problemas en la IA simbólica. Su formalismo basado en reglas lo hace inherentemente atractivo para el razonamiento explicable e interpretativo, que está ganando importancia con el surgimiento de la IA explicable (XAI). Se han desarrollado una serie de enfoques explicativos y herramientas para ASP, que a menudo abordan entornos explicativos específicos y pueden no cubrir todos los escenarios que encuentran los usuarios de ASP. En esta encuesta, proporcionamos, guiados por una perspectiva XAI, una descripción general de los tipos de explicaciones ASP en relación con las preguntas de los usuarios para su explicación, y describimos cómo su cobertura por la teoría y las herramientas actuales. Además, identificamos lagunas en los enfoques explicativos de ASP existentes e identificamos direcciones de investigación para trabajos futuros.
Publicado originalmente en export.arxiv.org el 21 de enero de 2026.
Ver fuente original
