Abstract
Motion can be seen as a form of spatio-temporal change. This concept is used in this paper to present a qualitative representational model for integrating qualitatively time and topological information for reasoning about dynamic worlds in which spatial relations between regions may change with time. The calculus here presented exploits Freksa’s notion of conceptual neighbourhood and defines a topological neighbourhood of the topological calculus about point-like, linear and areal 2D regions defined by Isli, Museros et alters. According to this, two topological relations can be called conceptual neighbours if one can be transformed into the other one by a process of gradual, continuous change which does not involve passage through any third relation. The calculus described consists of a constraint-based approach and it is presented as an algebra akin to Allen’s (1983) temporal interval algebra. One advantage of presenting the calculus in this way is that Allen’s incremental constraint propagation algorithm can then be used to reason about knowledge expressed in the calculus. The algorithm is guided by composition tables and a converse table provided in this contribution. The algorithm will help, for instance, during the path-planning task of an autonomous robot by describing the sequence of topological situations that the agent should find during its way to the target objective.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. Belussi, E. Bertino and B. Catania. “An extended algebra for constraint databases”. IEEE TKDE, 10(5):686–705, 1998.
M.H. Böhlen, C.S. Jensen and M.O. Scholl, editors. Spatio-Temporal Database Management, volume 1678 of LNCS, Springer 1999.
S. Grumbach, P. Rigaux and L. Segoufin. “Spatio-Temporal Data Handling with Constraints”. In ACM GIS: 106–111. ACM Press, 1998.
A. Raffaetá, T. Frühwirth. “Spatio-Temporal Annotated Constraint Logic Programming”. Third international Workshop on Practical Aspects of Declarative Languages (PADL’01), Las Vegas, USA, March 2001.
A. Mukerjee and F. T. Schnorrenberg. “Hybrid Systems: Reasoning across Scales in Space and Time”. AAAI Symposium on Principles of Hybrid Reasoning, November 15–17, 1991.
A.G. Cohn and M. Hazarika. “Qualitative Spatial Representation and reasoning: An overview” Fundamenta Informaticae, 46(1–2):1–29, 2001.
A. Isli, Ll. Museros, T. Barkowsky and M. Reinhard. “A Topological Calculus for Cartographic Entities”. In Lecture notes in Artificial Intelligence 1849. Spatial Cognition II. Integrating Abstract Theories, Empirical Studies, Formal Methods and Practical Applications. Spatial Cognition. Springer-Verlag, pp. 225–239, 2000
J. Allen, “Maintaining Knowledge about Temporal Intervals”, Communications of the ACM, Vol. 26, No. 11. pag. 832–843, 1983.
C. Freksa. “Conceptual neighborhood and its role in temporal and spatial reasoning”. Technical Report Tech. RPt. FK1-146-91, Institute of Information, University of Munich, 1991.
C. Freksa. “Temporal Reasoning based on semi-interval”. Artificial Intelligence 54, 199–227, 1992.
M.T. Escrig and F. Toledo.” Autonomous Robot Navigation using human spatial concepts”. International Journal of Intelligent Systems, Vol. 15, No. 3, pp. 165–196, 2000, March 2000. ISBN 0884-8173.
L. Museros and M.T. Escrig. “Combining Qualitative Spatial Information: The Integration of Topology, Time, Orientation and Distances for Spatial Reasoning“, accepted to ECAI 2002 Workshop on Spatial and Temporal Reasoning.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Museros, L., Monferrer, M.T.E. (2002). Modeling Motion Qualitatively: Integrating Space and Time. In: Escrig, M.T., Toledo, F., Golobardes, E. (eds) Topics in Artificial Intelligence. CCIA 2002. Lecture Notes in Computer Science(), vol 2504. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36079-4_6
Download citation
DOI: https://doi.org/10.1007/3-540-36079-4_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00011-2
Online ISBN: 978-3-540-36079-7
eBook Packages: Springer Book Archive