Geospatial Narratives and their Spatio-Temporal Dynamics: Commonsense Reasoning for High-level Analyses in Geographic Information Systems

The modelling, analysis, and visualisation of dynamic geospatial phenomena has been identified as a key developmental challenge for next-generation Geographic Information Systems (GIS). In this context, the envisaged paradigmatic extensions to contemporary foundational GIS technology raises fundamental questions concerning the ontological, formal representational, and (analytical) computational methods that would underlie their spatial information theoretic underpinnings. We present the conceptual overview and architecture for the development of high-level semantic and qualitative analytical capabilities for dynamic geospatial domains. Building on formal methods in the areas of commonsense reasoning, qualitative reasoning, spatial and temporal representation and reasoning, reasoning about actions and change, and computational models of narrative, we identify concrete theoretical and practical challenges that accrue in the context of formal reasoning about `space, events, actions, and change'. With this as a basis, and within the backdrop of an illustrated scenario involving the spatio-temporal dynamics of urban narratives, we address specific problems and solutions techniques chiefly involving `qualitative abstraction', `data integration and spatial consistency', and `practical geospatial abduction'. From a broad topical viewpoint, we propose that next-generation dynamic GIS technology demands a transdisciplinary scientific perspective that brings together Geography, Artificial Intelligence, and Cognitive Science. Keywords: artificial intelligence; cognitive systems; human-computer interaction; geographic information systems; spatio-temporal dynamics; computational models of narrative; geospatial analysis; geospatial modelling; ontology; qualitative spatial modelling and reasoning; spatial assistance systems

[1]  Markus Schneider,et al.  Topological reasoning between complex regions in databases with frequent updates , 2010, GIS '10.

[2]  Nieves R. Brisaboa,et al.  Measuring consistency with respect to topological dependency constraints , 2010, GIS '10.

[3]  Michael Batty,et al.  Fifty Years of Urban Modeling: Macro-Statics to Micro-Dynamics , 2008 .

[4]  Andrew U. Frank,et al.  Theories and Methods of Spatio-Temporal Reasoning in Geographic Space , 1992, Lecture Notes in Computer Science.

[5]  Alexander Klippel,et al.  Identifying factors of geographic event conceptualisation , 2008, Int. J. Geogr. Inf. Sci..

[6]  Christophe Claramunt,et al.  A qualitative representation of evolving spatial entities in two-dimensional spaces , 1997 .

[7]  Daniel Z. Sui,et al.  GIS-Based Urban Modelling: Practices, Problem, and Prospects , 1998, Int. J. Geogr. Inf. Sci..

[8]  Mehul Bhatt,et al.  Modelling Dynamic Spatial Systems in the Situation Calculus , 2008, Spatial Cogn. Comput..

[9]  Helen Couclelis,et al.  Cellular Worlds: A Framework for Modeling Micro—Macro Dynamics , 1985 .

[10]  Christophe Claramunt,et al.  Managing Time in GIS: An Event-Oriented Approach , 1995, Temporal Databases.

[11]  Max J. Egenhofer,et al.  Reasoning about Gradual Changes of Topological Relationships , 1992, Spatio-Temporal Reasoning.

[12]  Donna J. Peuquet,et al.  Representations of Geographic Space: Toward a Conceptual Synthesis , 1988 .

[13]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[14]  Philipp Koehn,et al.  Synthesis Lectures on Human Language Technologies , 2016 .

[15]  Inderjeet Mani,et al.  Computational Modeling of Narrative , 2013, Computational Modeling of Narrative.

[16]  H. Couclelis.  “Where has the Future Gone?” Rethinking the Role of Integrated Land-Use Models in Spatial Planning , 2005 .

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

[18]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[19]  Éric Grégoire,et al.  Logic-based approaches to information fusion , 2006, Inf. Fusion.

[20]  A. Rompaey,et al.  Urban growth of Kampala, Uganda: Pattern analysis and scenario development , 2012 .

[21]  Volker Haarslev,et al.  Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences , 1997, Description Logics.

[22]  Ronald Fagin,et al.  The Theory of Data Dependencies - An Overview , 1984, ICALP.

[23]  Murray Shanahan,et al.  Narratives in the Situation Calculus , 1994, J. Log. Comput..

[24]  Jayant Sharma,et al.  Modeling Topological Spatial Relations: Strategies for Query Processing , 1998 .

[25]  Sanjiang Li,et al.  Decentralized querying of topological relations between regions without using localization , 2010, GIS '10.

[26]  Hans W. Guesgen,et al.  Qualitative Spatial and Temporal Reasoning: Emerging Applications, Trends, and Directions , 2011, Spatial Cogn. Comput..

[27]  Antony Galton,et al.  The water falls but the waterfall does not fall: New perspectives on objects, processes and events , 2009, Appl. Ontology.

[28]  T. V. Ramachandra,et al.  Insights to urban dynamics through landscape spatial pattern analysis , 2012, Int. J. Appl. Earth Obs. Geoinformation.

[29]  Michael F. Worboys,et al.  Event‐oriented approaches to geographic phenomena , 2005, Int. J. Geogr. Inf. Sci..

[30]  Dov M. Gabbay,et al.  Making inconsistency respectable: a logical framework for inconsistency in reasoning , 1991, FAIR.

[31]  Carl P. L. Schultz,et al.  Towards a Declarative Spatial Reasoning System , 2012, ECAI.

[32]  Donna Peuquet,et al.  A conceptual framework for incorporating cognitive principles into geographical database representation , 2000, Int. J. Geogr. Inf. Sci..

[33]  Brandon Bennett.  Physical Objects, Identity and Vagueness , 2002, KR.

[34]  Christian Freksa,et al.  Qualitative Spatial Representation and Reasoning in the SparQ-Toolbox , 2006, Spatial Cognition.

[35]  Alia I. Abdelmoty,et al.  Supporting Frameworks for the Geospatial Semantic Web , 2009, SSTD.

[36]  Denise Pumain,et al.  From theory to modelling: urban systems as complex systems , 2006 .

[37]  Kathleen Stewart,et al.  Modeling Moving Geospatial Objects from an Event-based Perspective , 2007, Trans. GIS.

[38]  Helen Couclelis,et al.  The Abduction of Geographic Information Science: Transporting Spatial Reasoning to the Realm of Purpose and Design , 2009, COSIT.

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

[40]  Mehul Bhatt,et al.  Reasoning about Space, Actions, and Change: A Paradigm for Applications of Spatial Reasoning , 2014 .

[41]  R. Barthes,et al.  An Introduction to the Structural Analysis of Narrative , 1975 .

[42]  Helen Briassoulis,et al.  Land-Use Policy and Planning, Theorizing, and Modeling: Lost in Translation, Found in Complexity? , 2008 .

[43]  John McCarthy,et al.  Combining Narratives , 1998, KR.

[44]  Christiane Weber.  Interaction model application for urban planning , 2003 .

[45]  Michael F. Worboys,et al.  From Objects to Events: GEM, the Geospatial Event Model , 2004, GIScience.

[46]  Erik T. Mueller,et al.  Modelling Space and Time in Narratives about Restaurants , 2007, Lit. Linguistic Comput..

[47]  Max J. Egenhofer,et al.  Reasoning about Binary Topological Relations , 1991, SSD.

[48]  Bernhard Nebel,et al.  Qualitative Spatial Reasoning Using Constraint Calculi , 2007, Handbook of Spatial Logics.

[49]  Agnar Renolen,et al.  Modelling the Real World: Conceptual Modelling in Spatiotemporal Information System Design , 2000, Trans. GIS.

[50]  Philip James,et al.  Simulating urban growth processes incorporating a potential model with spatial metrics , 2012 .

[51]  Alan K. Mackworth.  Consistency in Networks of Relations , 1977, Artif. Intell..

[52]  Andrew U. Frank,et al.  Spatial Information Theory A Theoretical Basis for GIS , 1997, Lecture Notes in Computer Science.

[53]  Sophie Cockcroft.  A Taxonomy of Spatial Data Integrity Constraints , 1997, GeoInformatica.

[54]  Zeno Gantner,et al.  GQR: A Fast Solver for Binary Qualitative Constraint Networks , 2009, AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems.

[55]  Jean-François Condotta,et al.  A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi , 2006, Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06).

[56]  May Yuan,et al.  Computation and visualization for understanding dynamics in geographic domains - a research agenda , 2007 .

[57]  Mark Gahegan,et al.  Specifying the transformations within and between geographic data models , 1996, Trans. GIS.

[58]  Petra Holtzmann,et al.  Routledge Encyclopedia Of Narrative Theory , 2016 .

[59]  Vanessa May,et al.  What is Narrative Analysis , 2010 .

[60]  Suzana Dragicevic,et al.  iCity: A GIS-CA modelling tool for urban planning and decision making , 2007, Environ. Model. Softw..

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

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

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

[64]  MAX J. EGENHOFER,et al.  Point Set Topological Relations , 1991, Int. J. Geogr. Inf. Sci..

[65]  Frank Dylla,et al.  Qualitative Spatial Reasoning with Conceptual Neighborhoods for Agent Control , 2007, J. Intell. Robotic Syst..

[66]  Javier Pinto,et al.  Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus , 1998, J. Log. Comput..

[67]  Michael F. Worboys,et al.  Detecting basic topological changes in sensor networks by local aggregation , 2008, GIS '08.

[68]  W. Fisher.  Human Communication As Narration: Toward a Philosophy of Reason, Value and Action , 1987 .

[69]  Souhila Kaci,et al.  A Framework for Merging Qualitative Constraints Networks , 2008, FLAIRS Conference.

[70]  W. Tobler.  A Computer Movie Simulating Urban Growth in the Detroit Region , 1970 .

[71]  Travé-Massuyès.  Conceptual Neighborhood and its role in temporal and spatial reasoning , 1991 .

[72]  Murray Shanahan,et al.  Prediction is Deduction but Explanation is Abduction , 1989, IJCAI.

[73]  Gerald Prince,et al.  Narratology: The Form and Function of Narrative , 1985 .

[74]  Frank van Kouwen,et al.  A framework for linking advanced simulation models with interactive cognitive maps , 2008, Environ. Model. Softw..

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

[76]  Jamal Jokar Arsanjani,et al.  ntegration of logistic regression , Markov chain and cellular automata odels to simulate urban expansion amal , 2012 .

[77]  A. U. Frank,et al.  Qualitative Spatial Reasoning , 2008, Encyclopedia of GIS.

[78]  Christophe Claramunt,et al.  A Graph Model for Spatio-temporal Evolution , 2010, J. Univers. Comput. Sci..

[79]  Antony Galton,et al.  Qualitative Interpolation for Environmental Knowledge Representation , 2004, ECAI.

[80]  Carl P. L. Schultz,et al.  CLP(QS): A Declarative Spatial Reasoning Framework , 2011, COSIT.