Hierarchisches Planen durch Propositionale Logik

Abstract

Planungsbasierte Assistenzsysteme bieten ihren Nutzern flexible und individualisierte Unterstützung bei der Bewältigung schwieriger Probleme. Für einen erfolgreichen Assistenten wird ein effizientes und flexibles Planungssystem benötigt. Wir demonstrieren, wie mittels einer Transformation in Aussagenlogik der momentan schnellste HTN-Planer konstruiert werden kann und veranschaulichen, auf welche Weise dieser garantiert optimale Lösungen finden kann. Weiterhin zeigen wir, dass die Wünsche des Nutzers in Linearer Temporaler Logik ausgedrückt werden können – und wie dieser in den Planungsprozess einbezogen werden k kann. Letztlich stellen wir dar, wie die entwickelten Technologien in Kooperation mit der Robert Bosch GmbH in einem industriellen Kontext verwendet werden. Der im Rahmen dieser Zusammenarbeit entwickelte Assistent ROBERT hilft seinen Nutzern bei der Durchführung von Do-It-Yourself Heimwerker-Projekten.