DFG Research Unit (Forschergruppe) FOR 1513 Hybrid Reasoning for Intelligent Systems

Excerpt

The DFG research unit (Forschergruppe) Hybrid Reasoning for Intelligent Systems began its work during the course of 2012, with the aim of investigating hybrid reasoning techniques in the sense of different combinations of both qualitative and quantitative reasoning. Among the quantitative aspects addressed in the research unit are time, uncertainty, preferences, continuous state spaces, and quantitative data such as point clouds or text, from which meaningful symbolic descriptions can be extracted. In order to increase the practical impact of the research unit, robotics and bioinformatics were included as application areas. In robotics, quantitative aspects of reasoning addressed by the research unit include dealing with noisy sensors and continuous robot arm trajectories. In bioinformatics, these include learning formal ontologies from text databases and modeling protein interaction networks. The PIs of the research unit are: During the first phase (2012–2015), uncertainty played an important role, mainly in the robotics project. In the second phase (2016–2019), uncertainty will be a focus in all projects of the research unit. A new application domain for the second phase is logistics (in cooperation with Fraunhofer IML in Dortmund). …