Computing spatial similarity by games

Marco Aiello*

*Corresponding author for this work

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

3 Citations (Scopus)

Abstract

The multi-modal logic S4u, known in the field of qualitative spatial reasoning to be a decidable formalism for expressing topological and mereological properties, can also be exploited to define a distance measure among patterns. Here, we recall the notion of topological distance defined in terms of games over S4u models, and show how it is effectively computed for a specific class of models: the class of polygons of the real plane, a class of topological models widely used in computer science and AI applications. Finally, we briefly overview an implemented system based on the presented framework. This paper is the practical counterpart of, and continuation to [1].

Original languageEnglish
Title of host publicationAIIA 2001: Advances in Artificial Intelligence - 7th Congress of the Italian Association for Artificial Intelligence, Proceedings
Place of PublicationBerlin
PublisherSpringer, Springer Nature
Pages99-110
Number of pages12
Volume2175
ISBN (Print)3540426019, 9783540426011
Publication statusPublished - 2001
Externally publishedYes
Event7th Congress of the Italian Association for Artificial Intelligence, AIIA 2001 - Bari, Italy
Duration: 25 Sep 200128 Sep 2001

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2175
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other7th Congress of the Italian Association for Artificial Intelligence, AIIA 2001
CountryItaly
CityBari
Period25/09/0128/09/01

Keywords

  • Image similarity
  • Model comparison games
  • Qualitative spatial reasoning

Fingerprint Dive into the research topics of 'Computing spatial similarity by games'. Together they form a unique fingerprint.

Cite this