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

• Applicant: Professor Dr. Christopher Habel
• Subject Area: Theoretical Computer Science
• Term: from 1996 to 2003
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5270062

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.

• DFG Programme: Priority Programmes
• Subproject of: SPP 1021: Raumkognition
• Participating Person: Dr. Carola Eschenbach