Multidimensional Mereotopology with Betweenness
Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 906-910.
Abstract
Qualitative reasoning about commonsense space often involves entities of different dimensions. We present a weak axiomatization of multidimensional qualitative space based on `relative dimension' and dimension-independent `containment' which suffice to define basic dimension-dependent mereotopological relations. We show the relationships to other meoreotopologies and to incidence geometry. The extension with betweenness, a primitive of relative position, results in a first-order theory that qualitatively abstracts ordered incidence geometry.
@inproceedings{ijcai2011p157,
title = {Multidimensional Mereotopology with Betweenness},
author = {Hahmann, Torsten and Grüninger, Michael},
booktitle = {Proceedings of the Twenty-Second International Joint Conference on
Artificial Intelligence, {IJCAI-11}},
publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence},
editor = {Toby Walsh},
pages = {906--910},
year = {2011},
month = {7},
doi = {10.5591/978-1-57735-516-8/IJCAI11-157},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-157},
}
TY - CPAPER TI - Multidimensional Mereotopology with Betweenness AU - Hahmann, Torsten AU - Grüninger, Michael T2 - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11 PB - AAAI Press/International Joint Conferences on Artificial Intelligence PY - 2011 SP - 906 EP - 910 DO - 10.5591/978-1-57735-516-8/IJCAI11-157 UR - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-157 ER -Copied
Machine-readable versions of this paper, for tools and AI agents: