Combining Spatial and Temporal Logics: Expressiveness vs. Complexity
Artificial Intelligence
2011-10-13 v1
Abstract
In this paper, we construct and investigate a hierarchy of spatio-temporal formalisms that result from various combinations of propositional spatial and temporal logics such as the propositional temporal logic PTL, the spatial logics RCC-8, BRCC-8, S4u and their fragments. The obtained results give a clear picture of the trade-off between expressiveness and computational realisability within the hierarchy. We demonstrate how different combining principles as well as spatial and temporal primitives can produce NP-, PSPACE-, EXPSPACE-, 2EXPSPACE-complete, and even undecidable spatio-temporal logics out of components that are at most NP- or PSPACE-complete.
Keywords
Cite
@article{arxiv.1110.2726,
title = {Combining Spatial and Temporal Logics: Expressiveness vs. Complexity},
author = {D. Gabelaia and R. Kontchakov and A. Kurucz and F. Wolter and M. Zakharyaschev},
journal= {arXiv preprint arXiv:1110.2726},
year = {2011}
}