| | |
Summary: The Mathematical Morpho-Logical view on Reasoning about Space
Marco Aiello1,2
& Brammert Ottens3
1. DIT, Univ. Trento, Via Sommarive 14, 38050 Trento, Italy
2. DSG, TUWien, Argentinierstrasse 8, 1040 Wien, Austria
3. Master in AI, Univ. of Amsterdam, Amsterdam, The Netherlands
email: aiellom@ieee.org and bottens@gmail.com
Abstract
Qualitative reasoning about mereotopological rela-
tions has been extensively investigated, while more
recently geometrical and spatio-temporal reason-
ing are gaining increasing attention. We propose
to consider mathematical morphologic operators as
the inspiration for a new language and inference
mechanism to reason about space. Interestingly,
the proposed morpho-logic captures not only tradi-
tional mereotopological relations, but also notions
of relative size and morphology. The proposed rep-
resentational framework is a hybrid arrow logic the-
ory for which we define a resolution calculus which
|
