Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Topo-distance: Measuring the Difference between Spatial Patterns

Marco AielloContact Information

(7)  Institute for Logic, Language and Information, and Intelligent Sensory and Information Systems, University of Amsterdam, the Netherlands
Abstract
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.

Keywords  qualitative spatial reasoning - RCC - mereotopology - model comparison games


Contact Information Marco Aiello
Email: aiellom@wins.uva.nl
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.106 • Server: mpweb02
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)