Develop and present:

• a planning model in PDDL, tested with the planners studied in the course.

• an action theory and high-level programs in Situation Calculus and IndiGolog.

Steps

1. Prepare and submit your project’s proposal via the Google Form. It must include:

   1. Group members (min 2 – max 3 students).

   2. Description (in English) of:

      1. The chosen domain. The project must solve a realistic problem of comparable complexity to those discussed in lectures.

      2. The problem instances to solve with PDDL planning.

      3. The planners and the search heuristics you intend to use.

      4. The controller(s) to implement and the reasoning tasks to solve in IndiGolog.

2. Wait for the instructors’ approval before starting the implementation.

3. Specify a planning domain and at least three planning problems in PDDL of increasing complexity, relying (if needed) on the features provided by ADL.

   1. Solve the planning specification using one of the many PDDL planners from International Planning Competitions. We suggest using Fast-Downward, ENHSP, or planning.domains for your experiments.

   2. Test your solution using at least two search heuristics, preferably among the ones investigated during 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 give up on some ADL features, requiring you to "downgrade" your planning specification towards a STRIPS-like formulation.

4. Formulate the problem in Situation Calculus and IndiGolog.

   1. Write one (or more) controller(s) for the main logic underlying your action theory.

   2. Show a series of reasoning tasks (i.e., projection and legality) to be solved using the interpreter.

5. Prepare a deck of slides covering all the project's steps.

6. Submit all the project's material in the Google Classroom assignment that will be opened for the ordinary exam session in which you plan to present.

7. Present the project in an ordinary exam session.

Rules

1. Projects must be carried out in groups of min 2 – max 3 students.

2. A proposal (in PDF via the Google Form) must be submitted and approved at least 3 weeks before the exam session in which you want to present your project.

3. The approval takes up to 2 weeks, so plan accordingly.

4. Some details can change while working on the project. If you make some modifications 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.

5. The two components (PDDL and Situation Calculus + IndiGolog) do not need to correspond exactly: since the languages have different purposes and expressiveness, the problem description may need to be adapted. Any such adaptations must be justified in the final presentation.

6. Project presentations take place on the same day as the (ordinary) written exam (unless otherwise specified), and each group member has to present.

7. Presentations must include slides and cover all the project steps.

Some student projects 2024-25 (PDDL + IndiGolog)

Some previous student projects (related only to PDDL planning)