[CSpace] Formale Analyse kognitiver Komplexität beim räumlichen Schlussfolgern und Planen (06 - R08)

• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2009 bis 2014
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5485810

Die Entwicklung einer kognitiven Komplexitätstheorie für Deduktion und Planung sowie die Analyse psychologischer Einflussfaktoren ist für das Verständnis der räumlichen Kognition von zentraler Bedeutung. Informatische Komplexitätsmaße sind dabei essentiell, berücksichtigen aber weder kognitive Prozesse, noch die menschliche Verarbeitungskapazität. Ziel des Projekts ist die Entwicklung einer formal abgesicherten und kognitiv adäquaten Komplexitätstheorie. Mentale Operationen, Heuristiken und die damit assoziierte Komplexität werden multimethodologisch durch Verhaltens-, Blickbewegungs- und fMRT-Experimente identifiziert und mittels KI-Methoden formalisiert.

• DFG-Verfahren: Transregios
• Teilprojekt zu: TRR 8: Raumkognition - Schließen, Handeln, Interagieren
• Antragstellende Institution: Universität Bremen
• Mitantragstellende Institution: Albert-Ludwigs-Universität Freiburg
• Teilprojektleiter: Professor Dr. Lars Konieczny; Professor Dr. Marco Ragni