There is a multitude of different planning formalisms. In particular, I'm an expert in Hierarchical Task Network (HTN) planning, and in (non-hierarchical) Partial Order Causal Link (POCL) planning. I offer various topics in both areas, and in further ones, depending on your interest and/or background!
Most of my research is concerned with HTN planning, which is concerned with the step-wise refinement of abstract tasks until a primitive plan is found -- so hierarchical planning is very similar to formal grammars, where an initial non-terminal symbol is refined into a sequence of terminal symbols. The main differences are that (a) primitive tasks (corresponding to terminal symbols) have preconditions and effects, to not every plan is executable and (b) the means to refine compound tasks (which correspond to production rules from formal grammars) are only partially ordered rather than totally as in formal grammars.
I offer various PhD scholarships in the general area of Hierarchical Planning. In case you are interested please contact me and, in case of serious interest, make an appointment.
There are several opportunities to pursue a PhD or research projects (6pts, 12pts, 24pts.) related but not limited to:
- Theoretical investigations related to hierarchical planning, most notably complexity investigations
- Plan generation: Design of novel or improvement of existing planning techniques
- Heuristic search: Development of novel heuristics for hierarchical planning
- Learning models for hierarchical planning
- Human-in-the-loop planning: various problems related to planning for or with humans, such as generating plan explanations, to name just one example
Depend on the concrete topic chosen.
- A solid understanding of theoretical computer science (e.g., of the classes P, NP, NP-complete, etc.) is helpful or even required for most topics, but definitely not for all of them
- Prior knowledge in Classical Planning and/or Artificial Intelligence search (such as A*) will definitely be advantageous, but it's not strictly required
Depends on the concrete topic chosen.
- Complexity Theory
- Artificial Intelligence
- Automated Planning