Aiello, Marco

English

A framework to deal with spatial patterns at the qualitative level of mereotopology is proposed. The main contribution is to provide formal tools for issues of model equivalence and model similarity. The framework uses a multi-modal language S4u interpreted on topological spaces (rather than Kripke semantics) to describe the spatial patterns. Model theoretic notions such as topological bisimulations and topological model comparison games are introduced to define a distance on the space of all topological models for the language S4u. In the process, a new take on mereotopology is given, prompting for a comparison with prominent systems, such as RCC

Dissertations of the University of Groningen

Topo-distance:Measuring the Difference between Spatial Patterns

https://pure.rug.nl/ws/files/3125447/2000LNAIAiello.pdf

Topo-distance:Measuring the Difference between Spatial Patterns

Abstract

Similar works

Full text

Available Versions

Dissertations of the University of Groningen