Planning and reasoning
Lecturer: Paolo Liberatore
Year: 2021/2022
Notes
Program
- planning:
suggested book:
Automated Planning: Theory & Practice
by Malik Ghallab, Dana Nau, Paolo Traverso
- automated reasoning:
- constraint satisfaction
- belief revision
Final project and exam
Students need to complete a project on one of the two parts of the program
(automated planning or automated reasoning) and pass a test on the other.
Currently, the test is by an homework assigment.
The project may be:
- an essay on some research topic;
examples: deontic logic; preference-based planning;
students may propose a topic of their choice,
if related to either automated reasoning or planning
- a program that is related to automated reasoning or automated planning;
example: write a program that searches for propositional formulae that are
as short as possible but still difficult for GSAT;
another example: write a system for planning the download and installation
of Linux packages;
- a mix of the two, with a scientific literature search followed by
the development of a program that improves or uses it
In all cases a report is expected.
Student may propose their own projects, and are actually encouraged to do so
especially regarding solution of realistic problems. Otherwise, students may
develop a project as in the list of example project
Either way, the project subject to a previous approval from the professor.