Towards Constraint Temporal Answer Set Programming
This work addresses the problem of handling high-resolution temporal and numeric reasoning in logic-based systems for researchers and practitioners in ASP, representing a foundational but incremental extension.
The paper tackles the challenge of reasoning about dynamic systems with fine-grained temporal and numeric resolution in Answer Set Programming (ASP) by introducing a novel temporal and constraint-based extension of the logic of Here-and-There, establishing a foundational logical framework for complex dynamic systems within ASP.
Reasoning about dynamic systems with a fine-grained temporal and numeric resolution presents significant challenges for logic-based approaches like Answer Set Programming (ASP). To address this, we introduce and elaborate upon a novel temporal and constraint-based extension of the logic of Here-and-There and its nonmonotonic equilibrium extension, representing, to the best of our knowledge, the first approach to nonmonotonic temporal reasoning with constraints specifically tailored for ASP. This expressive system is achieved by a synergistic combination of two foundational ASP extensions: the linear-time logic of Here-and-There, providing robust nonmonotonic temporal reasoning capabilities, and the logic of Here-and-There with constraints, enabling the direct integration and manipulation of numeric constraints, among others. This work establishes the foundational logical framework for tackling complex dynamic systems with high resolution within the ASP paradigm.