Seminar
Jörg Hoffmann
Max-Planck-Institut für Informatik
Programming Logics Group
Room 616, Phone 9325-216
Email: hoffmann@mpi-sb.mpg.de
The field of Automated Planning is concerned with developing systems that can, fully automatically, generate solution paths to declaratively specified transition systems. A typical application is the control loop in an autonomous robot. The seminar will cover the most important papers/systems in that area from the early 90s until today. Basic knowledge in CS and AI is required, knowledge in Planning would be good but isn't life-necessary. Most of the considered systems treat the "STRIPS" formalism; that can be looked up in, e.g., the book by Russel and Norvig, "Artificial Intelligence: A Modern Approach".
Every participant of the Seminar will have to give a (approx.) 30 minutes talk plus 15 minutes discussion, and prepare a 5-page (lncs style, i.e., single-column format) summary of his/her talk. The talks will be given in one block, on July 21 and July 22. The summary has to be delivered by October 15, 2005.