First Session (January 2025)
Written exam: 28/01/2025 at 8:00 in Room A5 @ DIAG
Reservation period: From 13/12/2024 to 24/01/2025 on Infostud
Project discussion: 12/01/2025 at 10:30 in Room B101 @ DIAG
Second Session (February 2025)
Written exam: 24/02/2025 at 14:00 in Room B2 @ DIAG
Reservation period: From 28/01/2025 to 20/02/2025 on Infostud
Project discussion: 13/03/2025 at 14:00 in Room B101 @ DIAG
Reservation period: From 13/01/2025 to 11/03/2025 on Classroom
Third Session (March/April 2025)
Written exam: 18/03/2025 at 14:00 in Room A3 @ DIAG
Reservation period: From 06/03/2025 to 15/03/2025 on Infostud
Fourth Session (June 2025)
Written exam: 04/06/2025 at 08:00 in Room A4 @ DIAG
Reservation period: From 09/05/2025 to 31/05/2025 on Infostud
Project discussion: TBD
Reservation period: TBD
Fifth Session (July 2025)
Written exam: 09/07/2025 at 08:00 in Room A2 @ DIAG
Reservation period: From 05/06/2025 to 05/07/2025 on Infostud
Project discussion: TBD
Reservation period: TBD
Sixth Session (September 2025)
Written exam: TBD
Reservation period: TBD
Project discussion: TBD
Reservation period: TBD
Seventh Session (October/November 2025)
Written exam: TBD
Reservation period: TBD
Project discussion: TBD
Reservation period: TBD
The exam consists of 2 parts:
A project (max 3 people)
A written examination (2h)
The final mark of the exam is obtained as a weighted average of the two parts (project: 1/3, written exam: 2/3) and will be registered only when both parts have been passed. The mark for each part will be valid for the entire A.Y., until the last session of October/November 2025, included. After then, all marks will be cleared.
Projects
P&R projects consist in developing:
a planning model in PDDL and implementing it through one of the planning systems investigated during the course;
a theory of actions specified using Situation Calculus and Golog-based languages with Prolog.
The model should be able to solve a realistic problem. Student may propose their own problems following the instructions on Google Classroom, and are actually encouraged to do so. Projects must be discussed and approved by the teacher before being submitted and presented.
Proposing and working on a project
The project consists of the following steps:
Define a realistic problem (with similar complexity to the ones analyzed during the lectures) in natural language to be solved using PDDL planning and Situation Calculus.
Specify a planning domain and at least three planning problems in PDDL of increasing complexity relying (if needed) on the features provided by ADL.
Solve the planning specification using one of the many PDDL planners from international planning competitions. These include sequential satisficing (non-optimizing) planners, sequential optimizing planners, numeric planners and other types of planners. We suggest using Fast-Downward, ENHSP or Planning.Domains for your experiments.
Test your solution using at least two search heuristics, preferably among the ones investigated in the range of the course. Note that only a few heuristics (for example, the BLIND heuristic of Fast Downward) fully support ADL and conditional effects. Therefore, changing the heuristics may force you to renounce to some ADL features, requiring you to "downgrade" your planning specification towards a STRIPS-like formulation.
Formulate the problem through Situation Calculus and IndiGolog using the SWI-Prolog interpreter.
Identify at least three reasoning tasks to be solved using the interpreter.
Project rules
Projects can be done individually or in a group of a maximum of 3 people.
You have to submit a project proposal as a PDF via this Google Form. In the project proposal, indicate the group's composition and the proposal content. In the content specify all the details about your project, namely:
the domain chosen described in natural language;
the three instances of the problem that you want to solve with PDDL planning;
the planners you intend to use;
the search heuristics that you want to use.
the three reasoning tasks you want to solve with IndiGolog using the SWI-Prolog interpreter.
It may be that some details will change while you are working on the project. If you do some changes to the original proposal you have to discuss them at the presentation. We expect at least the domain chosen and the problem instances to remain the same.
After submitting your proposal, wait for your project to be accepted (you will receive a notification via email). This usually takes up to two weeks (so plan the session in which you want to discuss the project ahead of time).
If the project proposal is accepted, you can start working on that. If rejected, do not worry; we will suggest how to modify your idea to make it suitable for a project.
The project presentation will be given on selected dates (usually close to the exam dates) defined by the professors. Each group will have to present the project.
The presentation must be supported using slides. It should be targeted to explain the rationale behind the reasoning tasks under investigation and the PDDL planning specification, and discuss the (potentially) different results obtained by applying the three selected search heuristics.