Hierarchisches Planen durch Propositionale Logik

Behnke, Gregor

Hierarchisches Planen durch Propositionale Logik

dc.contributor.author	Behnke, Gregor
dc.contributor.editor	Hölldobler, Steffen
dc.date.accessioned	2022-01-24T12:37:20Z
dc.date.available	2022-01-24T12:37:20Z
dc.date.issued	2020
dc.description.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.	de
dc.identifier.isbn	978-3-88579-775-3
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/38020
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Ausgezeichnete Informatikdissertationen 2019
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume D-20
dc.title	Hierarchisches Planen durch Propositionale Logik	de
dc.type	Text/Conference Paper
gi.citation.endPage	48
gi.citation.publisherPlace	Bonn
gi.citation.startPage	39
gi.conference.date	17.-20. Mai 2020
gi.conference.location	Schoss Dagstuhl, Deutschland

Dateien

Originalbündel

1 - 1 von 1

Name:: Behnke_Gregor.pdf
Größe:: 706.11 KB
Format:: Adobe Portable Document Format

Herunterladen

Sammlungen

D20 (2019) - Ausgezeichnete Informatikdissertationen