Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
The Mathematical Morpho-Logical view on Reasoning about Space Marco Aiello1,2
 

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

  

Source: Aiello, Marco - Institute for Mathematics and Computing Science, Rijksuniversiteit Groningen

 

Collections: Computer Technologies and Information Sciences