The R4-[LogoSpace] project is one of currently 17 research projects in the interdisciplinary transregional collaborative research center Spatial Cognition: Reasoning, Action, Interaction (SFB/TR 8), established by the Deutsche Forschungsgemeinschaft (DFG). Spatial Cognition is concerned with the acquisition, organization, utilization and revision of knowledge about spatial environments, be it real or abstract, human or machine. Research issues range from the investigation of human spatial cognition to mobile robot navigation. The goal of the SFB/TR 8 is to investigate the cognitive foundations for human-centered spatial assistance systems (for more details see http://www.sfbtr8.spatial-cognition.de).
The SFB/TR 8 is structured into the three research areas, namely Reasoning, Action, and Interaction. Reasoning comprises projects that are concerned with internal and external representations of space and with inference processes using these representations. Action comprises projects that are concerned with the acquisition of information from spatial environments and with actions and behavior in these environments. Interaction comprises projects that are concerned with communication about space by means of language and maps.
The R4-[LogoSpace] project, one of the projects in Reasoning and focuses on constraint-based reasoning in qualitative spatio-temporal calculi. In more detail, the aim of the project is to develop qualitative spatio-temporal calculi including an analysis of their logical properties such as decidability and computational complexity. The computational studies are complemented by psychological studies to investigate the cognitive adequacy of formal calculi. [More...]
page last built 2010/03/02 12:38:58