Intuitive Programmierung durch natürliche Mensch-Roboter-Interaktion
Im Kompetenzfeld Robotics and Machine Learning integrieren wir Methoden der Künstlichen Intelligenz (KI) und erarbeiten neue Konzepte für die Kooperation zwischen Mensch und Roboter. Ziel ist, aus formalen Produkt- und Prozessbeschreibungen Lösungen abzuleiten, die sich flexibel auf unterschiedliche Systeme übertragen lassen. Roboter sollen in der Lage sein, selbstständig abstrakte Problemstellungen in unterschiedlichen Domänen zu lösen.
Die Synthese von Roboterprogrammen auf Basis deklarativer (erklärender) Zielbeschreibungen ermöglicht es Experten der Anwendungsdomäne, Produktionsziele auf einer höheren Abstraktionsebene und in einer vertrauten Sprache zu spezifizieren. Unter Verwendung formaler Techniken zur Wissensmodellierung wird die Automatisierungs- und Anwendungsdomäne semantisch (bedeutungsmäßig) in einem maschineninterpretierbaren Format beschrieben. Lücken und Mehrdeutigkeiten in diesen potenziell unterspezifizierten Anweisungen werden durch logische Schlussfolgerung (Inferenz) und Planung aufgelöst. Als Ergebnis kann ein ausführbares Roboterprogramm automatisch generiert/synthetisiert werden.
Um eine flexible Rekonfiguration von heterogenen cyber-physischen Produktionssystemen auf Basis von Aufgabenspezifikationen zu ermöglichen, forschen wir zudem an Methoden der semantischen Interoperabilität (Vereinbarkeit). Dies beinhaltet die automatische Rekonfiguration von Software- und Hardwarekomponenten über semantische Ressourcenmodelle sowie den Abgleich von semantisch modellierten Fähigkeiten mit formalen Anforderungen, die aus den Fertigungsprozessen und den zugehörigen Produkten abgeleitet werden.
