Resumen: Desarrollamos un enfoque computacional para la programación del conjunto de respuestas métricas (ASP) para permitir expresar restricciones temporales cuantitativas, como duraciones y plazos. Un desafío central es mantener la escalabilidad cuando se trata de restricciones de tiempo de grano fino, lo que puede exacerbar significativamente el cuello de botella de ASP. Para abordar este problema, aprovechamos las extensiones de ASP con restricciones de diferencia, una forma simplificada de restricciones lineales, para manejar aspectos relacionados con el tiempo externamente. Nuestro enfoque desacopla efectivamente el ASP métrico de la granularidad del tiempo, lo que resulta en una solución que no se ve afectada por la precisión del tiempo.
Publicado Originalme en rss.arxiv.org El 10 de junio de 2025.
Ver Fuente Original
