BeTrusty mira a sviluppare algoritmi di apprendimento affidabili in grado di operare in modo sicuro ed efficace in applicazioni del mondo reale. Il progetto affronta alcune delle principali limitazioni dell’apprendimento per rinforzo (reinforcement learning), sviluppando metodi per la cooperazione multi-agente basati su azioni ad alto livello e tecniche di verifica formale per fornire garanzie di sicurezza durante l’apprendimento e l’utilizzo degli agenti. I metodi sviluppati saranno integrati in un framework unitario per il reinforcement learning affidabile e validati in due domini applicativi: la robotica per magazzini autonomi e la gestione delle reti elettriche.
| Aree di ricerca coinvolte dal progetto | |
|---|---|
|
Intelligenza Artificiale
Distributed artificial intelligence (DI) |
|
|
Ingegneria del Software e Verifica Formale
Distributed artificial intelligence (DI) |
|
******** CSS e script comuni siti DOL - frase 9957 ********