DeepAI AI Chat
Log In Sign Up

Answer Set Programming Modulo `Space-Time'

by   Carl Schultz, et al.

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.


page 2

page 8


Neuro-Symbolic Spatio-Temporal Reasoning

Knowledge about space and time is necessary to solve problems in the phy...

Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning about Moving Objects

We propose a hybrid architecture for systematically computing robust vis...

The diffusion-based extension of the Matérn field to space-time

The Matérn field is the most well known family of covariance functions u...

StreetX: Spatio-Temporal Access Control Model for Data

Cities are a big source of spatio-temporal data that is shared across en...

Where and How to Improve Graph-based Spatio-temporal Predictors

This paper introduces a novel residual correlation analysis, called AZ-a...

STEVE - Space-Time-Enclosing Volume Extraction

The novel STEVE (i.e., Space-Time-Enclosing Volume Extraction) algorithm...