Site Network: Cognitive Systems | SFB/TR 8 Spatial Cognition | Fachbereich 03 | Universität Bremen

Spatial Reasoning for Computational Cognitive Systems - SoSe 2015

Blockcourse (ECTS: 6)

Prof. Dr. Mehul Bhatt (
Di 21.04.15 16:00 - 18:00 CART 3.01
Mo 10.08.15 - Fr 14.08.15 (Mo, Di, Mi, Do, Fr) 10:00 - 12:00 and 13:00 - 16:00 CART 3.01 
Mo 17.08.15 - Fr 21.08.15 (Mo, Di, Mi, Do, Fr) 10:00 - 12:00 and 13:00 - 16:00 CART 3.01 
Profile: KIKR, DMI
Artificial Intelligence, Cognition, and Robotics (KIKR – Küstliche Intelligenz, Kognition und Robotik)
Digital Media and Interaction (DMI – Digitale Medien und Informatik)
This course will introduce students to declarative problem solving skills with logic programming. After a basic introduction to the declarative logic programming language Prolog, this course presents an application-driven in-depth overview of methods for commonsense spatial representation and reasoning within artificial intelligence based computer programs, computational cognitive systems, intelligent agents (e.g., in computer games). Methods that can be used to model and implement commonsense spatial reasoning components within (hybrid) intelligent systems will be introduced in detail with state-of-the-art deployed examples from ongoing research projects in the fields of architecture design, computer vision, robotics, geographic information systems, computer games, spatial puzzles, smart homes.
Course Information. PDF