20810264 - Pianificazione Automatica

The course presents Artificial Intelligence planning problems. It introduces models and resolution techniques for both "classic" and temporal planning, involving scheduling aspects. Different methodologies for the synthesis of action plans and their execution will be presented, as well as aspects related to automated learning of classical planning domains. Furthermore, some applications and samples will be presented and discussed, also in relation to the control of autonomous robots

Curriculum

teacher profile | teaching materials

Programme

- Basic concepts
- Modeling
- Solving approaches
- State-space planning
- Plan-space planning
- Planning graph
- Planning & Heuristics
- Planning with Control rules
- HTN Planning
- Temporal Planning
- Exercises with PDDL

Core Documentation

- Slides of lectures
- Automated Planning: Theory and Practice. Ghallab, Nau, Traverso. Morgan Kaufmann Publishers, May 2004, 663 pages. ISBN 1-55860-856-7

Reference Bibliography

Automated Planning: Theory and Practice. Ghallab, Nau, Traverso. Morgan Kaufmann Publishers, May 2004, 663 pages. ISBN 1-55860-856-7

Type of delivery of the course

The course is "in presence" at the University. Students may follow also through MS Teams.

Attendance

Not mandatory

Type of evaluation

There will be three intermediate tests. Alternatively, there will be a written exam.

teacher profile | teaching materials

Mutuazione: 20810264 Pianificazione Automatica in Ingegneria informatica LM-32 ORLANDINI ANDREA

Programme

- Basic concepts
- Modeling
- Solving approaches
- State-space planning
- Plan-space planning
- Planning graph
- Planning & Heuristics
- Planning with Control rules
- HTN Planning
- Temporal Planning
- Exercises with PDDL

Core Documentation

- Slides of lectures
- Automated Planning: Theory and Practice. Ghallab, Nau, Traverso. Morgan Kaufmann Publishers, May 2004, 663 pages. ISBN 1-55860-856-7

Reference Bibliography

Automated Planning: Theory and Practice. Ghallab, Nau, Traverso. Morgan Kaufmann Publishers, May 2004, 663 pages. ISBN 1-55860-856-7

Type of delivery of the course

The course is "in presence" at the University. Students may follow also through MS Teams.

Attendance

Not mandatory

Type of evaluation

There will be three intermediate tests. Alternatively, there will be a written exam.