Institut für Künstliche Intelligenz

Gregor Behnke

Gregor Behnke hat die Universität Ulm verlassen. Diese Seite wird nicht mehr geplegt. Seine neue Seite befindet sich hier.

Ich habe von 2008 bis 2014 an der Universität Rostock Informatik studiert. Meine Vertiefungsrichtung im Master war "Modelle und Algorithmen".

Seit Januar 2014 bin ich wissenschaftlicher Mitarbeiter des Instituts für Künstliche Intelligenz und Mitglied im Graduiertenkolleg des Sonderforschungsbereich Transregio 62.

Im Kontext des Teilprojekts A1 des Sonderforschungsbereich Transregio 62 beschäftige ich mich mit der gemischt-initiativen Plangenerierung und Planerklärung. Daneben arbeite ich auch an der Entwicklung neuartiger Heuristiken und Planungstechniken.

Eine Liste meiner Publikationen befindet sich am Ende dieser Seite und auf dblp und Google Scholar. Meine Erdős-Zahl ist 4 (David Aha, Simon Kasif, Noga Alon, Paul Erdős).

Außerdem betreue ich seit Januar 2015 die ACM-ICPC Teams der Universität Ulm und trainiere sie für die Teilnahme an Programmierwettbewerben.

Ich bin einer der Organisatoren des HTN-Tracks der IPC 2020.

Weitere Information

Planungssysteme bieten eine flexible und vielseitig einsetzbare Möglichkeit, um Nutzer bei komplexen Aufgabenstellungen (z.B. der Bedienung komplexer Geräte) kompetent zu unterstützen.
Die meisten aktuellen Planungssysteme sind jedoch Black-Box-Systeme.
Ihre Nutzer haben keinerlei Einfluss auf ihre inneren Abläufe und erhalten keine bzw. nur sehr wenig Informationen über den Prozess, der zu einem ausgegebenen Plan geführt hat.

Im Rahmen meines Promotionsvorhabens beschäftige ich mich hauptsächlich mit dem Themengebiet des gemischt-initiativen Planens.
Hier soll durch die direkte Einbindung des Nutzers in den Planungsprozess ein hohes Maß an Anpassbarkeit und Invidualisierbarkeit ermöglicht werden.
So werden aus Black-Box-Planern White-Box-Planer, die für den Einsatz im Umgang mit menschlichen Nutzern bestens geeignet sind.

Um diese Integration zu ermöglichen, müssen eine Reihe von Fragen beantwortet werden, denen ich mich in meinem Promotionsvorhaben widme.

  • Wie können die von Planern verwendeten Planungsstrategien und der daraus resultierende Arbeitsablauf des Planers dem Nutzer geeignet näher gebracht werden?
  • Welche Entscheidungen muss der Planer selbstständig treffen (z.B. um die mentale Kapazität des Nutzers nicht zu überlasten) und welche müssen durch den Nutzer getroffen werden?
  • Wie ist mit Einwürfen und Wünschen des Nutzers umzugehen, die nicht als Antwort auf eine Frage durch den Planer geäußert werden?

Insbesondere die letzte Fragestellung ergibt interessante Forschungsfragen sowohl theoretischer als auch praktischer Natur.

 

Neben meinen Arbeiten zum gemischt-initiativen Planen beschäftige ich mich auch mit den theoretischen Grundlagen des Hierarchischen Planens und der Entwicklung neuer Heuristiken und Planungstechniken für das Hierarchische Planen.

Ich war Mitglied des Programm-Komittees der folgenden internationalen Workshops:

  • Hierarchical Planning Workshop (Workshop of ICAPS): 2018

Ich war Gutachter für die folgenden nationalen und internationalen Konferenzen:

  • International Conference on Automated Planning and Scheduling (ICAPS): 2016, 2017, 2018
  • International Joint Conference on Artificial Intelligence (IJCAI): 2018
  • AAAI Conference on Artificial Intelligence (AAAI): 2017, 2018
  • German Conference on Artificial Intelligence (KI): 2016

 

Außerdem war ich Gutachter für folgende wissenschaftliche Zeitschriften:

  • Künstliche Intelligenz - Special Issue on Companion Technologies

Ich bin regelmäßig an den Lehrveranstaltungen des Instituts beteiligt. In den vergangenen Jahren waren dies insbesondere:

  • Vorlesung "Kompetitives Programmieren", SS 2018
  • Proseminar "Künstliche Intelligenz", SS 2018
  • Seminar "Advances in Artificial Intelligence", WS 2016/2017
  • Vorlesung "Einführung in die Informatik", SS 2017
  • Vorlesung "Kompetitives Programmieren", SS 2017
  • Vorlesung "Einführung in die Informatik", WS 2016/2017
  • Seminar "Advances in Artificial Intelligence", WS 2016/2017
  • Seminar "Advances in Artificial Intelligence", SS 2016
  • Seminar "Advances in Artificial Intelligence", WS 2015/2016
  • Vorlesung "Intelligente Handlungsplanung", SS 2015
  • Vorlesung "Einführung in die Informatik", WS 2014/2015

