Event‐oriented approaches to geographic phenomena

This paper is about the information‐theoretic foundations upon which useful explanatory and predictive models of dynamic geographic phenomena can be based. It traces the development of these foundations, from sequences of temporal snapshots, through object life histories, to event chronicles. A crucial ontological distinction is drawn between ‘things’ and ‘happenings’, that is between continuant and occurrent entities. Up to now, most research has focused on representing the evolution through time of geographic things, whether objects or fields. This paper argues that ‘happenings’ should be upgraded to an equal status with ‘things’ in dynamic geographic representations and suggests ways of doing this. The main research focus of the paper is the application of an algebraic approach, previously developed mainly in the context of computational processes, to real‐world happenings. It develops a pure event‐oriented theory of space and time, and suggests the possibilities that the theory provides by using it to represent the motion of a vehicle through a region. The paper contains a discussion of the scalability and applicability of this model to geographic domains and illustrates some of the ideas by reference to a geo‐sensor example. The paper concludes by summarizing its main ideas, relating the research to other germane areas not covered in the developmental survey, and indicating directions for future work.

[1]  Torsten Hägerstraand WHAT ABOUT PEOPLE IN REGIONAL SCIENCE , 1970 .

[2]  Helen Couclelis,et al.  People Manipulate Objects (but Cultivate Fields): Beyond the Raster-Vector Debate in GIS , 1992, Spatio-Temporal Reasoning.

[3]  James F. Allen Maintaining knowledge about temporal intervals , 1983, CACM.

[4]  Robin Milner,et al.  Elements of interaction: Turing award lecture , 1993, CACM.

[5]  John F. Roddick,et al.  Survey of Spatio-Temporal Databases , 1999, GeoInformatica.

[6]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[7]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[8]  Jaegwon Kim,et al.  Events as Property Exemplifications , 1976 .

[9]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[10]  M. Yuan Representing Complex Geographic Phenomena in GIS , 2001 .

[11]  Alexander P. D. Mourelatos Events, processes, and states , 1978 .

[12]  Murray Shanahan,et al.  The Event Calculus in Classical Logic - Alternative Axiomatisations , 1999, Electron. Trans. Artif. Intell..

[13]  Richard T. Snodgrass,et al.  The TSQL2 Temporal Query Language , 1995 .

[14]  S. Hawking A Brief History of Time: From the Big Bang to Black Holes , 1988 .

[15]  Harvey J. Miller,et al.  What about people in geographic information science? , 2003, Comput. Environ. Urban Syst..

[16]  Jaakko Hintikka,et al.  Time And Modality , 1958 .

[17]  Barry Smith,et al.  SNAP and SPAN: Towards Dynamic Spatial Ontology , 2004, Spatial Cogn. Comput..

[18]  Paul M. Torrens,et al.  Cellular Models of Urban Systems , 2000, ACRI.

[19]  J. E. Akin,et al.  Finite Elements for Analysis and Design , 1994 .

[20]  T. Hägerstrand What about people in Regional Science? , 1970 .

[21]  Michael Wooldridge,et al.  Agent-based software engineering , 1997, IEE Proc. Softw. Eng..

[22]  James F. Allen,et al.  Actions and Events in Interval Temporal Logic , 1994, J. Log. Comput..

[23]  Fabio Pianesi,et al.  Events and Event Talk: An Introduction , 2000 .

[24]  Antony Galton,et al.  Fields and Objects in Space, Time, and Space-time , 2004, Spatial Cogn. Comput..

[25]  Willard Van Orman Quine,et al.  Word and Object , 1960 .

[26]  Colin Stirling,et al.  Modal and Temporal Properties of Processes , 2001, Texts in Computer Science.

[27]  Carol E. Cleland On the individuation of events , 1991, Synthese.

[28]  Matthew Hennessy,et al.  Algebraic theory of processes , 1988, MIT Press series in the foundations of computing.

[29]  Yoav Shoham,et al.  Representing Time and Action in Artiicial Intelligence , 2007 .

[30]  Kai Nagel,et al.  Two-lane traffic rules for cellular automata: A systematic approach , 1997, cond-mat/9712196.

[31]  Zeno Vendler,et al.  Verbs and Times , 1957, The Language of Time - A Reader.

[32]  Michael F. Worboys,et al.  A Unified Model for Spatial and Temporal Information , 1994, Comput. J..

[33]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

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

[35]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[36]  David O'Sullivan,et al.  “So Go Downtown”: Simulating Pedestrian Movement in Town Centres , 2001 .

[37]  I. Benenson MULTI-AGENT SIMULATIONS OF RESIDENTIAL DYNAMICS IN THE CITY , 1998 .

[38]  Michael F. Worboys,et al.  Object-Oriented Approaches to Geo-Referenced Information , 1994, Int. J. Geogr. Inf. Sci..

[39]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[40]  Max J. Egenhofer,et al.  Identity-based change: a foundation for spatio-temporal knowledge representation , 2000, Int. J. Geogr. Inf. Sci..