A Qualitative Spatio-Temporal Framework Based on Point Algebra

Knowledge Representation and Reasoning has been quite successfull in dealing with the concepts of time and space separately. However, not much has been done in designing qualitative spatiotemporal representation formalisms, let alone reasoning systems for that formalisms. We introduce a qualitative constraint-based spatiotemporal framework using Point Algebra (PA), that allows for defining formalisms based on several qualitative spatial constraint languages, such as RCC-8, Cardinal Direction Algebra (CDA), and Rectangle Algebra (RA). We define the notion of a qualitative spatiotemporal constraint network (QSTCN) to capture such formalisms, where pairs of spatial networks are associated to every base relation of the underlying network of PA. Finally, we analyse the computational properties of our framework and provide algorithms for reasoning with the derived formalisms.

[1]  Andrew U. Frank,et al.  Qualitative Spatial Reasoning with Cardinal Directions , 1991, ÖGAI.

[2]  Sebastian Fischer,et al.  Exploring Artificial Intelligence In The New Millennium , 2016 .

[3]  Emilio Muñoz-Velasco,et al.  Reasoning with Qualitative Velocity: Towards a Hybrid Approach , 2012, HAIS.

[4]  Johan de Kleer,et al.  Readings in qualitative reasoning about physical systems , 1990 .

[5]  P. Vanbeek.  Reasoning about qualitative temporal information , 1992 .

[6]  Emilio Muñoz-Velasco,et al.  A PDL Approach for Qualitative Velocity , 2011, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[7]  Frank Wolter,et al.  On the Computational Complexity of Spatio-Temporal Logics , 2003, FLAIRS.

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

[9]  Emilio Muñoz-Velasco,et al.  A logic framework for reasoning with movement based on fuzzy qualitative representation , 2014, Fuzzy Sets Syst..

[10]  Sung-Bae Cho,et al.  Hybrid Artificial Intelligent Systems , 2015, Lecture Notes in Computer Science.

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

[12]  F. Wolter,et al.  Qualitative spatiotemporal representation and reasoning: a computational perspective , 2003 .

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

[14]  Henry A. Kautz,et al.  Constraint propagation algorithms for temporal reasoning: a revised report , 1989 .

[15]  Jochen Renz,et al.  Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis , 1999, IJCAI.

[16]  Bernhard Nebel,et al.  Efficient Methods for Qualitative Spatial Reasoning , 2001, J. Artif. Intell. Res..

[17]  Ugo Montanari,et al.  Networks of constraints: Fundamental properties and applications to picture processing , 1974, Inf. Sci..

[18]  Bernhard Nebel,et al.  On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus , 1999, Artif. Intell..

[19]  Shyamanta M. Hazarika,et al.  Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions , 2012 .

[20]  Manuel Ojeda-Aciego,et al.  A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations , 2005, Fundam. Informaticae.

[21]  Peter van Beek,et al.  Exact and approximate reasoning about temporal relations 1 , 1990, Comput. Intell..

[22]  Bernhard Nebel,et al.  Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen's Interval Calculus: Computational Complexity , 2002, ECAI.

[23]  Peter van Beek,et al.  Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings , 2005, CP.

[24]  Frank Wolter,et al.  Spatio-temporal representation and reasoning based on RCC-8 , 2000, International Conference on Principles of Knowledge Representation and Reasoning.

[25]  Peter van Beek,et al.  On the minimality and global consistency of row-convex constraint networks , 1995, JACM.

[26]  Gérard Ligozat,et al.  Weak Composition for Qualitative Spatial and Temporal Reasoning , 2005, CP.