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

• Applicant: Professor Dr. Bernhard Nebel
• Subject Area: Theoretical Computer Science
• Term: from 1996 to 2008
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5271710

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.

• DFG Programme: Priority Programmes
• Subproject of: SPP 1021: Raumkognition