The Mathematical Morpho-Logical View on Reasoning about Space
Proceedings of the Twentieth International Joint Conference on Artificial Intelligence. Pages 205-210.
Abstract
Qualitative reasoning about mereotopological relations has been extensively investigated, while more recently geometrical and spatio-temporal reasoning are gaining increasing attention. We propose to consider mathematical morphology operators as the inspiration for a new language and inference mechanism to reason about space. Interestingly, the proposed morpho-logic captures not only traditional mereotopological relations, but also notions of relative size and morphology. The proposed representational framework is a hybrid arrow logic theory for which we define a resolution calculus which is, to the best of our knowledge, the first such calculus for arrow logics.
@inproceedings{ijcai2007p31,
title = {The Mathematical Morpho-Logical View on Reasoning about Space},
author = {Aiello, Marco and Ottens, Brammert},
booktitle = {Proceedings of the Twentieth International Joint Conference on
Artificial Intelligence, {IJCAI-07}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ramon López de Mántaras},
pages = {205--210},
year = {2007},
url = {https://ijcai.org/proceedings/2007/31},
}
TY - CPAPER TI - The Mathematical Morpho-Logical View on Reasoning about Space AU - Aiello, Marco AU - Ottens, Brammert T2 - Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07 PB - International Joint Conferences on Artificial Intelligence PY - 2007 SP - 205 EP - 210 UR - https://ijcai.org/proceedings/2007/31 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
