Zurück
| Semester | Herbstsemester 2017 |
| Angebotsmuster | Jedes Herbstsemester |
| Dozierende |
Malte Helmert (malte.helmert@unibas.ch, BeurteilerIn)
Gabriele Röger (gabriele.roeger@unibas.ch) |
| Inhalt | The course provides an introduction to the theory and algorithms for classical planning, with an emphasis on heuristic search methods. Classical planning is concerned with finding action sequences (plans) that transform a given initial state into a state satisfying a goal condition in very large state spaces. Topics covered include: planning formalisms and normal forms; progression and regression; computational complexity of planning; planning heuristics based on delete relaxation, abstraction, critical paths, landmarks and network flows; theoretical connections between planning heuristics and the concept of cost partitioning; symbolic search. |
| Lernziele | The participants get to know the theoretical and algorithmic foundations of action planning as well as their practical implementation. They understand the fundamental concepts underlying modern planning algorithms as well as the theoretical relationships that connect them. They are equipped to understand research papers and conduct projects in this area. |
| Literatur | There is no textbook for the course. The course slides will be made available to the participants, and additional research papers complementing the course materials will be uploaded to the course webpage during the semester. |
| Weblink | course web page |
| Teilnahmebedingungen | Good knowledge in the foundations and core areas of computer science are assumed, in particular algorithms and data structures, complexity theory, mathematical logic and programming. Good knowledge of the contents of the course "Foundations of Artificial Intelligence" (13548) is assumed, in particular the chapters on state-space search. Students who have not previously passed the prerequisite course are strongly advised to learn the necessary material in self-study prior to the beginning of this course. If you are interested in participating in this course but do not yet have strong knowledge on state-space search, we strongly encourage you to contact the lecturers prior to the semester to discuss a possible self-study plan. |
| Anmeldung zur Lehrveranstaltung | Course: https://services.unibas.ch/ Exercises: https://courses.cs.unibas.ch/ |
| Unterrichtssprache | Englisch |
| Einsatz digitaler Medien | Online-Angebot obligatorisch |
| HörerInnen willkommen |
| Intervall | Wochentag | Zeit | Raum |
|---|
Keine Einzeltermine verfügbar, bitte informieren Sie sich direkt bei den Dozierenden.
| Module |
Modul Applications of Distributed Systems (Master Computer Science) Modul Concepts of Machine Intelligence (Master Computer Science) Modul Concepts of Machine Intelligence (Master Studienfach: Computer Science) Modul Kerninformatik (Master Informatik (Studienbeginn vor 01.08.2016)) Modul Kerninformatik (Master Studienfach: Informatik (Studienbeginn vor 01.08.2016)) Modul Praxis aktueller Informatikmethoden (Master Studienfach: Informatik (Studienbeginn vor 01.08.2016)) Wahlbereich Master Informatik: Empfehlungen (Master Informatik (Studienbeginn vor 01.08.2016)) |
| Leistungsüberprüfung | Lehrveranst.-begleitend |
| Hinweise zur Leistungsüberprüfung | Oral examination Dates: Monday, 5 February; Tuesday, 6 February; Wednesday, 7 February Room: Office 06.004 Marked homework exercises will be handed out weekly in order to assess the learning progress. To qualify for the oral examination, students must obtain at least 50% of the total marks from the exercises. Exercise marks do not contribute to the final grade for the course, which is exclusively based on the oral examination. |
| An-/Abmeldung zur Leistungsüberprüfung | Anm.: Belegen Lehrveranstaltung; Abm.: stornieren |
| Wiederholungsprüfung | keine Wiederholungsprüfung |
| Skala | 1-6 0,5 |
| Wiederholtes Belegen | beliebig wiederholbar |
| Zuständige Fakultät | Philosophisch-Naturwissenschaftliche Fakultät, studiendekanat-philnat@unibas.ch |
| Anbietende Organisationseinheit | Fachbereich Informatik |