A boundary-sensitive approach to qualitative location
Tóm tắt
Reasoning about the location of regions in 2-dimensional space is necessarily based on finite approximations to such regions. These finite approximations are often derived by describing how a region (the figure) relates to a frame of reference (the ground). The frame of reference generally consists of regions, or cells, forming a partition of the space under consideration. This paper presents a new approach to describing figure-ground relationships which is able to take account of how the figure relates to boundaries between cells as well as to their interiors. We also provide a general theory of how approximations to regions lead to approximations to operations on regions. This theory is applied to the case of our boundary-sensitive model of location. The paper concludes by indicating how interpreting boundaries in a more general sense should lead to a theory dealing with generalized partitions in which the cells may overlap. The applications of the theory developed here will include qualitative spatial reasoning, and should have practical relevance to geographical information systems.
Tài liệu tham khảo
T. Bittner, A qualitative coordinate language of location of figures within the ground, in: Proceedings of International Conference on Spatial Information Theory, COSIT' 97, eds. S.C. Hirtle and A.U. Frank, Lecture Notes in Computer Science, Vol. 1329 (Springer, New York, 1997) pp. 223–240.
F. Borceux, Handbook of Categorical Algebra, Vol. 1: Basic Category Theory (Cambridge University Press, Cambridge, 1994).
P.A. Burrough and A.U. Frank, eds., Geographic Objects with Indeterminate Boundaries, GISDATA Series, Vol. 2 (Taylor and Francis, 1996).
B.L. Clarke, A calculus of individuals based on 'connection', Notre Dame J. Formal Logic 22 (1981) 204–218.
B.L. Clarke, Individuals and points, Notre Dame J. Formal Logic 26 (1985) 61–75.
E. Clementini and P. Di Felice, An algebraic model for spatial objects with indeterminate boundaries, in: Geographic Objects with Indeterminate Boundaries, GISDATA Series, Vol. 2 (Taylor and Francis, 1996) pp. 155–169.
E. Clementini and P. Di Felice, Approximate topological relations, Internat. J. Approximate Reasoning 16 (1997) 173–204.
A.G. Cohn, Calculi for qualitative spatial reasoning, in: Artificial Intelligence and Symbolic Mathematical Computation, eds. J. Calmet, J.A. Campbell and J. Pfalzgraf, Lecture Notes in Computer Science, Vol. 1138 (Springer, New York, 1996) pp. 124–143.
A.G. Cohn and N.M. Gotts, The 'egg-yolk' representation of regions with indeterminate boundaries, in: Geographic Objects with Indeterminate Boundaries, GISDATA Series, Vol. 2 (Taylor and Francis, 1996) pp. 171–187.
M.J. Egenhofer and R. Franzosa, Point-set topological spatial relations, Internat. J. Geographical Information Systems 5 (1991) 161–174.
M.J. Egenhofer and R. Franzosa, On the equivalence of topological relations, Internat. J. Geographical Information Systems 9 (1995) 133–152.
M. Erwig and M. Schneider, Partition and conquer, in: Proceedings of International Conference on Spatial Information Theory, COSIT' 97, eds. S.C. Hirtle and A.U. Frank, Lecture Notes in Computer Science, Vol. 1329 (Springer, New York, 1997) pp. 389–407.
A. Galton, Modes of overlap, J. Visual Languages Comput. 9 (1998) 61–79.
N.M. Gotts, J.M. Gooday and A.G. Cohn, A connection based approach to common-sense topological description and reasoning, The Monist 79 (1996) 51–75.
S.C. Hirtle and A.U. Frank, eds., Proceedings of International Conference on Spatial Information Theory, COSIT' 97, Lecture Notes in Computer Science, Vol. 1329 (Springer, New York, 1997).
M. Lundell, A qualitative model of physical fields, in: Proceedings of the 13th National Conference on Artificial Intelligence, AAAI' 96 (AAAI Press, 1996) pp. 1016–1021.
E. Or?owska, ed., Incomplete Information – Rough Set Analysis, Studies in Fuzziness and Soft Computing, Vol. 13 (Physica-Verlag, Heidelberg, 1997).
M.B. Smyth, Topology, in: Handbook of Logic in Computer Science, Vol. 1 (Clarendon Press, Oxford, 1992) pp. 641–761.
J.G. Stell and M.F. Worboys, The algebraic structure of sets of regions, in: Proceedings of International Conference on Spatial Information Theory, COSIT' 97, eds, S.C. Hirtle and A.U. Frank, Lecture Notes in Computer Science, Vol. 1329 (Springer, New York, 1997) pp. 163–174.
J.G. Stell and M.F. Worboys, Stratified map spaces: A formal basis for multi-resolution spatial databases, in: Proceedings 8th of International Symposium on Spatial Data Handling, SDH' 98, eds. T. K. Poiker and N. Chrisman (International Geographical Union, 1998) pp. 180–189.