Superando el Cuello de Botella del ASP: Enlace Híbrido mediante División y Reescritura

La Programación por Conjuntos de Respuestas (ASP) es un paradigma clave para problemas en inteligencia artificial y contextos industriales. En ASP, los problemas se modelan a través de un conjunto de reglas. Con el tiempo, este paradigma se ha convertido en un lenguaje rico, permitiendo tipos de reglas complejas como expresiones agregadas. La mayoría de los sistemas prácticos de ASP siguen un patrón de cálculo y resolución, donde los esquemas de reglas se concretan y las reglas resultantes se resuelven. Allí, el llamado cuello de botella de la concreción puede impedir la resolución, debido al tamaño masivo de la concreción. Recientemente, la concreción desacoplada de cuerpos (BDG) demostró cómo reducir los tamaños de concreción al delegar el esfuerzo a la resolución. Sin embargo, BDG proporciona una interoperabilidad limitada con los concretadores tradicionales y solo cubre tipos de reglas simples. En este trabajo, establecemos la concreción híbrida — basada en un nuevo teorema de división que nos permite combinar libremente BDG con concretadores tradicionales. Para mitigar las grandes concreciones en la práctica, definimos procedimientos de reescritura para diferir de manera eficiente el esfuerzo de concreción de agregados a la resolución. Nuestros resultados experimentales indican que este enfoque es competitivo, especialmente para instancias donde la concreción tradicional falla.