AI Planning Prof. Dr. Jörg Hoffmann Advanced Lecture (9 CP), Winter Semester 2020

News

19.01.2021

Evaluation of the AI Planning course

Dear students,

the links for the course evaluation are now available on the "Materials" page in CMS (one for the lecture, one for the tutorial). Evaluation is possible until January 29.

Best,
Daniel

19.01.2021

Paper Exercise

Dear students,

The new paper exercise is available in CMS.

Best,
Daniel

12.01.2021

Planning Competition Rules

We just published the rules for the competition in the CMS.

Don't miss the opportunity to submit your planner.
The deadline is the 31. of January.

Best,
Rebecca

05.01.2021

Paper Exercise

Dear students,

The new paper exercise is available in CMS.

Best,
Daniel

04.01.2021

Points for the h^ff/h^2 projects

Dear students,

your points should be in CMS. As always, check we didn't make any mistake, and let us know if you want to discuss anything either during office hours or via danfis@cs.uni-saarland.de.

When grading the ff heuristic, we subtracted 1 point for... Read more

Dear students,

your points should be in CMS. As always, check we didn't make any mistake, and let us know if you want to discuss anything either during office hours or via danfis@cs.uni-saarland.de.

When grading the ff heuristic, we subtracted 1 point for every two problems not solved by your solution, but solved by the reference. All successful submissions for h^2 got full points.

Best

   Dan Fiser

09.12.2020

Points for the h^max/h^add project

Dear students,

your points for the second project should be in CMS, please check that we didn't make any mistake, and let us know (at danfis@cs.uni-saarland.de) if we did.

When grading your submissions, we (i) subtracted one point for every problem that was... Read more

Dear students,

your points for the second project should be in CMS, please check that we didn't make any mistake, and let us know (at danfis@cs.uni-saarland.de) if we did.

When grading your submissions, we (i) subtracted one point for every problem that was solved by the reference solver, but not yours; (ii) subtracted couple points for small bugs; (iii) assigned zero points for completely incorrect solution; (iv) added 10 points for the "counter-based" implementation.

If you want to discuss your solution or grading, then come to the office hours (or let us know via email).

Best

   Dan Fiser

09.12.2020

Project Groups

Dear students,

We have extended the deadline to team up for the projects till Friday (December 11th).

If you want to form a group, add the other group members to one of your repositories, and send a mail to Daniel Fišer (danfis@cs.uni-saarland.de) with the... Read more

Dear students,

We have extended the deadline to team up for the projects till Friday (December 11th).

If you want to form a group, add the other group members to one of your repositories, and send a mail to Daniel Fišer (danfis@cs.uni-saarland.de) with the link to the repository you want to use and the list of group members. We highly encourage you to do so, as the remaining projects will be more difficult and complex than the first ones. Feel free to use the forum if you are still looking for team members.

Best,
Daniel Höller

07.12.2020

Project Groups Reminder

This is a reminder that the deadline to team up for the projects is coming up tonight. If you want to form a group, add the other group members to one of your repositories, and send a mail to Daniel Fišer (danfis@cs.uni-saarland.de) with the link to the repository... Read more

This is a reminder that the deadline to team up for the projects is coming up tonight. If you want to form a group, add the other group members to one of your repositories, and send a mail to Daniel Fišer (danfis@cs.uni-saarland.de) with the link to the repository you want to use and the list of group members. We highly encourage you to do so, as the remaining projects will be more difficult and complex than the first ones. Feel free to use the forum if you are still looking for team members.

02.12.2020

Paper Exercise

Dear students,

The new  paper exercise is available in CMS.

Best,
Daniel

25.11.2020

Points for the goal-count project

Dear students,

I just put your points for the first (mandatory) project in CMS. Please check that you received your points and contact me directly at danfis@cs.uni-saarland.de if you didn't get 5 points even though you should.

Best,

   Dan Fiser

19.11.2020

Fix for python >=3.8

Dear students,
some of you had a problem running the Fast Downward planner with python >=3.8.
We fixed this issue in the base repository. So, you can merge the fix using git:

  git remote add base... Read more

Dear students,
some of you had a problem running the Fast Downward planner with python >=3.8.
We fixed this issue in the base repository. So, you can merge the fix using git:

  git remote add base git@gitlab.cs.uni-saarland.de:ai-planning-20-21/fast-downward.git
  git remote update
  git merge base/master

If you didn't have this problem, you don't need to merge.

Best regards,
   Dan Fiser

18.11.2020

Exam registration in HISPOS for Computer Science exams

Dear students,

Please carefully read the following information from Evelyn Kraska.

All the best,
Daniel

 

Dear Lecturers of the winter semester 2020/21,

All students are  asked to register for the exams for the winter semester 2020/21. Exam... Read more

Dear students,

Please carefully read the following information from Evelyn Kraska.

All the best,
Daniel

 

Dear Lecturers of the winter semester 2020/21,

All students are  asked to register for the exams for the winter semester 2020/21. Exam registration or a withdrawal is possible until one week before the main exam or the re-exam. A subsequent exam registration by the study coordination is only possible in justified exceptions.
*
*Registration for exams is possible from approx. beginning of December

*Seminars:*
For (pro)seminars, registration or cancellation is possible up to three weeks after the topic assignment or kick-off meeting.


Please remind your students of the exam registration.

In case of problems wih the exam registration the students (Informatik, Medieninformatik, CuK, Visual Computing, Cybersicherheit, DSAI, Promotion vorb.)  should contact:
studium@cs.uni-saarland.de

