Answer Set Programming Modulo `Space-Time'
Carl Schultz, Mehul Bhatt, Jakob Suchan, Przemys{\l}aw Wa{\l}\k{e}ga

TL;DR
This paper introduces ASP Modulo 'Space-Time', a novel framework for declarative reasoning about regions with spatial and temporal aspects, supporting mixed reasoning, consistency checks, and relation composition for AI applications.
Contribution
It presents the first general knowledge representation method for declaratively reasoning about dynamic space-time regions as first-class objects.
Findings
Empirical evaluation demonstrating scalability and robustness.
Application examples in interpretation and control tasks.
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
