FOR 1513:  Hybrides Schließen in intelligenten Systemen

• Fachliche Zuordnung: Informatik, System- und Elektrotechnik
• Förderung: Förderung von 2012 bis 2019
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 167839951

Die Wissensrepräsentation (WR) und insbesondere die Möglichkeit, über Aktionen und ihre Effekte auf die Umgebung, in denen die Aktionen ausgeführt werden, Schlüsse zu ziehen, sind wesentliche Bestandteile intelligenten Verhaltens und wurden seit den Anfängen der künstlichen Intelligenz erforscht. Bis jetzt haben sich die Arbeiten auf diesem Gebiet weitgehend auf qualitative Darstellungen beschränkt, obwohl viele Anwendungen die Verarbeitung quantitativer Informationen ebenfalls verlangen. Beispiele solcher quantitativen Aspekte sind Zeit, probabilistische Unsicherheit, Mehrkriterienoptimierung oder Ressourcen. Ziel dieser Forschergruppe ist es, qualitative und quantitative Formen des Schlussfolgerns zu hybriden Formalismen zu vereinen. Die Arbeiten basieren auf Ergebnissen der DFG-Paketprojekte zum Thema "Logikbasierte Wissensrepräsentation", die einige der erfolgreichsten qualitativen WR-Formalismen mit einem Fokus auf Aktionswissen kombinierten. Um die praktische Bedeutung und Relevanz der neuen Arbeiten zu stärken, sind Expertinnen und Experten aus der Robotik und der Bioinformatik Teil des Konsortiums, und die Projekte bearbeiten sowohl grundlagen- als auch anwendungsorientierte Fragestellungen. Langfristig beabsichtigt die Forschergruppe, einen wichtigen Beitrag im Hinblick auf eine weitverbreitete Anwendung von WR-Technologien als Bestandteil intelligenter Systeme zu leisten.

• DFG-Verfahren: Forschungsgruppen

Projekte

• Automatic Generation of Description Logic-based Biomedical Ontologies (Antragsteller Baader, Franz ;  Schroeder, Michael )
• Handlungsplanung und Aktionssteuerung für Roboter in Haushaltsumgebungen (Antragsteller Burgard, Wolfram ;  Lakemeyer, Ph.D., Gerhard ;  Nebel, Bernhard )
• Hybride Schlussverfahren für dynamische Protein-Interaktionsnetze (Antragsteller Brewka, Gerhard ;  Schaub, Torsten ;  Schroeder, Michael )
• Hybris Koordinationsprojekt (Antragsteller Lakemeyer, Ph.D., Gerhard )
• Probabilistische Beschreibungslogiken unter Verwendung der Aggregationssemantik und dem Prinzip maximaler Entropie (Antragstellerinnen / Antragsteller Baader, Franz ;  Kern-Isberner, Gabriele )
• Problemlöseverfahren für dynamische und reaktive Anwendungen (Antragstellerinnen / Antragsteller Brewka, Gerhard ;  Kern-Isberner, Gabriele ;  Schaub, Torsten )
• Verifikation Nicht-Terminierender Aktionsprogramme (VERITAS) (Antragsteller Baader, Franz ;  Lakemeyer, Ph.D., Gerhard )
• Zentrale Dienste (Antragsteller Lakemeyer, Ph.D., Gerhard )

• Sprecher: Professor Gerhard Lakemeyer, Ph.D.