Other students have to contact their examination office.

These students are *not* able to register in HISPOS:

Wirtschaftsinformatiker (Business Informatics)
Erasmusstudents
guest students
Bachelor/Master DSAI (not at the moment)

to some extent students from other course of studies

*Currently the following students cannot register in HISPOS:*

Bachelor of Computer Science, StO 2020
Bachelor Cyber Security, StO 2020
Bachelor Media Informatics, StO 2020
Bachelor Mathematics and Computer Science, StO 2020
Teacher of computer science, StO 2020

Master Media Informatics, StO 2020
Master Visual Computing, StO 2020

Please let us know the participants of the (pro)seminars of the above mentioned study programs after the end of the course. We will register them in HISPOS as soon as it is possible.

Unfortunately, we do not yet know whether it will be possible to register for exams at the beginning of the exam period. Further information will follow in January.

Thank you.

Best regards,
Evelyn Kraska

18.11.2020

Navigating Gather

Hi all,

just FYI in case it's not clear: (I saw someone in Gather just now who seemed to want to talk to me but then disappeared)

  • I'll be on the stage in the "Lecture Hall" after each lecture.
  • You can actually navigate to any Gather participant by... Read more

Hi all,

just FYI in case it's not clear: (I saw someone in Gather just now who seemed to want to talk to me but then disappeared)

  • I'll be on the stage in the "Lecture Hall" after each lecture.
  • You can actually navigate to any Gather participant by clicking on his/her name on the top right and choosing "locate". This will show you a shortest path to that person.
  • There is no need to come on the stage to talk to me; it is enough to stand within a small radius.
  • Chrome generally works best for Gather.

best,

Jörg

 

17.11.2020

Paper Exercise

Dear students,

The first paper exercise is now available in CMS.

Best,
Daniel

09.11.2020

Programming Projects

The programming projects overview is now online (see course material). In this sheet, you will find all the organizational details regarding the projects (repository setup, nightly tests, grading), as well as a short description for each individual subproject and... Read more

The programming projects overview is now online (see course material). In this sheet, you will find all the organizational details regarding the projects (repository setup, nightly tests, grading), as well as a short description for each individual subproject and their dependencies.

There will be a programming workshop on Thursday November 12th at 2:15pm (see organization page). In the workshop, we will give you a brief overview of the projects you can choose to implement. We will also give you an introduction to the Fast Downward framework with some live coding to prepare you for the projects (in fact, you might already be able to finish the first project in the workshop). Before the workshop, you should have read the projects overview, and have set up your repository so you can follow the live coding in the workshop.

Please use the forums for general questions about the projects. If you have specific questions about your code, you can come to gather.town during the office hours (Thursdays 10am, see organization page) or send a mail to Dan Fišer (danfis@cs.uni-saarland.de).

04.11.2020

New central Gather space

Dear students,

we have, after all, decided to provide a central Gather space for the course:

https://gather.town/app/xzOEC0RRMfqoXtGV/FAI

This space serves for the following functionalities:

  1. Lectures, tutorials, and introductory programming workshop... Read more

Dear students,

we have, after all, decided to provide a central Gather space for the course:

https://gather.town/app/xzOEC0RRMfqoXtGV/FAI

This space serves for the following functionalities:

  1. Lectures, tutorials, and introductory programming workshop wil be in the "Lecture Hall" in the Gather space. Entering that space and pressing 'x' will transfer you to zoom.
  2. The weekly office hours will take place directly in the Gather space, so that students can form groups and tutors can "walk around between" these groups.
  3. The lecturers will be in Gather after the lectures, so you can walk up to them and ask any additional questions you might have.
  4. You may use this space as an online meeting space for students. The Gather space will be always open, and it provides ample space for individual meetings and discussions.

Points 2. and 3. are the reasons for designing the Gather space despite your majority "I don't care" vote in the first lecture. Office hours are more naturally supported in such a space, and the same is true for questions to us after the lecture (of which there were quite a few already). That said, you can still access lectures directly, via the same zoom link as before.

Hope you enjoy the course!

best regards,

Jörg Hoffmann

Show all
 

AI Planning

AI Planning is one of the fundamental sub-areas of Artificial Intelligence, concerned with algorithms that can generate strategies of action for arbitrary autonomous agents in arbitrary environments. The course will address so-called classical planning, where the actions and environment are assumed to be deterministic; this is a central area in planning, and has been the source of many influential ideas. It is also successfully applied in practice, as we will exemplify in the course. We will examine the technical core of the current research on solving this kind of problem. We will consider four different paradigms for automatically generating heuristic functions (lower bound solution cost estimators): critical paths, ignoring delete lists, abstractions, landmarks. Apart from understanding these techniques themselves, we will learn how to analyze, combine, and compare such estimators. We will furthermore consider optimality-preserving pruning techniques based on partial-order reduction, symmetries, and dominance pruning. The course contains many research results from the last decade, close to the current research frontier in planning.

Prerequisites. Ideally, participating students should have successfully completed an introductory course in Artificial Intelligence. However, the course is self-contained and any student with a solid basis in Computer Science -- algorithms, data structures, programming, propositional logic, NP-hardness -- should in principle be able to follow. Prior knowledge about search (the A* algorithm etc) is an advantage. Students who have already passed Automatic Planning in previous years are not allowed to attend the course.



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators