Answer Set Programming Modulo `Space-Time' [article]

Carl Schultz, Mehul Bhatt, Jakob Suchan, Przemysław Wałęga
2018 arXiv   pre-print
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
more » ... 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.
arXiv:1805.06861v1 fatcat:j5eulz4egnbqlahckeq5wrl3di