The mathematical morpho-logical view on reasoning about space

Marco Aiello, Brammert Ottens

Research output: Contribution to journalArticle

10 Citations (Scopus)

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.

Original languageEnglish
Pages (from-to)205-211
Number of pages7
JournalIJCAI International Joint Conference on Artificial Intelligence
Publication statusPublished - 2007
Externally publishedYes

Fingerprint Dive into the research topics of 'The mathematical morpho-logical view on reasoning about space'. Together they form a unique fingerprint.

Cite this