Courses for Exchange Students (ECTS) 2018/2019
|
|
Computer Science, Planning and Scheduling, Second Cycle |
| Spring week 14 (2019) - 23 (2019) | CANCELLED | Appl.code: 51103 |
|
Part-time, daytime class |
|
ECTS credits: 7.5 |
|
Level of education: Second Cycle (master level) |
|
Level: A1N |
|
Prerequisites: First-cycle degree of 180 credits, with Computer Science as the main field of study, and at least 15 credits in mathematics (analysis and algebra). The applicant must also have qualifications corresponding to the course "English B" or "English 6" from the Swedish Upper Secondary School.
OR First-cycle degree of 180 credits, and at least 30 credits in mathematics (analysis and algebra), as well as at least 15 credits in Computer Science or Informatics (which includes programming). The applicant must also have qualifications corresponding to the course "English B" or "English 6" from the Swedish Upper Secondary School. |
| Content: In many application domains, from logistics to autonomous service robots, artificial decision making systems must reason about time and resources. They must decide which actions to execute in order to achieve goals, and these actions may require interacting or moving in the real world in non-trivial ways. This course provides the fundamentals of temporal reasoning, motion planning, task planning, and scheduling. Course contents include classical planning, the STRIPS algorithm and its representation formalism, planning as search, Graphplan and planning as boolean satisfiability, planning under uncertainty, motion planning, lattice based approaches, constraint-based temporal reasoning, constraint- based resource scheduling. |
| Teaching Methods: Teaching is given in the form of seminars. |
| Assessment: Written examination. |
| Course Coordinator: Martin Magnusson |
| Course Syllabus: Spring 2019 |
| School: School of Science and Technology |