Planning and reasoning

Lecturer: Paolo Liberatore
Year: 2021/2022

Notes

• Attending the lectures
• the lecture on Thursday, October 28, will start at 13:00

Program

• planning:
  • the planning problem
  • planning languages
  • heuristics search
  • domain-independent heuristics
  • non-deterministic planning
  • planning by translation
  • preference-based planning
  • planning portfolio
  suggested book: Automated Planning: Theory & Practice by Malik Ghallab, Dana Nau, Paolo Traverso

• automated reasoning:
  • incomplete methods: GSAT and unit propagation
  • DPLL
  • propositional tableau
  • first-order logic tableaux: ground and with unification
  • modal logics and tableau for modal logics
  • LTL, model checking and symbolic model checking
  • propositional natural deduction and first-order natural deduction
  • Hilbert systems
• 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.