Zur Merkliste hinzufügen
Zurück

 

45400-01 - Vorlesung: Planning and Optimization 8 KP

Semester Herbstsemester 2019
Angebotsmuster Jedes Herbstsemester
Dozierende Malte Helmert (malte.helmert@unibas.ch, BeurteilerIn)
Thomas Keller (tho.keller@unibas.ch)
Inhalt The course provides an introduction to the theory and algorithms for automated planning, with an emphasis on classical and probabilistic planning. Automated planning is concerned with determining a sequence of actions or policy that transforms a given initial state into a desirable state in a very large state space. Topics covered include: planning formalisms and normal forms; progression and regression; computational complexity of planning; heuristics for classical planning based on delete relaxation, abstraction, landmarks, critical paths and network flows; formal relationships between heuristics; probabilistic planning via dynamic programming, heuristic search and Monte-Carlo tree 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 courses "Theory of Computer Science" (10948) and "Foundations of Artificial Intelligence" (13548) is assumed, in particular the topics of propositional logic and NP-completeness from the theory course and the topic of state-space search from the AI course. Students who have not previously passed the prerequisite courses 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 of these topics, 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.dmi.unibas.ch/
Unterrichtssprache Englisch
Einsatz digitaler Medien Online-Angebot obligatorisch
HörerInnen willkommen

 

Intervall wöchentlich
Datum 23.09.2019 – 18.12.2019
Zeit Montag, 14.15-16.00 Spiegelgasse 1, Seminarraum 00.003
Mittwoch, 14.15-16.00 Spiegelgasse 1, Seminarraum 00.003
Datum Zeit Raum
Montag 23.09.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Mittwoch 25.09.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Montag 30.09.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Mittwoch 02.10.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Montag 07.10.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Mittwoch 09.10.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Montag 14.10.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Mittwoch 16.10.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Montag 21.10.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Mittwoch 23.10.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Montag 28.10.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Mittwoch 30.10.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Montag 04.11.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Mittwoch 06.11.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Montag 11.11.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Mittwoch 13.11.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Montag 18.11.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Mittwoch 20.11.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Montag 25.11.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Mittwoch 27.11.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Montag 02.12.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Mittwoch 04.12.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Montag 09.12.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Mittwoch 11.12.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Montag 16.12.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Mittwoch 18.12.2019 14.15-16.00 Uhr Spiegelgasse 1, Seminarraum 00.003
Module Doktorat Informatik: Empfehlungen (Promotionsfach Informatik)
Modul: Applications of Distributed Systems (Masterstudium: Computer Science)
Modul: Concepts of Machine Intelligence (Masterstudium: Computer Science)
Modul: Concepts of Machine Intelligence (Master Studienfach Computer Science)
Leistungsüberprüfung Lehrveranst.-begleitend
Hinweise zur Leistungsüberprüfung Written examination
Expected Date: Monday, 27 January, 14:00-16:00 (to be confirmed)
Room: to be announced

Marked homework exercises will be handed out in order to support and assess the learning progress. To qualify for the written 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 written examination.
An-/Abmeldung zur Leistungsüberprüfung An-/Abmelden: Belegen resp. Stornieren der Belegung via MOnA
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

Zurück