Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Computing Spatial Similarity by Games Marco Aiello

Summary: Computing Spatial Similarity by Games
Marco Aiello
Institute for Logic, Language and Computation, and
Intelligent Sensory and Information Systems
University of Amsterdam
Plantage Muidergracht 24 1018 TV Amsterdam, The Netherlands
In: F. Esposito (Eds.), Congress of the Italian Association for Artificial
Intelligence (AI*IA 2001), LNAI 2175, pp. 99-110, Springer, 2001.
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 dis-
tance 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].


Source: Aiello, Marco - Institute for Mathematics and Computing Science, Rijksuniversiteit Groningen


Collections: Computer Technologies and Information Sciences