Autonome Fahrzeuge versprechen einen hohen Effizienzgewinn und bergen somit ein nicht zu unterschätzendes Potenzial für Klima- und Umweltschutz. Die Entwicklung autonomer Fahrzeuge, die Verkehrsregeln befolgen können, erfordert, dass Vorschriften, die ursprüngl in natürlicher Sprache oder mittels Zeichen formuliert werden, in streng logisch aufgebauten Formalismen übertragen werden. Der vorliegende Beitrag fasst die idZ wichtigsten verkehrsrechtl Anforderungen zusammen und diskutiert aktuelle techn Herausforderungen (und entsprechende Lösungsansätze) für die Formalisierung von Verkehrsregeln im Hinblick auf drei Problembereiche:die erforderl interdisziplinäre Kommunikation im Formalisierungsprozess,Schwierigkeiten betr eine Automatisierung des Formalisierungsprozesses,spezifische und allg Grenzen einschlägiger logischer Formalismen.
