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

Arne Kreutzmann

Arne Kreutzmann's picture

Personal Information

Function Doctoral Student
Office 3.57
Phone 64290
eMail kreutzma

Profession

About me

I'm a doctoral researcher in the Cognitive Systems group and part of the R3-[QShape] project of the SFB/TR-8 Spatial Cognition.

News

Thesis Defense: 14. Nov. 2014

Ph.D. Project

Acting intelligently in dynamic environments involves anticipating surrounding processes, for example to foresee a dangerous situation or acceptable social behavior. My aim is to verify that actions selected by the robot do not violate navigation or safety regulations and thereby endanger the robot or others. In a share environment, such navigation and safety regulations are generally given as natural language and are consequently of qualitative nature, e.g., left yield to rightNavigation rules specified qualitatively also allow an autonomous agent to consistently combine all rules applicable in a context.

I develop a formal, symbolic representation of right-of-way-rules based on a qualitative spatial representation and I develop corresponding effective sound reasoning techniques. The approach is based on a spatial logic in the sense of Aiello, Pratt-Hartmann, and van BenthemThis logic has clear spatial and temporal semantics.

I demonstrate the applicability of the developed method in three different areas, an autonomous robotic system in an industrial setting, an autonomous sailing boat, and a robot that should act politely by adhering to social conventions. In all three settings, the navigation behavior is specified by logic formulas. Temporal reasoning is performed via model checking. An important aspect is that a logic symbol, such as turn left, comprises a family of movement behaviors rather than a single pre-specified movement command. This enables to incorporate the current spatial context, the possible changing kinematics of the robotic system, and so on without changing a single formula. Additionally, I show that the developed approach can be integrated into various robotic software architectures.

Further, an answer to three questions in the field of qualitative spatial reasoning is presented. Using generalized linear programming as a unifying basis for reasoning, one can jointly reason about relations from different qualitative calculiAlso, concrete entities (fixed points, regions fixed in shape and/or position, etc.) can be mixed with free variables. In addition, a realization of qualitative spatial description can be calculated, i.e., a specific instance/example. All three features are important for applications but cannot be handled by other techniques. I advocate the use of And/Or trees to facilitate efficient reasoning and I show the feasibility of my approach. Last but not least, I investigate a fourth question, how to integrate And/Or trees with linear temporal logic, to enable spatio-temporal reasoning.

curriculum vitae
2010 - 2014 Doctoral Student and Researcher at the Cognitive Systems Group at the University of Bremen
2008 - 2009 Researcher at the Cognitive Systems Group at the University of Hamburg
2002 - 2007 Diplom: Mathematik mit Stuiedrichtung Informatik at the Leibniz University of Hannover
(comparable to a master degreee in a math major and a computer science minor)
2001 - 2002 Civilan Service
1994 - 2001 Abitur at the Bismarkschule in Hannover
1998 - 1999 US high school diploma as an exchange student at the Grand Meadow Public School in Minnesota

Publications