Arne Kreutzmann

In my research I am investigating how to combine various methods, like qualitative spatial reasoning, common sense knowledge about physical laws and active exploration of partial solutions, to solve physical puzzles. The challenge of these puzzles is to guide a ball through a maze to a predefined goal by placing objects such as ramps and springs in its trajectory. This results in a high dimensional and non continues configuration space. The described problem lies also between classical motion planning and configuration.

I use qualitative spatial reasoning to describe and analyse partial solutions. By combing such an analysis with common sense reasoning about the physical laws I derive which part of the configuration space to explore next.

The knowledge representation and reasoning is done my combing various specialised reasoning systems such as SparQ and proving theses result to a unified modal logic. Within this modal logic the next exploration steps are derived.