[CSpace] Formal Analysis of Cognitive Complexity in Human Spatial Reasoning and Planning (06 - R08)

• Subject Area: Theoretical Computer Science
• Term: from 2009 to 2014
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: CRC/Transregios
• Subproject of: TRR 8: Spatial Cognition - Reasoning, Action, Interaction
• Applicant Institution: Universität Bremen
• Co-Applicant Institution: Albert-Ludwigs-Universität Freiburg
• Project Heads: Professor Dr. Lars Konieczny; Professor Dr. Marco Ragni