Formale Spezifikation von räumlichen Konzepten und Strukturen mit Definitionen und axiomatischen Chrakterisierungen

点击翻译按钮获取中文摘要

Das Ziel ist die systematische Erschließung und Formalisierung eines Inventars räumlicher Konzepte, das der Beschreibung von Phänomenen und Ergebnissen der Raumkognition dient. Als Anforderungsspezifikation und Überprüfungsinstanz fungiert die Untersuchung der den räumlichen Ausdrücken der natürlichen Sprache zugrundeliegenden Konzepte. Die dritte Projektphase befaßt sich mit Konzepten der Richtung und Richtungsänderung, wie sie bei der sprachlichen Beschreibung von Bewegungs-, Blick- und Zeigerichtungen verwendet werden. Ausgehend von den Arbeiten zur Kodierung von räumlichen Konzepten in natürlicher Sprache werden die Grundzüge einer konzeptuellen Roboterinstruktionssprache für die Bewegungsinstruktion entwickelt.