FOR 1513:  Hybrid Reasoning for Intelligent Systems (HYBRIS)

• Subject Area: Computer Science, Systems and Electrical Engineering
• Term: from 2012 to 2019
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 167839951

Knowledge Representation and Reasoning (KR&R) and, in particular, reasoning about actions, their effects and the environment in which actions take place, are fundamental for intelligent behaviour and have been a central concern in artificial intelligence from the beginning. To date, most KR&R approaches have focussed on qualitative representations, which contrasts with requirements from many application domains where quantitative information needs to be processed as well. Examples of such quantitative aspects are time, probabilistic uncertainty, multi-criteria optimisation or resources like mass. The aim of this Research Unit is to integrate both qualitative and quantitative forms of reasoning, resulting in hybrid reasoning formalisms. The work will build on the results from the previous DFG-funded project cluster "Logic-Based Knowledge Representation", where some of the most successful qualitative KR&R formalisms were combined with a focus on reasoning about actions. To increase the practical impact and relevance of the proposed research, experts from two carefully selected application areas, robotics and bioinformatics, are part of the consortium, and both foundational and application-driven projects will be carried out. In the long run, the Research Unit will take a big step towards widening the use of KR&R technology as part of large, complex intelligent systems.

• DFG Programme: Research Units

Projects

• Advanced Solving Technology for Dynamic and Reactive Applications (Applicants Brewka, Gerhard ;  Kern-Isberner, Gabriele ;  Schaub, Torsten )
• Automatic Generation of Description Logic-based Biomedical Ontologies (Applicants Baader, Franz ;  Schroeder, Michael )
• Central Services (Applicant Lakemeyer, Ph.D., Gerhard )
• Hybrid Reasoning Over Dynamic Protein Interaction Networks (Applicants Brewka, Gerhard ;  Schaub, Torsten ;  Schroeder, Michael )
• Hybris Coordination Project (Applicant Lakemeyer, Ph.D., Gerhard )
• Planning and Action Control for Robots in Human Environments (Applicants Burgard, Wolfram ;  Lakemeyer, Ph.D., Gerhard ;  Nebel, Bernhard )
• Probabilistic Description Logics Based on the Aggregating Semantics and the Principle of Maximum Entropy (Applicants Baader, Franz ;  Kern-Isberner, Gabriele )
• Verification of Non-Terminating Action Programs (VERITAS) (Applicants Baader, Franz ;  Lakemeyer, Ph.D., Gerhard )

• Spokesperson: Professor Gerhard Lakemeyer, Ph.D.