Project Q: Spatial Inference

Qualitative Knowledge about Space and Time: Representations and Processes

Christian Freksa, Reinhard Moratz, Diedrich Wolter

University of Bremen , Department for Informatics

Duration: 1998 - 2002

Project homepage:

The scientific goal of the project is the development of approaches to qualitative spatial and temporal reasoning. A basic hypothesis of our approach is that the integration of perception and action with processes of reasoning and cognition creates a foundation for intelligent behavior. For this reason, our approaches are based on perception-related representations of partial knowledge about spatio-temporal environments.

The work in the Spatial Inference project is carried out on a theoretical level (development and analysis of representation and reasoning structures), on a modeling level (computer implementation and testing of synthetic environments), and on an experimental level (robot navigation using various spatial inference strategies). In this way, we can isolate and integrate individual aspects involved in spatial reasoning and we can explore how realistic certain assumptions are in the setting of a real environment.

Approaches: modeling, implementation, application, simulation
Areas of Research: cognitive robotics, artificial intelligence, cognitive science
Topics: structure of representation; navigation; dynamic change, vagueness, spatial reasoning/ inference, qualitative knowledge

Project publications

Publications of project cooperations:

B - Aspect Maps
F - Robot Navigation
C - Axiomatics

mail us your comments or remarks last updated: March 2003