Repräsentation und effiziente Verarbeitung reichhaltiger qualitativer räumlicher Information

研究进展与进展：研究进展与进展：研究进展与进展：研究进展与进展：研究进展与进展：研究进展与进展：研究进展与进展：研究进展与进展：研究进展与进展：研究进展；Dabei sollen die vorhandenen Ansätze zur formalen Semantik dieser kalk<e:1> weiterentwickelt und die Ausdruckskraft vorhandener kalk<e:1> erhöht werden, es sollen Fragestellungen der Korrektheit und Vollständikeit qualitative izer räumlicher kalk<e:1> unsucht und ihre Berechenbarkeitskomplexität bestestimmt werden。Aufbauend darauf solen effizente interenzverfaren整个过程，实施和评价。Die theortischen Ergebnisse werden in认知心理学Untersuchungen einfie ßen和umgekehrt sollen Die dabei gewonenen结果在Die theortischen Untersuchungen einfie ßen。基于gis的地理信息系统与机器人导航系统。

Gegenstand des Forschungsvorhabens ist die Weiterentwicklung der formalen Grundlagen qualitativer räumlicher Repräsentationsmethoden und die Entwicklung effizienter Inferenzmethoden für das qualitative räumliche Schließen. Dabei sollen die vorhandenen Ansätze zur formalen Semantik dieser Kalküle weiterentwickelt und die Ausdruckskraft vorhandener Kalkül erhöht werden, es sollen Fragestellungen der Korrektheit und Vollständikeit qualitativer räumlicher Kalküle untersucht und ihre Berechenbarkeitskomplexität bestimmt werden. Aufbauend darauf sollen effiziente Inferenzverfahren entwickelt, implementiert und evaluiert werden. Die theoretischen Ergebnisse werden in kognitionspsychologische Untersuchungen einfließen und umgekehrt sollen die dabei gewonnenen Resultate in die theoretischen Untersuchungen einfließen. Anwendungen ergeben sich bei der Verarbeitung natürlicher Sprache, der Dokumentenanalyse, bei geographischen Informationssysteme und bei der Roboternavigation.