Answer Set Programming Modulo `Space-Time'.

摘要: We present ASP Modulo `Space-Time', a declarative representational and computational framework to perform commonsense reasoning about regions with both spatial temporal components. Supported are capabilities for mixed qualitative-quantitative reasoning, consistency checking, inferring compositions of space-time relations; these combine synergise applications in range AI application areas where the processing interpretation spatio-temporal data is crucial. The resulting system only general KR-based method declaratively dynamics `space-time' as first-class objects. an empirical evaluation (with scalability robustness results), include diverse examples involving control tasks.