Außerdem bin ich in der Vorlesung "Einführung in die Künstliche Intelligenz" regelmäßig für die Betreuung der Programmieraufgaben und des DOMjudge-Servers zuständig.

 

Seit Januar 2015 bin ich der Trainer der ACM ICPC Gruppe der Universität Ulm. Hier trainieren die Studenten für die Teilnahme am International Collegiate Programming Contest (ICPC) der ACM. Seit 2015 nehmen wir regelmäßig an den nationalen und internationalen Runden des Wettbewerbs teil.

  • Gips-Schüle-Rektor-Stipendium 2017
  • Stipendiat der Studienstiftung des Deutschen Volkes (2009-2014)
  • Goldmedaille beim ICPC NWERC 2012 der ACM
  • Silbermedaille beim ICPC NWERC 2010 der ACM

Ich arbeite aktuell im Teilprojekt A1 "Adaptive Planung und Entscheidungsfindung" des Sonderforschungsbereichs/Transregio 62 "Eine Companion-Technologie für kognitive
technische Systeme".

Außerdem bin ich Teil des Transferprojekts "Do it yourself, but not alone" des SFB/TRR 62. Dabei handelt es sich um ein gemeinsames Projekt der Institute für Künstliche Intelligenz und Nachrichtentechnik mit der Robert Bosch GmbH.

Ich habe bisher folgende Abschlussarbeiten betreut:

  • "Verification and Modification of a Hierarchical Task Network Plan", Bachelor, Nina Dönhoff, 2017
  • "The Utility of SAT-Solving for Heuristics in POCL Planning", Bachelor, Matthias Englert, 2016
  • "Interaktive Handlungsplanung", Master, Tobias Schmidke, 2014
  • "Entwicklung nutzerunabhängiger Strategien zur Auswahl, Vereinfachung und Zusammenfassung von formalen Planerklärungen", Bachelor, Tim Schneider, 2014

Ich bin im Moment der Hauptentwickler des Hybriden Planungssystens PANDA3.

Publikationen

2021

56.
P. Bercher, G. Behnke, M. Kraus, M. R. G. Schiller, D. Manstetten, M. Dambier, M. Dorna, W. Minker, B. Glimm and S. Biundo, "Do It Yourself, but Not Alone: Companion-Technology for Home Improvement — Bringing a Planning-Based Interactive DIY Assistant to Life", Künstliche Intell., vol. 35, no. 3, pp. 367—375, 2021.
DOI:10.1007/s13218-021-00721-x
Datei:https://doi.org/10.1007/s13218-021-00721-x
55.
P. Bercher, G. Behnke, M. Kraus, M. R. G. Schiller, D. Manstetten, M. Dambier, M. Dorna, W. Minker, B. Glimm and S. Biundo, "Do It Yourself, but Not Alone: Companion-Technology for Home Improvement – Bringing a Planning-Based Interactive DIY Assistant to Life", Künstliche Intelligenz – Special Issue on NLP and Semantics, 2021.
Weblink:https://rdcu.be/cmGwb
Datei:http://link.springer.com/article/10.1007/s13218-021-00721-x

2020

54.
D. Höller, G. Behnke, P. Bercher, S. Biundo, H. Fiorino, D. Pellier and R. Alford, "HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems" in Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), AAAI Press, 2020, pp. 9883--9891.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/Hoeller2020HDDL.pdf
53.
D. Höller, P. Bercher, G. Behnke and S. Biundo, "HTN Plan Repair via Model Transformation" in Proceedings of the 43th German Conference on Artificial Intelligence (KI 2020), Springer, 2020.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/Hoeller20Repair.pdf
52.
D. Höller, P. Bercher, G. Behnke and S. Biundo, "HTN Planning as Heuristic Progression Search", Journal of Artificial Intelligence Research (JAIR), vol. 67, pp. 835--880, 2020. AAAI Press.
Datei:https://jair.org/index.php/jair/article/view/11282/26578
51.
G. Behnke, P. Bercher, M. Kraus, M. R. G. Schiller, K. Mickeleit, T. Häge, M. Dorna, M. Dambier, W. Minker, B. Glimm and S. Biundo, "New Developments for Robert – Assisting Novice Users Even Better in DIY Projects" in Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), AAAI Press, 2020, pp. 343--347.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/Behnke2020DIYAssistant.pdf
50.
G. Behnke, D. Höller, A. Schmid, P. Bercher and S. Biundo, "On Succinct Groundings of HTN Planning Problems" in Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), AAAI Press, 2020, pp. 9775--9784.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/AAAI-BehnkeG.1770.pdf
49.
M. Kraus, M. R. G. Schiller, G. Behnke, P. Bercher, M. Dorna, M. Dambier, B. Glimm, S. Biundo and W. Minker, "Was that successful? On Integrating Proactive Meta-Dialogue in a DIY-Assistant System using Multimodal Cues" in Proceedings of 22nd ACM International Conference on Multimodal Interaction (ICMI 2020), ACM, 2020.
Datei:/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/KSBB20a.pdf

2019

