Answer Set Programming Modulo `Space-Time'

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.