Logo des Repositoriums

D20 (2019) - Ausgezeichnete Informatikdissertationen

https://dl.gi.de/handle/20.500.12116/37999
Auflistung nach:

Auflistung D20 (2019) - Ausgezeichnete Informatikdissertationen nach Autor:in "Behnke, Gregor"

1 - 1 von 1
  • Konferenzbeitrag
    Hierarchisches Planen durch Propositionale Logik
    (Ausgezeichnete Informatikdissertationen 2019, 2020) Behnke, Gregor
    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.