Topo-distance: Measuring the Difference between Spatial Patterns

Authors:
Marco Aiello
Affiliations:
-
Venue:
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Year:
2000

Citing 3
Cited 1

On the complexity of qualitative spatial reasoning: a maximal tractable fragment of the region connection calculus

Artificial Intelligence
Concurrency and Automata on Infinite Sequences

Proceedings of the 5th GI-Conference on Theoretical Computer Science
Toward a geometry of common sense: a semantics and a complete axiomatization of mereotopology

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1

Computing Spatial Similarity by Games

AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence

Quantified Score

Hi-index	0.01

Visualization

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.