Salta al contenuto principale
CODICE 104731
ANNO ACCADEMICO 2023/2024
CFU
SETTORE SCIENTIFICO DISCIPLINARE ING-INF/05
LINGUA Inglese
SEDE
  • GENOVA
PERIODO 2° Semestre
MATERIALE DIDATTICO AULAWEB

PRESENTAZIONE

Artificial Intelligence for Robotics II (AI4RO2) describes advanced concepts, methods and techniques at the intersection between Artificial Intelligence (AI) and Robotics. The aim of the subject is to provide future scholars and professionals with conceptual tools and practical knowledge about how to integrate cutting-edge AI techniques in robot software architectures, and to guide future engineers about how to do so. The subject presents real-world, advanced scenarios, e.g., autonomous vehicles, collaborative robots, assistive robots.

OBIETTIVI E CONTENUTI

OBIETTIVI FORMATIVI

Artificial Intelligence for Robotics 2 is the logic follow-up of Artificial Intelligence for Robotics 1. In this course, the students will be introduced to concepts related to knowledge representation and reasoning (ontologies, description logics, OWL, subsumption, instance checking), planning for hybrid domains (with a particular focus on discrete/continuous domains), as well as AI-based robot motion algorithms (es., RRTs, probabilistic roadmaps, belief-space planning).

OBIETTIVI FORMATIVI (DETTAGLIO) E RISULTATI DI APPRENDIMENTO

The main objective of Artificial Intelligence for Robotics II (AI4RO2) is to provide students and scholars with methodological approaches and pragmatic knowledge about how to integrate advanced AI techniques in robot architectures to make them capable of operating in real-world environments in a robust way.

As robots are deployed in scenarios progressively more unstructured, and in conditions whereby their behaviour cannot be easily foreseen in advance, the degree of intelligence they must be provided with becomes of critical importance. Encoding advanced AI algorithms in robots operating in such conditions requires a careful trade-off between their expected capabilities and the associated computational requirements. The problem of defining an AI-based robot architecture requires:

./ identifying the proper representation level of sensory information, and its use to guide robot behaviour;
./ selecting the most adequate representation approaches to combine sensory information and robot knowledge, which take into account efficiency, computational load, and usability;
./ integrating algorithms able to operate on such represented information according to various reasoning approaches, e.g., induction, deduction, abduction;
./ connecting the reasoning layer with action-oriented robot motion strategies, which are robust to unforeseen sensory data and events.

AI4RO2 will provide a reasoned treatment of current, state‐of‐the‐art AI-backed perception, cognition, knowledge representation, reasoning, and action approaches, as well as a critical discussion about typical scenarios, use cases, and solutions.

PREREQUISITI

  • Robotics Engineering course: Artificial Intelligence for Robotics I
  • Advanced knowledge of C/C++.
  • Basic knowledge of Java or Python may be helpful.

MODALITA' DIDATTICHE

AI4RO2 is organized in four key topics. Each topic will be taught via theoretical concepts followed by practical work. Students are strongly encouraged to propose novel solutions to specific practical problems, which originate from real-world research challenges or industrial needs.

PROGRAMMA/CONTENUTO


    Introduction to the course
    Differences and extensions with respect to AI4Ro1

TOPIC 2: Knowledge representation and reasoning:

    Knowledge bases and ontologies, the Ontology Web Language (OWL)
    Description Logic and its extensions
    Reasoning in ontologies: subsumption, instance checking, rules.

Practice classes focused on TOPIC 2.

TOPIC 3: Planning in discrete/continuous domains:

    Recap on STRIPS-based planning
    Using classical planners for tasks with continuous operators in robot tasks
    Introduction to PDDL+: syntax and semantics
    Semantic attachments
    Combined task and motion planning

Practice classes focused on TOPIC 3.

TOPIC 4: AI-based robot perception and motion algorithms:

    Probabilistic and quantum-like robot perception models
    Probabilistic motion models
    Belief-space planning

Practice classes focused on TOPIC 4.

TESTI/BIBLIOGRAFIA

Relevant material will be given by the teachers and the instructors during the lectures.

DOCENTI E COMMISSIONI

Commissione d'esame

FULVIO MASTROGIOVANNI (Presidente)

ENRICO GIUNCHIGLIA

ARMANDO TACCHELLA (Presidente Supplente)

LEZIONI

Orari delle lezioni

L'orario di questo insegnamento è consultabile all'indirizzo: Portale EasyAcademy

ESAMI

MODALITA' D'ESAME

The AI4RO2 final mark is based on assignments. Assignments work as follows:

./ at the beginning of the semester, a number of assignments are proposed;
./ students, self-organized in groups of up to 5 people, bid on assignments; each group is required to express 3 ordered preferences;
./ we'll try to satisfy the preferences at best and allocate assignments to groups accordingly;
./ at that point, work on assignments can start.


Please note that:

./ EMARO-wannabe and JEMARO students have a strict deadline to complete their assignment;
./ Ph.D. students attending the course can propose a topic on their own, agreed with us, as an assignment, and do not have any specific deadline.

Properly carrying out an assignment means providing:

1/ an appropriate sketch of the solution the group will aim at designing and developing;
2/ a (possibly working, maybe with limitations) solution to the given problem;
3/ properly commented code (in a specific format) and, where appropriate, a tutorial;
4/ a video showing how the developed solution works

MODALITA' DI ACCERTAMENTO

The overall grade will be determined on the basis of:

./ the exhibited group's capability in applying the notions and insights discussed during the classes in the assignments;
./ the "quality" of the provided documentation about the work done in the assignments.

Calendario appelli

Dati Ora Luogo Tipologia Note
15/02/2024 09:00 GENOVA Esame su appuntamento
13/09/2024 09:00 GENOVA Esame su appuntamento

ALTRE INFORMAZIONI

Follow-ups:

./ for successful assignments, we typically encourage students to co-author a scientific paper for Robotics-related conferences;
./ for EMARO-wannabe/JEMARO students, a few assignments can be continued as possible MSc thesis topics.