MASKOR

Mobile Autonome Systeme
und Kognitive Robotik

ConTrAkt

Constraint-basierte Transformation abstrakter Handlungspläne in ausführbare Aktionen autonomer Roboter

Eckdaten

Zuwendungsgeber

DFG - Deutsche Forschungsgemeinschaft

Förderkennzeichen

Projektnummer 288705857, FE-1077/4-1

Wissenschaftliche Leitung

Prof. Dr. Alexander Ferrein, Dr. Stefan Schiffer

Wissenschaftliche Mitarbeiter

Victor Matare

Beschreibung

Die Forschung im Bereich mobiler autonomer Roboter, die in menschlichen Umgebungen operieren, hat in den letzten Jahren große Fortschritte gemacht. Trotzdem gibt es immer noch deutliche Defizite, was die robuste Ausführung von Handlungsplänen anbelangt. Dies liegt unter anderem daran, dass die Ausführung selbst einfach erscheinender Aktionen wie das Fahren an einen bestimmten Ort ein komplexes Zusammenspiel einer Vielzahl voneinander abhängiger Systemkomponenten erfordert mit zahlreichen potentiellen Fehlerquellen. Zwar existieren Ansätze zur Lösung dieses Koordinierungsproblems, es erfolgt jedoch keine explizite Trennung zwischen der Aufgabe des Roboters aus Benutzersicht und den systembedingten Erfordernissen. Nachteile sind unter anderem, dass das Planungsproblem von vornherein sehr schwierig wird und Anwendungen nicht mehr unabhängig von der verwendeten Plattform spezifiziert werden können, was nicht zuletzt eine hohe Detailkenntnis des Benutzers erfordert. In diesem Projekt soll stattdessen die Handlungsplanung aus Anwendungssicht von den internen Erfordernissen getrennt werden. Dabei soll ein gegebener Plan zur Laufzeit so transformiert werden, dass die benötigten Systemkomponenten und deren Abhängigkeiten auf Basis einer deklarativen Spezifikation automatisch mit einbezogen werden. Gleichzeitig sollen die notwendigen Informationen für eine Ausführungskontrolle mit Möglichkeiten der Fehlerbehandlung bereit gestellt werden. Eine Evaluation der erzielten Ergebnisse wird auf unterschiedlichen mobilen Robotern in häuslichen Umgebungen durchgeführt.

Links

Projektpartner Knowledge-Based Systems Group, RWTH Aachen University

ConTrAkt im DFG-System GEPRIS