Space-Time as a Primitive for Space and Motion

This paper deals with the issue of the representation of space and motion, and argues that motion can be taken as a primitive notion on which a theory of space can be built, in which every object is an occurrent and has temporal parts. There has been a lot of discussion around the continuants/ occurrents opposition; while some authors have advocated the use of occurrents only for theories of parts and the geometry of common-sense, the few detailed or convincing work that has been devoted to solving the inherent problems of such an approach has made it easy for its detractors to claim it is a dead-end street. We present here a theory of spatio-temporal entities and show how this theory can be used to define a theory of motion. Thus we define a notion of continuity that is more appropriate than mathematical continuity for characterizing motion, and argue that we have here a basis for a theory of spatio-temporal objects.

[1]  Kenneth D. Forbus Qualitative Spatial Reasoning: Framework and Frontiers , 1992 .

[2]  Philippe Muller,et al.  A Qualitative Theory of Motion Based on Spatio-Temporal Primitives , 1998, KR.

[3]  Rudolf Carnap,et al.  Introduction to Symbolic Logic and Its Applications , 1958 .

[4]  Patrick J. Hayes,et al.  The second naive physics manifesto , 1995 .

[5]  The Semantics of French Transitive Movement Verbs and the Ontological Nature of Their Objects , .

[6]  Ernest Davis,et al.  A logical framework for commonsense predictions of solid object behaviour , 1988, Artif. Intell. Eng..

[7]  B. Russell Our Knowledge of the External World , 1960 .

[8]  Benjamin Kuipers,et al.  Qualitative spatial reasoning about objects in motion: application to physics problem solving , 1994, Proceedings of the Tenth Conference on Artificial Intelligence for Applications.

[9]  J. van Benthem,et al.  Temporal logic , 1995 .

[10]  Achille C. Varzi Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology , 1996, Data Knowl. Eng..

[11]  J. Haldane The Axiomatic Method in Biology , 1938, Nature.

[12]  Antony Galton,et al.  Space, Time, and Movement , 1997 .

[13]  Patrick J. Hayes,et al.  A Common-Sense Theory of Time , 1985, IJCAI.

[14]  F. Landman Structures for semantics , 1991 .

[15]  Ellen Hays On Defining Motion Verbs and Spatial Prepositions , 1990, Repräsentation und Verarbeitung räumlichen Wissens.

[16]  Simone Pribbenow,et al.  A Conceptual Theory of Part-Whole Relations and its Applications , 1996, Data Knowl. Eng..

[17]  H. Kamp Events, Instants and Temporal Reference , 1979 .

[18]  Antony Galton,et al.  Towards an Integrated Logic of Space, Time and Motion , 1993, IJCAI.

[19]  Bowman L. Clarke,et al.  A calculus of individuals based on "connection" , 1981, Notre Dame J. Formal Log..

[20]  Nelson Goodman,et al.  The calculus of individuals and its uses , 1940, Journal of Symbolic Logic.

[21]  R. Hartley,et al.  A uniform representation for time and space and their mutual constraints , 1992 .

[22]  L. Vieu Semantique des relations spatiales et inferences spatio-temporelles : une contribution a l'etude des structures formelles de l'espace en langage naturel , 1991 .

[23]  M. Aurnague,et al.  A three-level approach to the semantics of space , 1993 .

[24]  ROLF MAYER,et al.  Coherence and motion , 1989 .

[25]  Achille C. Varzi,et al.  Holes and Other Superficialities , 1994 .

[26]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[27]  Nicholas Asher,et al.  A Typology and Discourse Semantics for Motion Verbs and Spatial PPs in French , 1995, J. Semant..

[28]  Murray Shanahan,et al.  Default Reasoning about Spatial Occupancy , 1995, Artif. Intell..

[29]  Christoph Schwarze,et al.  Meaning, Use, and Interpretation of Language , 1983 .

[30]  Timothy Williamson,et al.  Parts. A Study in Ontology , 1990 .

[31]  M. McCloskey Naive Theories of Motion. , 1982 .

[32]  Boi Faltings,et al.  Qualitative Kinematics in Mechanisms , 1987, IJCAI.