Intelligenza Artificiale, Sistemi Intelligenti e Sistemi Multi Agente

Abstract

Il programma di ricerca: Intelligenza Artificiale, Sistemi Intelligenti e Sistemi Multi Agente ha l'obiettivo di avanzare lo stato dell'arte delle aree di ricerca descritte nel titolo, sia dal punto di visto teorico che pratico, cioè nell'Intelligenza Artificale, nei Sistemi Intelligenti e Multi Agente ed oltre, ad esempio Informatica Teorica e Metodi Formali.

L'obiettivo è raggiunto, dal punto di vista teorico, attraverso la definizione, modellazione, implementazione, ottimizazzione, testing e dimostrazione di proprietà teoriche di metodi innovativi per la risoluzione dei più importanti problemi di ricerca nelle aree sopra descritte e, dal punto di vista pratico, applicando i metodi proposti per risolvere problemi reali derivanti da applicazioni quali Beni Culturali, Sicurezza di Sistemi Critici, Logistica, Sicurezza Informatica, Robotica Cognitiva. Inoltre, il programma di ricerca sfrutta, oltre che le profonde conoscenze dei partecipanti, la sinergia tra ricerca e didattica, e le collaborazioni con Università, centri di ricerca ed industrie, sia nazionali che internazionali.

Keyword ERC

PE6.7 Artificial Intelligence, Intelligent Systems, Multi Agent Systems
PE6.4 Theoretical Computer Science, Formal Methods

Altre keyword

Modellazione e verifica, Pianificazione automatica, Procedure di decisione e loro integrazione, Programmazione logica e logica computazionale, Ragionamento automatico, Rappresentazione della conoscenza, Risoluzione e programmazione a vincoli

Campi applicativi

Beni culturali e conservazione del patrimonio culturale
Logistica integrata
Robotica cognitiva
Sicurezza informatica
Sistemi embedded e safety-critical

Torna ai programmi di ricerca

Sei qui: Home

Questo sito usa i cookie.