In Didier Dubois, Christopher Welty and Mary-Anne Williams (editors), Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR2004), Whistler, BC, Canada, June 2-5, 2004. American Association for Artificial Intelligence, 2004, pages 45-54.
ISBN 1-57735-199-1
To support commonsense reasoning about space, we require a qualitative calculus of spatial entities and their relations. One requirement for such a calculus, which has not so far been satisfactorily addressed in the mereotopological literature, is that it should be able to handle regions of different dimensions. Regions of the same dimension should admit Boolean sum and product operations, but regions of different dimensions should not. In this paper we propose a topological model for regions of different dimensions, based on the idea that a region of positive codimension is a regular closed subset of the boundary of a region of the next higher dimension. To satisfy the requirements of the commonsense theory, it is required that regions of the same dimension in the model can be summed, and we show that this is always the case. We conclude with a discussion of the possible applicability of the technical results to commonsense spatial reasoning.
Full paper (PDF file, 137K, 10 pages)