In A. U. Frank and W. Kuhn (eds.), Spatial Information Theory: A Theoretical Basis for GIS (Proceedings of International Conference COSIT'95, Semmering, Austria, September 1995), Springer-Verlag, 1995, pages 377-396. ISBN 3-540-60392-1.
Abstract
The phenomenon of movement arises whenever the same object occupies different positions in space at different times. Therefore a theory of movement must contain theories of time, space, objects, and position. We provide a theoretical basis for describing movement events in terms of the conditions for their occurrence, which refer to the holding or not holding of various positional fluents at different times. For this we need to bring together a formal model of time with a formal model of space. By attending closely to the constraints imposed by continuity on the temporal behaviour of different fluents we develop theory of dominance, which enables us to generate ab initio the perturbation relation on the full set of positional relations.
Read the paper (PDF file, 20 pages)