Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable
Abstract
Several qualitative spatial logics used in reasoning about geospatial data have a sound and complete axiomatisation over metric spaces. It has been open whether the same axiomatisation is also sound and complete for 2D Euclidean spaces. We answer this question negatively by showing that the axiomatisations presented in (Du et al. 2013; Du and Alechina 2016) are not complete for 2D Euclidean spaces and, moreover, the logics are not finitely axiomatisable.
Cite
Text
Du and Alechina. "Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable." AAAI Conference on Artificial Intelligence, 2019. doi:10.1609/AAAI.V33I01.33012776Markdown
[Du and Alechina. "Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable." AAAI Conference on Artificial Intelligence, 2019.](https://mlanthology.org/aaai/2019/du2019aaai-qualitative/) doi:10.1609/AAAI.V33I01.33012776BibTeX
@inproceedings{du2019aaai-qualitative,
title = {{Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable}},
author = {Du, Heshan and Alechina, Natasha},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2019},
pages = {2776-2783},
doi = {10.1609/AAAI.V33I01.33012776},
url = {https://mlanthology.org/aaai/2019/du2019aaai-qualitative/}
}