Reasoning Agents (3 CFU)
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
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.
Course taught from April 21 to May 27, 2022.
Lectures will take place according to the following schedule:
- Thu 13.00-17.00, room A2 (DIAG)
- Fri 15.00-17.00, room A2 (DIAG)
Lectures will be given in presence and can be attended online
All information about access to Sapienza buldings can be found
Teacher-student communication will take place on
(registration code: wxva7ms).
Modeling world dynamics: Transition Systems.
Checking dynamic properties.
CTL Model Checking, Fixpoints.
Planning in deterministic and nondeterministic domains.
Planning for reachability goals in deterministic domains.
Planning for reachability goals in nondeterministic domains.
Synthesis for LTLf and LDLf goals.
Linear-time Temporal Logic (LTL).
LTLf and LDLf on finite traces, LTLf and LDLf goals.
DFAs for LTLf/LDLf formulas.
Planning for LTLf and LDLf goals.
- April 14 2022: course starts on April 21
Introduction. Transition Systems.|
Computation Tree Logic (CTL) - introduction.
Computation Tree Logic (CTL).
CTL Model Checking.
CTL Model Checking.
Finite-state automata (introduction).
Linear-time temporal logics on finite traces (LTLf/LDLf).
Planning for LTLf/LDLf.
Seminar (Dr. Alessandro Trapasso):
The AIPlan4EU Unified Planning Framework
Seminar (Dr. Francesco Fuggitti):
Planning for LTLf/LDLf goals.
End of course.
The exam consists in 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.
Please check Infostud and Classroom for details.