---
title: "The Mathematical Morpho-Logical View on Reasoning about Space"
authors:
  - "Marco Aiello"
  - "Brammert Ottens"
doi: ""
url: "https://ijcai.org/proceedings/2007/31"
pdf: "https://ijcai.org/proceedings/2007/0031.pdf"
venue: "Proceedings of the Twentieth International Joint Conference on Artificial Intelligence"
year: 2007
pages: "205-210"
track: ""
keywords:
---

# The Mathematical Morpho-Logical View on Reasoning about Space

Marco Aiello, Brammert Ottens

*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.