{"type":"ScholarlyArticle","title":"The Mathematical Morpho-Logical View on Reasoning about Space","authors":[{"name":"Marco Aiello","slug":"marco-aiello","given":"Marco","family":"Aiello","affiliation":""},{"name":"Brammert Ottens","slug":"brammert-ottens","given":"Brammert","family":"Ottens","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2007/31","pdf":"https://ijcai.org/proceedings/2007/0031.pdf","markdown":"https://ijcai.org/proceedings/2007/31.md","bibtex":"https://ijcai.org/proceedings/2007/bibtex/31","volume":{"slug":"2007","title":"Proceedings of the Twentieth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2007","url":"https://ijcai.org/proceedings/2007/","year":2007,"location":"Hyderabad, India","dates":"","editors":"Ramon López de Mántaras","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":31,"pages":{"first":205,"last":210},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}