Zusammenfassung
Wir untersuchen die topologische Struktur des Freiraums mechanischer Gebilde und gehen auf die Bedeutung der Fragestellung für den Bereich des qualitativen Argumentierens ein. Topologische Invarianten wie die Fundamentalgruppe sind zwar berechenbar, können jedoch nicht zur Klassifikation beliebiger Mechanismen herangezogen werden. Wir zeigen, daß jede endlich präsentierbare Gruppe als Fundamentalgruppe einer real nachbaubaren, ebenen Mechanik auftreten kann und gehen auf die daraus resultierenden Nichtentscheidbarkeits-Aussagen bzgl. Interpretierbarkeit der Fundamentalgruppe, Homotopie von Wegen im Freiraum und Klassifizierbarkeit des Freiraums nach seinem Homotopietyp ein.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literaturverzeichnis
Daniel R. Baker : “Some Topological Problems in Robotics”, The Mathematical Intelligencer, Vol. 12, No. 1, Springer-Verlag New York 1990
W. Boone, W. Haken, V. Poénaru : “On Recursively Unsolvable Problems in Topology and Their Classification”, Contributions to Mathematical Logic, edited by H. Schmidt, K. Schutte and H.-J. Thiele, North-Holland Pub. Co., 1968, pp. 37–74
Boi Faltings : “Qualitative Kinematics in Mechanisms”, Knowledge Representation 1989, pp. 436–442
R.C. Lyndon, P.E. Schupp : Combinatorial Group Theory, Ergebnisse Math. Grenzgebiete 89, Springer-Verlag New York Heidelberg Berlin 1980
A.A. Markov : “The Problem of Homeomorphy”, Proceedings of International Congress of Mathematicians, 1958, pp. 300–306 (in Russian)
W.S. Massey : Algebraic Topology: An Introduction, Grad. Texts in Math. 56, Springer-Verlag New York Heidelberg Berlin 1967
Michael. Rabin : “Recursive Unsolvability of Group Theoretic Problems”, Annals of Mathematics, Vol. 67, No. 1, January 1958, pp. 172–194
J.T. Schwartz, M. Sharir : “ Algorithmic Motion Planning in Robotics”, Handbook of Theoretical Computer Science Volume A, edited by Jan van Leeuwen, Elsevier 1990
R. Stöcker, H. Zieschang : Algebraische Topologie, B.G. Teubner Stuttgart 1988
Chee-Keng Yap : “Algorithmic Motion Planning”, Algorithmic and Geometric Aspects of Robotics Volume 1, edited by J.T. Schwartz, C.-K. Yap, Lawrence Erlbaum Associates 1987
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 B. G. Teubner Verlagsgesellschaft, Leipzig
About this chapter
Cite this chapter
Seilen, J. (1992). Durch kinematische Szenen erzeugte topologische Räume. In: Buchmann, J., Ganzinger, H., Paul, W.J. (eds) Informatik. TEUBNER-TEXTE zur Informatik, vol 1. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-95233-2_22
Download citation
DOI: https://doi.org/10.1007/978-3-322-95233-2_22
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-8154-2033-1
Online ISBN: 978-3-322-95233-2
eBook Packages: Springer Book Archive