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. 1 Introduction The phenomenon of movement arises whenever the same object occupies different positions in space at different times. This bare definition already suggests the main ingredients of a theory of movement: 1. A theory of time, comprising (a) ...

Citations

1988	Maintaining knowledge about temporal intervals - Allen - 1983
747	Toward a general theory of action and time - Allen - 1984
451	A.G.: A spatial logic based on regions and connection - Randell, Cui, et al. - 1992
194	Reasoning about Binary Topological Relations - Egenhofer - 1991
139	Using orientation information for qualitative spatial reasoning - Freksa - 1992
119	The Logic of Time - Benthem - 1983
96	A common-sense theory of time - Allen, Hayes - 1985
64	A Critical Examination of Allen's Theory of Action and Time - Galton - 1990
27	Towards an Integrated Logic of Space, Time, and Motion - Galton - 1993
3	Instantaneous Events - Galton - 1994
1	A qualitative approach to continuity, Time, Space, and Movement: Meaning and Knowledge in the Sensible World. Working papers of TSM'95, Ch ateau de Bonas, 23--27 - Galton - 1995
1	Starting and stopping, The Monist 53: 410--425 - Hamblin - 1969
1	Instants and intervals, Studium Generale 24: 127--134 - Hamblin - 1971