Sommario:
L'obiettivo di AIMS è far progredire lo stato dell'arte nei campi dell'Informatica e dell'Ingegneria Informatica con particolare attenzione alle tecniche di Intelligenza Artificiale, ai Sistemi Multi-Agente (MAS) e alle loro applicazioni. La nostra ricerca riguarda la progettazione e l'implementazione di metodi innovativi, per risolvere problemi ingegneristici cruciali in settori quali i Sistemi Robotici ed Autonomi, la Progettazione Meccanica, la Verifica e il Ragionamento, i Sistemi Software e Sistemi Ciber-Fisici, con un'enfasi su metodi basati sulla logica applicabili a questi contesti. Siamo inoltre interessati alla modellazione, alla verifica, alla prototipazione rapida e allo sviluppo di strumenti per MAS, basati principalmente sulla logica computazionale e su linguaggi ad agenti e tecnologie dichiarativi.

Sottolinee:

Ragionamento Automatico: pianificazione, schedulazione, progettazione e configurazione

Strumenti Automatici per l’Ingegneria del Software: analisi dei requisiti e generazione di test

Sistemi Intelligenti basati su Big Data: integrazione, riparazione e risposta consistente a interrogazioni su dati

Metodi Formali: simulazione e verifica di sistemi ciber-fisici, verifica di apprendimento computazionale

Sistemi Multi-agente: ingegnerizzazione e relazione tra agenti e web semantico

Settore ERC:
PE6_7 Intelligenza Artificiale, Sistemi Intelligenti, Sistemi Multi-Agente

Parole Chiave: Ragionamento Automatico, Strumenti Automatici per l’Ingegneria del Software; Sistemi Intelligenti basati su Big Data; Metodi Formali; Sistemi Multi-agente;

Referente: Armando Tacchella