Qualitative Spatio-Temporal Continuity

We explore different intuitive notions of spatio-temporal continuity and give a formal characterization of continuity for space-time histories.We investigate the types of transitions possible for the RCC-8 topological relations under each distinct notion of spatio-temporal continuity and provide a hierarchy of conceptual neighbourhood diagrams.

[1]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning: An Overview , 2001, Fundam. Informaticae.

[2]  Ernest Davis.  Continuous Shape Transformation and Metrics on Regions , 2001, Fundam. Informaticae.

[3]  John Grier Hibben,et al.  Symbolic Logic and Its Applications.@@@The Development of Symbolic Logic. , 1907 .

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

[5]  A. Cohn,et al.  A connection based approach to common-sense topological description and reasoning , 1996 .

[6]  Anthony G. Cohn,et al.  Continuous Transitions in Mereotopology , 2001 .

[7]  Patrick J. Hayes,et al.  Naive physics I: ontology for liquids , 1989 .

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

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

[10]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning with the Region Connection Calculus , 1997, GeoInformatica.

[11]  Robert C. Moore,et al.  Formal Theories of the Commonsense World , 1985 .

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

[13]  P. Simons.  Parts: A Study in Ontology , 1991 .

[14]  A. Galton.  Qualitative Spatial Change , 2001 .

[15]  Philippe Muller,et al.  Space-Time as a Primitive for Space and Motion , 1998 .

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

[17]  Ivo Düntsch,et al.  A relation - algebraic approach to the region connection calculus , 2001, Theor. Comput. Sci..

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

[19]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[20]  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 .

[21]  Anthony G. Cohn,et al.  Connection Relations in Mereotopology , 1998, ECAI.

[22]  Anthony G. Cohn,et al.  Modes of Connection , 1999, COSIT.