The Mathematical Morpho-Logical View on Reasoning About Space
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.
Cite
Text
Aiello and Ottens. "The Mathematical Morpho-Logical View on Reasoning About Space." International Joint Conference on Artificial Intelligence, 2007.Markdown
[Aiello and Ottens. "The Mathematical Morpho-Logical View on Reasoning About Space." International Joint Conference on Artificial Intelligence, 2007.](https://mlanthology.org/ijcai/2007/aiello2007ijcai-mathematical/)BibTeX
@inproceedings{aiello2007ijcai-mathematical,
title = {{The Mathematical Morpho-Logical View on Reasoning About Space}},
author = {Aiello, Marco and Ottens, Brammert},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2007},
pages = {205-211},
url = {https://mlanthology.org/ijcai/2007/aiello2007ijcai-mathematical/}
}