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

具有定义和公理特征的空间概念和结构的正式规范

• 批准号: 5270062
• 负责人: Professor Dr. Christopher Habel
• 金额: --
• 依托单位: Fachbereich Informatik
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 1996
• 资助国家: 德国
• 起止时间: 1995-12-31 至 2002-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5270062?language=en
• 关键词: Formale; Spezifikation; von; umlichen; Konzepten

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.

Das Ziel is 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 zurundeliegenden Konzepte.该项目的第一个阶段是以财富和财富的概念为基础的，就像它在由Bewegungs-、Blick-和Zeigerichtungen韦尔登进行的语言描述中一样。Ausgehire von den Arbeiten zur Kodierung von räumlichen Konzepten in natürlicher Sprache韦尔登迪Grundzüge einer konzeptuellen Roboterinstruktionssprache für die Bewegungsinstruktion entwickelt.