The Mathematical Morpho-Logical View on Reasoning about Space

Marco Aiello*, Brammert Ottens

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

12 Citations (Scopus)
90 Downloads (Pure)

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
Title of host publication20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE
EditorsMM Veloso
Place of PublicationFREIBURG
PublisherIJCAI - International Joint Conferences on Artificial Intelligence
Pages205-211
Number of pages7
ISBN (Print)*****************
Publication statusPublished - 2007
Event20th International Joint Conference on Artificial Intelligence - , India
Duration: 6-Jan-200712-Jan-2007

Other

Other20th International Joint Conference on Artificial Intelligence
Country/TerritoryIndia
Period06/01/200712/01/2007

Cite this