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

这是一个系统化的Erschlieüung and Formalisierung eines Inventars räumlicher Konzepte，das der Beschreibung von Phänomeen and Ergebissen der Raumkognition。Ausdrücken and natürlichen Sprhe zugrundelegegenden Konzepte.他说：“这是一个非常重要的问题，因为这是一个非常重要的问题。”在Natürlicher Sprhe中的Ausgehend von den arbeiten zur Kodierung von räumlicchen Konzepten Ausgehend von den arbeiten zur Kodierung von rumlicchen Konzepten Hend de Grundzüge einer konzeptuellen Roboterinstruktions ssprache für die bewegan gsinstruktion entwickelt.

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.