TY - GEN
T1 - Computing spatial similarity by games
AU - Aiello, Marco
PY - 2001
Y1 - 2001
N2 - 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].
AB - 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].
KW - Image similarity
KW - Model comparison games
KW - Qualitative spatial reasoning
UR - http://www.scopus.com/inward/record.url?scp=84949976476&partnerID=8YFLogxK
M3 - Conference proceeding contribution
AN - SCOPUS:84949976476
SN - 3540426019
SN - 9783540426011
VL - 2175
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 99
EP - 110
BT - AIIA 2001: Advances in Artificial Intelligence - 7th Congress of the Italian Association for Artificial Intelligence, Proceedings
PB - Springer, Springer Nature
CY - Berlin
T2 - 7th Congress of the Italian Association for Artificial Intelligence, AIIA 2001
Y2 - 25 September 2001 through 28 September 2001
ER -