Automated Planning

Intelligent task planning is concerned with the automatic generation of structured action courses (called plans) which satisfy a desired goal when executed. Depending on the field of application, these plans may be operations to be executed by technical devices in order to show a desired behavior or they correspond to activities or jobs to be carried out by humans as in logistics, applications planning or management of work flows.

The hybrid planning approach developed at this institute and its implementation within the PANDA architecture (Planning and Acting in a Network Decomposition Architecture) are aimed at a real application of that technology. Our research topics are devoted to several challenges arising from that enterprise.

One of our focuses lies on user-centered planning, where plans are generated for a human user. This encompasses planning under uncertainty, fast and user-specific plan generation, plan explanation, plan repair,  interactive planning, plan recognition, and modelling of formally sound planning domains.

Intelligente Handlungsplanung

Intelligente Handlungsplanung befasst sich mit der automatischen Erzeugung strukturierter Anordnungen von Aktionen, deren Ausführung ein vorgegebenes Ziel erreichen soll. Je nach Anwendung können diese Aktionen Operationen sein, die zum Beispiel ein technisches System ausführen muss, um ein gewünschtes Verhalten zu zeigen, oder aber Aufgaben oder Aktivitäten, die zur Durchführung komplexer Vorhaben notwendig sind, beispielsweise in der Logistik, in der Einsatzplanung oder bei der Erstellung von Arbeitsabläufen.

Der am Institut entwickelte hybride Planungsansatz und seine Umsetzung in der Planungsumgebung PANDA zielen auf realistische Anwendungen der Technologie. Die Forschungsarbeiten widmen sich den vielfältigen Herausforderungen, die daraus entstehen.

Ein Schwerpunkt liegt zurzeit auf nutzerzentrierter Planung, in der Handlungspläne für Menschen erstellt werden. Dies umfasst unter anderem Planen unter Unsicherheit, die schnelle Erstellung nutzerspezifischer Handlungspläne, Planerklärung, Planreparatur, interaktives Planen, Planerkennung und die Modellierung formal korrekter Planungsdomänen.

Publikationen in dem Gebiet der Handlungsplanung

Autor


Alle :: A, B, C, E, G, H, K, L, M, N, O, P, R, S, U, V, W
Alle :: Balzer, ... , Behnke, Bercher, Bertrand, ... , Brechmann

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

52.
pdf
Alford, Ron; Bercher, Pascal; Aha, David
Tight Bounds for HTN planning with Task Insertion
Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2015) , Seite 1502--1508.
Herausgeber: AAAI Press,
2015
51.
pdf
Alford, Ron; Bercher, Pascal; Aha, David
Tight Bounds for HTN planning with Task Insertion (Extended Abstract)
Proceedings of the Eighth Annual Symposium on Combinatorial Search (SoCS) , Seite 221--222.
Herausgeber: AAAI Press,
2015
50.
pdf
Alford, Ron; Bercher, Pascal; Aha, David
Tight Bounds for HTN Planning
Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015) , Seite 7--15.
Herausgeber: AAAI Press,
2015
49.
pdf
Behnke, Gregor; Höller, Daniel; Biundo, Susanne
On the Complexity of HTN Plan Verification and its Implications for Plan Recognition
In Ronen Brafman, Carmel Domshlak, Patrik Haslum, Shlomo Zilberstein, Editor, Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015) , Seite 25-33.
Herausgeber: AAAI Press,
2015
48.
pdf
Bercher, Pascal; Richter, Felix; Hörnle, Thilo; Geier, Thomas; Höller, Daniel; Behnke, Gregor; Nothdurft, Florian; Honold, Frank; Minker, Wolfgang; Weber, Michael; Biundo, Susanne
A Planning-based Assistance System for Setting Up a Home Theater
Proceedings of the 29th National Conference on Artificial Intelligence (AAAI 2015) , Seite 4264--4265.
Herausgeber: AAAI Press,
2015
47.
default
Glodek, Michael; Geier, Thomas; Biundo, Susanne; Palm, Günther
A layered architecture for probabilistic complex pattern recognition to detect user preferences
Neural-Symbolic Networks for Cognitive Capacities,
2014
46.
pdf
Bercher, Pascal; Keen, Shawn; Biundo, Susanne
Hybrid Planning Heuristics Based on Task Decomposition Graphs
Proceedings of the Seventh Annual Symposium on Combinatorial Search (SoCS 2014) , Seite 35--43.
Herausgeber: AAAI Press,
2014
45.
pdf
Honold, Frank; Bercher, Pascal; Richter, Felix; Nothdurft, Florian; Geier, Thomas; Barth, Roland; Hörnle, Thilo; Schüssel, Felix; Reuter, Stephan; Rau, Matthias; Bertrand, Gregor; Seegebarth, Bastian; Kurzok, Peter; Schattenberg, Bernd; Minker, Wolfgang; Weber, Michael; Biundo, Susanne
Companion-Technology: Towards User- and Situation-Adaptive Functionality of Technical Systems
10th International Conference on Intelligent Environments (IE 2014) , Seite 378--381.
Herausgeber: IEEE,
2014
44.
pdf
Höller, Daniel; Behnke, Gregor; Bercher, Pascal; Biundo, Susanne
Language Classification of Hierarchical Planning Problems
In Schaub, Torsten and Friedrich, Gerhard and O'Sullivan, Barry, Editor, Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014) Band 263 aus Frontiers in Artificial Intelligence and Applications , Seite 447-452.
Herausgeber: IOS Press, Amsterdam
2014
43.
pdf
Bercher, Pascal; Biundo, Susanne; Geier, Thomas; Hoernle, Thilo; Nothdurft, Florian; Richter, Felix; Schattenberg, Bernd
Plan, Repair, Execute, Explain - How Planning Helps to Assemble your Home Theater
Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014) , Seite 386--394.
Herausgeber: AAAI Press,
2014
Export als: BibTeX, XML

Studentische Abschlussarbeiten in dem Gebiet der Handlungsplanung

Autor


Alle :: B, E, G, H, J, K, M, N, P, S, V, W
Alle :: Bauer, Bolch, Bosch

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

3.
default
Bolch, Claudia
Modellierung von Alltagsunterstützung als hybride Planungsdomäne: eine Fallstudie
Bachelor Thesis
Ulm University,
2012
2.
default
Bauer, Christian
Ein Framework zur nutzerorientierten Erklärung hybrider Pläne
Diploma Thesis
Ulm University,
2011
1.
default
Bosch, Rainer
Theorembeweisen für QBF und die Anwendung zum Planen
Diploma Thesis
Ulm University,
1998
Export als: BibTeX, XML