Abstract
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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
References
Allen, J.F.: Maintaining Knowledge about Temporal Intervals. Commun. ACM 26, 832–843 (1983)
van Beek, P.: Reasoning About Qualitative Temporal Information. Artif. Intell. 58, 297–326 (1992)
van Beek, P., Cohen, R.: Exact and approximate reasoning about temporal relations. Computational Intelligence 6, 132–144 (1990)
van Beek, P., Dechter, R.: On the Minimality and Decomposability of Row-Convex Constraint Networks. JACM 42, 543–561 (1995)
Bhatt, M., Guesgen, H., Wölfl, S., Hazarika, S.: Qualitative Spatial and Temporal Reasoning: Emerging Applications, Trends, and Directions. Spatial Cognition & Computation 11, 1–14 (2011)
Burrieza, A., Muñoz-Velasco, E., Ojeda-Aciego, M.: A PDL Approach for Qualitative Velocity. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 19(1), 11–26 (2011)
Burrieza, A., Ojeda-Aciego, M.: A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations. Fundam. Inform. 68, 21–46 (2005)
Frank, A.U.: Qualitative Spatial Reasoning with Cardinal Directions. In: ÖGAI (1991)
Gabelaia, D., Kontchakov, R., Kurucz, A., Wolter, F., Zakharyaschev, M.: On the Computational Complexity of Spatio-Temporal Logics. In: FLAIRS (2003)
Gerevini, A., Nebel, B.: Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen’s Interval Calculus: Computational Complexity. In: ECAI (2002)
Golińska-Pilarek, J., Muñoz-Velasco, E.: Reasoning with Qualitative Velocity: Towards a Hybrid Approach. In: Corchado, E., Snášel, V., Abraham, A., Woźniak, M., Graña, M., Cho, S.-B. (eds.) HAIS 2012, Part I. LNCS, vol. 7208, pp. 635–646. Springer, Heidelberg (2012)
Guesgen, H.W.: Spatial Reasoning Based on Allen’s Temporal Logic. Tech. rep., International Computer Science Institute (1989)
Hazarika, S.: Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions. IGI Global (2012)
Montanari, U.: Networks of constraints: Fundamental properties and applications to picture processing. Inf. Sci. 7, 95–132 (1974)
Muñoz-Velasco, E., Burrieza, A., Ojeda-Aciego, M.: A logic framework for reasoning with movement based on fuzzy qualitative representation. Fuzzy Sets and Systems 242, 114–131 (2014)
Randell, D.A., Cui, Z., Cohn, A.: A Spatial Logic Based on Regions and Connection. In: KR (1992)
Renz, J.: Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis. In: IJCAI (1999)
Renz, J., Ligozat, G.: Weak Composition for Qualitative Spatial and Temporal Reasoning. In: van Beek, P. (ed.) CP 2005. LNCS, vol. 3709, pp. 534–548. Springer, Heidelberg (2005)
Renz, J., Nebel, B.: On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus. AI 108, 69–123 (1999)
Renz, J., Nebel, B.: Efficient Methods for Qualitative Spatial Reasoning. JAIR 15, 289–318 (2001)
Vilain, M., Kautz, H., van Beek, P.: Constraint Propagation Algorithms for Temporal Reasoning: A Revised Report. In: Readings in Qualitative Reasoning about Physical Systems, pp. 373–381. Morgan Kaufmann Publishers Inc. (1990)
Wolter, F., Zakharyaschev, M.: Spatio-temporal representation and reasoning based on RCC-8. In: KR (2000)
Wolter, F., Zakharyaschev, M.: Qualitative Spatiotemporal Representation and Reasoning: A Computational Perspective. In: Exploring Artificial Intelligence in the New Millennium. Morgan Kaufmann Publishers Inc. (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Sioutis, M., Condotta, JF., Salhi, Y., Mazure, B. (2014). A Qualitative Spatio-Temporal Framework Based on Point Algebra. In: Agre, G., Hitzler, P., Krisnadhi, A.A., Kuznetsov, S.O. (eds) Artificial Intelligence: Methodology, Systems, and Applications. AIMSA 2014. Lecture Notes in Computer Science(), vol 8722. Springer, Cham. https://doi.org/10.1007/978-3-319-10554-3_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-10554-3_11
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10553-6
Online ISBN: 978-3-319-10554-3
eBook Packages: Computer ScienceComputer Science (R0)