Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  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
aiellom@ieee.org
Abstract.
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