arXiv:2502.09228v1 动态类型：新 摘要：在我们的日常生活中以及工业环境中，我们经常遇到需要时间推理和度量约束的动态问题。这些问题包括调度、路径规划和生产顺序安排等任务。动态逻辑传统上可以解决这些需求，但往往缺乏灵活且全面的问题建模能力。本研究旨在将强大的声明式问题求解方法回答集编程（ASP）扩展到有效地处理动态领域。通过将动态、时间逻辑和度量逻辑的概念整合进ASP，我们希望开发出能够有效建模复杂动态问题并进行高效推理的 robust 系统，从而增强ASP在工业环境中的应用性。