Skip Navigation

Logic Journal of IGPL 2002 10(1):1-22; doi:10.1093/jigpal/10.1.1
© 2002 by Oxford University Press
This Article
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Aiello, M
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

A spatial similarity measure based on games: theory and practice

M Aiello

ILLC and ISIS, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands E-mail: aiellom@ieee.org

Model comparison games can be used not only to decide whether two specific models are equivalent or not, but also to establish a measurement of difference among a whole class of models. We show how this is possible in the case of the spatial modal logic S4u of Bennett. The approach results in a spatial similarity measure based on topological model comparison games. After establishing the theoretical framework, we move towards practice by giving an algorithm to effectively compute the similarity measure for a class of topological models widely used in computer science applications: polygons of the real plane. In the appendix, we briefly overview an implemented system based on the theoretical framework.

Key Words: model comparison games, similarity measures, modal logics of space, image retrieval based on spatial relationships


Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?




Disclaimer: Please note that abstracts for content published before 1996 were created through digital scanning and may therefore not exactly replicate the text of the original print issues. All efforts have been made to ensure accuracy, but the Publisher will not be held responsible for any remaining inaccuracies. If you require any further clarification, please contact our Customer Services Department.