Topo-distance

Measuring the difference between spatial patterns

Marco Aiello*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

1 Citation (Scopus)

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.

Original languageEnglish
Title of host publicationLogics in Artificial Intelligence - European Workshop, JELIA 2000, Proceedings
Place of PublicationBerlin
PublisherSpringer, Springer Nature
Pages73-86
Number of pages14
Volume1919
ISBN (Print)3540411313, 9783540411314
Publication statusPublished - 2000
Externally publishedYes
EventEuropean Workshop on Logics in Artificial Intelligence, JELIA 2000 - Malaga, Spain
Duration: 29 Sep 20002 Oct 2000

Other

OtherEuropean Workshop on Logics in Artificial Intelligence, JELIA 2000
CountrySpain
CityMalaga
Period29/09/002/10/00

Keywords

  • Mereotopology
  • Model comparison games
  • Qualitative spatial reasoning
  • RCC

Fingerprint Dive into the research topics of 'Topo-distance: Measuring the difference between spatial patterns'. Together they form a unique fingerprint.

  • Cite this

    Aiello, M. (2000). Topo-distance: Measuring the difference between spatial patterns. In Logics in Artificial Intelligence - European Workshop, JELIA 2000, Proceedings (Vol. 1919, pp. 73-86). Berlin: Springer, Springer Nature.