Qualitative spatial representation and reasoning: A hierarchical approach

The ability to reason in space is crucial for agents in order to make informed decisions. Current high-level qualitative approaches to spatial reasoning have serious deficiencies in not reflecting the hierarchical nature of spatial data and human spatial cognition. This article proposes a framework for hierarchical representation and reasoning about topological information, where a continuous model of space is approximated by a collection of discrete sub-models, and spatial information is hierarchically represented in discrete sub-models in a rough set manner. The work is based on the Generalized Region Connection Calculus theory, where continuous and discrete models of space are coped in a unified way. Reasoning issues such as determining the mereological (part-whole) relations between two rough regions are also discussed. Moreover, we consider an important problem that is closely related to map generalization in cartography and Geographical Information Science. Given a spatial configuration at a finer level, we show how to construct a configuration at a coarser level while preserving the mereological relations. © The Author 2007. Published by Oxford University Press on behalf of The British Computer Society. All rights reserved

Métaphysique analytique, métaphysique naturalisée et ontologie appliquée

La pertinence de la métaphysique analytique a fait l'objet de critiques : Ladyman et Ross, par exemple, ont suggéré d'abandonner ce domaine. French et McKenzie ont défendu la métaphysique analytique en affirmant qu'elle développe des outils qui pourraient s'avérer utiles pour la philosophie de la physique. Dans cet article, nous montrons dans un premier temps que cette défense heuristique de la métaphysique peut être étendue au domaine scientifique de l'ontologie appliquée, qui utilise des théories et outils issus de la métaphysique analytique. Dans un deuxième temps, nous développons le parallèle que font French et McKenzie entre les mathématiques et la métaphysique pour montrer que l'ensemble du domaine de la métaphysique analytique, étant donné son utilité non seulement pour la philosophie mais également pour la science, devrait continuer à exister en tant que domaine largement autonome