Resumen: La programación del conjunto de respuestas (ASP) a menudo se ve obstaculizada por el cuello de botella de conexión a tierra: los grandes universos de Herbrand generan programas terrestres tan grandes que la resolución se vuelve difícil. Muchos métodos emplean heurísticas ad-hoc para mejorar el rendimiento de la base, motivando la necesidad de una estrategia más formal y generalizable. Introducimos la noción de disminución, definida como un subconjunto seleccionado del universo Herbrand utilizado para generar un programa de tierra reducido antes de resolver. Damos una definición formal de disminución, analizamos sus propiedades clave y estudiamos la complejidad de identificarla. Utilizamos una codificación específica que permita que el solucionador ASP listo para usar evalúe subconjuntos candidatos. Nuestro enfoque se integra a la perfección con los motores existentes a través de predicados de dominio. En experimentos extensos en cinco puntos de referencia, la aplicación de disminuciones seleccionadas por nuestra estrategia produce mejoras significativas en el rendimiento, reduciendo el tiempo de conexión a tierra hasta un 70% en promedio y disminuyendo el tamaño de los archivos de conexión a tierra hasta en un 85%. Estos resultados demuestran que aprovechar las diminuciones constituye un enfoque robusto y de propósito general para aliviar el cuello de botella en ASP.
Publicado Originalme en export.arxiv.org El 12 de agosto de 2025.
Ver Fuente Original
