Automated planning2006VT
|
|
Course plan
Lectures
Recommended for
Doctoral students in computer science.
The course was last given
new course
Goals
The course aims at giving students a good understanding of modern planning techniques and the kind of problems they address. Planning is an area which has witnessed a lot of progress the last decade, and which now has reached a level of maturity where it beings to being applicable to real-world problems such as manufacturing and mobile robotics.
Prerequisites
CUGS "Artificial intelligence" core course or equivalent
and
CUGS "Computation II" core course or equivalent
and
CUGS "Knowledge Representation" core course or equivalent
Contents
* Review of planning concepts: planning representations, state-space and
plan-space planning, complexity, planning graphs
* Techniques from other areas: satisfiability and constraint satisfaction
* Temporal planning
* Integrated planning and scheduling
* Planning under uncertainty: model-checking techniques
* Planning applications
Organization
Three meetings in Örebro with lectures and discussions, during Spring 2006. Precise dates to be announced later.
Literature
M. Ghallab, D. Nau and P. Traverso. Automated planning: theory and practice. Morgan Kauffmann, 2004. ISBN: 1-55860-856-7
Lecturers
Lars Karlsson
Examiner
Lars Karlsson
Examination
Assignments, paper review.
Credit
3,0 points
Organized by
Department of Technology, Örebro University
Comments
Related courses
* Artificial intelligence
* Introduction to Markov Decision Processes
Page responsible: Director of Graduate Studies