48.
G. Behnke, "Hierarchical planning through propositional logic - highly efficient, versatile, and flexible", Dez. 2019.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/thesis_behnke_main.pdf
47.
M. Kraus, M. R. G. Schiller, G. Behnke, P. Bercher, S. Biundo, B. Glimm and W. Minker, "9th International Workshop on Spoken Dialogue Systems", Rafael Banchs and Luis Fernando D'Haro and Haizhou Li, Eds. Springer, 2019.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Kraus2019CloudCompanion.pdf
46.
G. Behnke, M. R. G. Schiller, M. Kraus, P. Bercher, M. Schmautz, M. Dorna, M. Dambier, W. Minker, B. Glimm and S. Biundo, "Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects", AI Communications, vol. 32, no. 1, pp. 31-57, 2019. IOS Press.
DOI:10.3233/AIC-180604
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019bosch.pdf
45.
G. Behnke, D. Höller and S. Biundo, "Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-based HTN Planning" in Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019), AAAI Press, 2019, pp. 7520--7529.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019orderchaos.pdf
44.
G. Behnke, D. Höller and S. Biundo, "Finding Optimal Solutions in HTN Planning - A SAT-based Approach" in Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), 2019.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019satoptimal.pdf
43.
D. Höller, G. Behnke, P. Bercher, S. Biundo, H. Fiorino, D. Pellier and R. Alford, "HDDL - A Language to Describe Hierarchical Planning Problems" in Proceedings of the Second ICAPS Workshop on Hierarchical Planning, 2019, pp. 6--14.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Hoeller2019HDDL.pdf
42.
G. Behnke, D. Höller, P. Bercher, S. Biundo, D. Pellier, H. Fiorino and R. Alford, "Hierarchical Planning in the IPC" in Proceedings of the Workshop on the International Planning Competition, 2019.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019HTNIPC.pdf
41.
G. Behnke, D. Höller, P. Bercher and S. Biundo, "More Succinct Grounding of HTN Planning Problems -- Preliminary Results" in Proceedings of the Second ICAPS Workshop on Hierarchical Planning, 2019, pp. 40--48.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019Grounding.pdf
40.
D. Höller, P. Bercher, G. Behnke and S. Biundo, "On Guiding Search in HTN Planning with Classical Planning Heuristics" in Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), IJCAI, 2019, pp. 6171--6175.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Hoeller2019ProgressionHeuristics.pdf
39.
Proceedings of the 2nd ICAPS Workshop on Hierarchical Planning.
Datei:pdfhttps://icaps19.icaps-conference.org/workshops/Hierarchical-Planning/HPLAN2019Proceedings.pdf

2018

38.
P. Bercher, F. Richter, F. Honold, F. Nielsen, F. Schüssel, T. Geier, T. Hörnle, S. Reuter, D. Höller, G. Behnke, M. Weber, K. Dietmayer, W. Minker and S. Biundo, "A Companion-System Architecture for Realizing Individualized and Situation-Adaptive User Assistance" , 2018.
DOI:10.18725/OPARU-11023
Datei:pdfhttps://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/11080/AssemblyAssistant.pdf
37.
D. Höller, P. Bercher, G. Behnke and S. Biundo, "A Generic Method to Guide HTN Progression Search with Classical Heuristics" in Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018), AAAI Press, 2018, pp. 114--122.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Hoeller18Progression.pdf
36.
M. Kraus, G. Behnke, P. Bercher, M. R. G. Schiller, S. Biundo, B. Glimm and W. Minker, "A Multimodal Dialogue Framework for Cloud-Based Companion Systems" in Proc. of the 10th International Workshop on Spoken Dialog Systems Technology (IWSDS 2018), 2018.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Kraus2018CompanionCloudDemo.pdf
35.
M. R. G. Schiller, G. Behnke, P. Bercher, M. Kraus, M. Dorna, F. Richter, S. Biundo, B. Glimm and W. Minker, "Evaluating Knowledge-Based Assistance for DIY" in Proceedings of MCI Workshop "Digital Companion", 2018, pp. 925--930.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/MCI-WS19-schillerEtAl2018.pdf
34.
D. Höller, P. Bercher, G. Behnke and S. Biundo, "HTN Plan Repair Using Unmodified Planning Systems" in Proceedings of the First ICAPS Workshop on Hierarchical Planning, 2018, pp. 26--30.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Hoeller18Repair.pdf
33.
G. Behnke, M. R. G. Schiller, M. Kraus, P. Bercher, M. Schmautz, M. Dorna, W. Minker, B. Glimm and S. Biundo, "Instructing Novice Users on How to Use Tools in DIY Projects" in Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), IJCAI, 2018, pp. 5805--5807.
DOI:10.24963/ijcai.2018/844
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018DIY.pdf
32.
D. Höller, P. Bercher, G. Behnke and S. Biundo, "Plan and Goal Recognition as HTN Planning" in Proceedings of the AAAI 2018 Workshop on Plan, Activity, and Intent Recognition (PAIR 2018), 2018, pp. 607--613.
Datei:pdfhttp://www.planrec.org/PAIR/PAIR18/Papers/HollerPair18.pdf