Reasoning Agents (3 CFU)
General Information
One of the most important goals of Artificial Intelligence
concerns the development of intelligent agents, such as robots,
that are able to deliberate their course of actions.
This course introduces several approaches to
realize this goal, with a particular focus on advanced
forms of automated behaviour synthesis, based on temporal logics and
action theories, in both deterministic and non-deterministic
settings.
Students are encouraged to realize projects which integrate
such high-level forms of reasoning, with state-of-the-art
probabilistic robotics, computer vision,
and machine learning tools.
Lectures
Course taught from April 13 to May 29, 2023.
Schedule:
- Mon 13.00-15.00, Room A4 (DIAG)
- Thu 13.00-17.00, Room A2 (DIAG)
Part of this course will be taught in conjunction with the PhD Course on
Game-Theoretic Approach to Planning and Synthesis
, by
Prof. Giuseppe De Giacomo
Google Classroom
Teacher-student communication will take place on
Google Classroom
(registration code: w6l7tkg).
Student hour
Prof. Patrizi
Prof. De Giacomo
Tentative Program
- Planning in deterministic and nondeterministic domains.
- Planning for reachability goals in deterministic domains.
- Planning for reachability goals in nondeterministic domains.
-
LTLf and LDLf on finite traces, LTLf and LDLf goals.
- DFAs for LTLf/LDLf formulas.
- Planning for LTLf and LDLf goals.
- Anwer Set Programming (ASP). Answer Set Planning.
News
Teaching Material
Slides
For Prof. De Giacomo's slides, please refer to the website of the
PhD Course on
Game-Theoretic Approach to Planning and Synthesis
| Week |
Monday 13.00-15.00 |
Thursday 13.00-17.00 |
| 10-16/04/2023 |
-
|
De Giacomo
|
| 17-23/04/2023 |
De Giacomo
|
De Giacomo
|
| 24-30/04/2023 |
No Lecture
|
De Giacomo
|
| 01-07/05/2023 |
|
De Giacomo
|
| 08-14/05/2023 |
De Giacomo
|
Student Presentations
|
| 15-21/05/2023 |
Student Presentations
|
Student Presentations
|
| 22-28/05/2023 |
|
|
| 29-05/06/2023 |
Course ends.
|
-
|
Exams
Exam format
The exam consists of two parts:
-
Presentation of a paper related to the topics of the course.
The list of papers will be announced during the course.
Every student must present one paper, different from those of
the other students.
-
Implementation of a project, jointly with HRI, where the
techniques studied in the two courses are applied.
Please check Classroom for further details.
Exam dates
Please check Infostud and Classroom for details.