Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning

Journal of Applied Non-Classical Logics 12 (3):399-423 (2002)
  Copy   BIBTEX

Abstract

We propose in this paper to construct modal logics based on mathematical morphology. The contribution of this paper is twofold. First we show that mathematical morphology can be used to define modal operators in the context of normal modal logics. We propose definitions of modal operators as algebraic dilations and erosions, based on the notion of adjunction. We detail the particular case of morphological dilations and erosions, and of there compositions, as opening and closing. An extension to the fuzzy case is also proposed. Then we show how this can be interpreted for spatial reasoning by using qualitative symbolic representations of spatial relationships (topological and metric ones) derived from mathematical morphology. This allows to establish some links between numerical and symbolic representations of spatial knowledge.

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,556

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A ModalWalk Through Space.Marco Aiello & Johan van Benthem - 2002 - Journal of Applied Non-Classical Logics 12 (3):319-363.
Modal Logics for Topological Spaces.Konstantinos Georgatos - 1993 - Dissertation, City University of New York
Modal Logics for Qualitative Spatial Reasoning.Brandon Bennett - 1996 - Logic Journal of the IGPL 4 (1):23-45.
Many-dimensional modal logics: theory and applications.Dov M. Gabbay (ed.) - 2003 - Boston: Elsevier North Holland.
The Modal Multilogic of Geometry.Philippe Balbiani - 1998 - Journal of Applied Non-Classical Logics 8 (3):259-281.
Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.

Analytics

Added to PP
2014-01-21

Downloads
50 (#481,218)

6 months
16 (#192,188)

Historical graph of downloads
How can I increase my downloads?