Abstract
Human beings use spatial relations to describe many daily tasks in their language. However, to date in robotics the navigation problem has been thoroughly investigated as the task of guiding a robot from one spatial coordinate to another. Therefore, there is a difference of abstraction between the language of human beings and the algorithms used in robot navigation. This article introduces the research performed on the use of topological relations for the formalization of spatial relations and navigation. The main result is a new heuristic, called Heuristic of Topological Qualitative Semantic (HTQS), which allows the identification and establishment of spatial relations.
Keywords
- qualitative navigation
- spatial relations
- Heuristic of Topological Qualitative Semantic (HTQS)
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832–843 (1983)
Brooks, R.: A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation 2(1), 14–23 (1986)
Cohn, A.G., Renz, J.: Qualitative spatial reasoning. In: Handbook of Knowledge Representation, pp. 581–584 (2008)
Delafontaine, M., et al.: Qualitative relations between moving objects in a network changing its topological relations. Information Sciences 178(8), 1997–2006 (2008)
Dylla, F., et al.: Approaching a formal soccer theory from behaviour specifications in robotic soccer. Computer Science and Sports (2008)
Egenhofer, M.J., Al-Taha, K.K.: Reasoning about gradual changes of topological relationships. In: Frank, A.U., Formentini, U., Campari, I. (eds.) GIS 1992. LNCS, vol. 639, pp. 196–219. Springer, Heidelberg (1992)
Egenhofer, M.J., Herring, J.: A mathemathical framework for the definition of topological relathionships. In: Fourth ISSDH, pp. 803–813 (1990)
Egenhofer, M.J., et al.: A critical comparison of the 4-intersection and 9-intersection models for spatial relations. Auto-Carto 11, 1–11 (1993)
Egenhofer, M.J., Sharma, J.: Topological relations between regions in ℝ2 and ℤ2. In: Abel, D.J., Ooi, B.-C. (eds.) SSD 1993. LNCS, vol. 692, pp. 316–336. Springer, Heidelberg (1993)
Ernst, G.W.: Sufficient conditions for the success of GPS. Journal of the ACM 16(4), 517–533 (1969)
Ferrein, A., Fritz, C., Lakemeyer, G.: Using Golog for deliberation and team coordination in robotic soccer. Künstliche Intelligenz 19, 24–30 (2005)
Fikes, R.E., Nilsson, N.J.: Strips: a new approach to the application of theorem proving to problem solving. Artificial Intelligence 2(3), 189–208 (1971)
Forbus, K.D., Nielsen, P., Faltings, B.: Qualitative spatial reasoning: the clock project. Artificial Intelligence 51(1-3), 417–471 (1991)
Freksa, C.: Conceptual neighborhood and its role in temporal and spatial reasoning (1991)
Freksa, C.: Temporal reasoning based on semi-intervals. Artificial Intelligence 54(1-2), 199–227 (1992)
Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1), 67–95 (1986)
Levesque, H.J., et al.: Golog: a logic programming language for dynamic domains. The Journal of Logic Programming 31(1-3), 59–83 (1997)
Li, Y., Li, S.: A fuzzy sets theoretic approach to approximate spatial reasoning. IEEE Transactions on Fuzzy Systems 12(6), 745–754 (2004)
McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. In: Readings in Nonmonotonic Reasoning, pp. 26–45 (1987)
Renz, J.: Qualitative Spatial Reasoning with Topological Information. LNCS (LNAI), vol. 2293. Springer, Heidelberg (2002)
Schlieder, C.: Representing visible locations for qualitative navigation. In: Qualitative Reasoning and Decision Technologies, pp. 523–532 (1993)
Schockaert, S., De Cock, M., Kerre, E.E.: Spatial reasoning in a fuzzy region connection calculus. Artificial Intelligence 173(2), 258–298 (2009)
Van de Weghe, N., et al.: A qualitative trajectory calculus as a basis for representing moving objects in geographical information systems. Control and Cybernetics 35(1), 97–119 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Miguel-Tomé, S. (2013). On the Identification and Establishment of Topological Spatial Relations. In: Ferrández Vicente, J.M., Álvarez Sánchez, J.R., de la Paz López, F., Toledo Moreo, F.J. (eds) Natural and Artificial Computation in Engineering and Medical Applications. IWINAC 2013. Lecture Notes in Computer Science, vol 7931. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38622-0_48
Download citation
DOI: https://doi.org/10.1007/978-3-642-38622-0_48
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38621-3
Online ISBN: 978-3-642-38622-0
eBook Packages: Computer ScienceComputer Science (R0)