Answer Set Programming Modulo `Space-Time'
This addresses the need for processing and interpreting spatio-temporal data in various AI applications, such as interpretation and control tasks, by providing a general knowledge representation-based method, though it appears incremental as it builds on existing ASP frameworks.
The paper tackles the problem of commonsense reasoning about regions with both spatial and temporal components by introducing ASP Modulo 'Space-Time', a declarative framework that supports mixed qualitative-quantitative reasoning, consistency checking, and inferring compositions of space-time relations, with empirical evaluation showing scalability and robustness results.
We present ASP Modulo `Space-Time', a declarative representational and computational framework to perform commonsense reasoning about regions with both spatial and temporal components. Supported are capabilities for mixed qualitative-quantitative reasoning, consistency checking, and inferring compositions of space-time relations; these capabilities combine and synergise for applications in a range of AI application areas where the processing and interpretation of spatio-temporal data is crucial. The framework and resulting system is the only general KR-based method for declaratively reasoning about the dynamics of `space-time' regions as first-class objects. We present an empirical evaluation (with scalability and robustness results), and include diverse application examples involving interpretation and control tasks.