- Docente: Andrea Omicini
- Crediti formativi: 6
- SSD: ING-INF/05
- Lingua di insegnamento: Inglese
- Moduli: Andrea Omicini (Modulo 1) Roberta Calegari (Modulo 2)
- Modalità didattica: Convenzionale - Lezioni in presenza (Modulo 1) Convenzionale - Lezioni in presenza (Modulo 2)
- Campus: Bologna
- Corso: Laurea Magistrale in Artificial intelligence (cod. 9063)
Conoscenze e abilità da conseguire
Al termine dell'attività formativa, lo studente conosce le fondamenta concettuali e tecniche dei sistemi multi-agente, ed è in grado di modellare sistemi computazionali e sociotecnici complessi in termini di astrazioni orientate agli agenti; costruire sistemi computazionali e sociotecnici complessi usando tecnologie e metodologie orientate agli agenti; progettare e costruire sistemi intelligenti come sistemi multi-agente, integrando le tecniche e i metodi dell'intelligenza artificiale in modo efficace e metodologicamente corretto.
Contenuti
- L'autonomia nei sistemi naturali e artificiali
- Middleware orientato agli agenti per sistemi distribuiti (intelligenti)
- ACL & protocolli; FIPA; JADE
- Modelli per agenti intelligenti e MAS
- teoria dei giochi; agenti intenzionali, BDI; A&A
- Tecnologie per agenti intelligenti e MAS
- Jason, ASTRA, CArtAgO
- Agreement technologies
- semantica; norme; organizzazioni & istituzioni; argomentazione & negoziazione; fiducia & reputazione
- modelli e teorie di coordinazione; Linda & TuCSoN
- Agent-oriented Software Engineering
- GAIA & SODA
- Altri contenuti
- simulazione e MAS; NetLogo, Alchemist
- auto-organizzazione, swarm intelligence e MAS
- logica per MAS
Testi/Bibliografia
La bibliografia è resa disponibile tramite il sito del corso.
Metodi didattici
- Lezioni teoriche in aula con uso di lucidi
- Esempi discussi e costruiti in aula al computer dal docente e da esperti
- Attività di laboratorio
Modalità di verifica e valutazione dell'apprendimento
La verifica dell'apprendimento dei contenuti del corso avviene tramite lo sviluppo di un progetto individuale o di gruppo, che si traduce nella produzione dei più opportuni artefatti, sia documentali sia software.
La prova orale finale consiste nella discussione orale del progetto.
La valutazione finale dipende dal livello e dall'estensione del progetto, dalla qualità degli artefatti documentali e software prodotti, e ovviamente dal livello di conoscenza dei temi del corso dimostrato durante la discussione finale.
Strumenti a supporto della didattica
- Sito web del docente
- Pagina web del corso con PDF dei lucidi, altro materiale e link utili
Link ad altre eventuali informazioni
http://apice.unibo.it/xwiki/bin/view/Courses/Sma
Orario di ricevimento
Consulta il sito web di Andrea Omicini
Consulta il sito web di Roberta Calegari
SDGs
L'insegnamento contribuisce al perseguimento degli Obiettivi di Sviluppo Sostenibile dell'Agenda 2030 dell'ONU.