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 morphologic operators as the inspiration for a new language and inference mechanism to reason about space. Interestingly, the proposed morphologic 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.

The Mathematical Morpho-Logical view on Reasoning about Space / Aiello, Marco; Ottens, Brammert. - ELETTRONICO. - (2006), pp. 1-8.

The Mathematical Morpho-Logical view on Reasoning about Space

Aiello, Marco;
2006-01-01

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 morphologic operators as the inspiration for a new language and inference mechanism to reason about space. Interestingly, the proposed morphologic 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.
2006
Trento
Università degli Studi di Trento - Dipartimento di Informatica e Telecomunicazioni
The Mathematical Morpho-Logical view on Reasoning about Space / Aiello, Marco; Ottens, Brammert. - ELETTRONICO. - (2006), pp. 1-8.
Aiello, Marco; Ottens, Brammert
File in questo prodotto:
File Dimensione Formato  
045.pdf

accesso aperto

Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 228.79 kB
Formato Adobe PDF
228.79 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/358168
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact