- Docente: Andrea Omicini
- Crediti formativi: 6
- SSD: ING-INF/05
- Lingua di insegnamento: Italiano
- Modalità didattica: Convenzionale - Lezioni in presenza
- Campus: Cesena
- Corso: Laurea Specialistica in Ingegneria dei sistemi e delle tecnologie dell'informazione (cod. 0236)
Conoscenze e abilità da conseguire
Conoscenze
- Concetto di agente software e sistema multiagente
- Elementi di intelligenza artificiale, principali problematiche e tecniche
- Ruolo delle infrastrutture nell'ingegneria dei sistemi artificiali complessi
- Ruolo dei modelli e delle tecnologie di coordinazione nei sistemi software
- Ruolo e uso della programmazione logica e di Prolog nella costruzione di sistemi intelligenti
- Costruzione di componenti software "intelligenti" con linguaggi dichiarativi (Prolog)
- Progetto e sviluppo di agenti intelligenti
- Progetto e sviluppo di semplici sistemi multiagente distribuiti
- Progetto e sviluppo di astrazioni infrastrutturali che incorporino "intelligenza sociale"
Contenuti
- Generalità sui sistemi intelligenti distribuiti
- Breve storia dell'Intelligenza Artificiale
- Introduzione al concetto di agente
- Generalità su infrastrutture e sistemi multiagente (MAS)
- Il linguaggio Prolog
- Prodromi di Prolog e programmazione logica
- Fondamenti di programmazione Prolog
- Dati e strutture in Prolog
- Controllo backtracking e negazione in Prolog
- Introduzione al sistema tuProlog
- Prolog in ambiente distribuito
- Prolog per sistemi intelligenti
- Sistemi multiagente (MAS)
- Agenti intelligenti
- Agenti e ragionamento deduttivo
- Agenti e ragionamento pratico
- Architetture reattive e ibride
- Coordinazione di sistemi artificiali
- Ingegneria dei sistemi coordinati
- Modelli e infrastrutture di coordinazione per MAS
- spazi di tuple, centri di tuple, ReSpecT e TuCSoN
Testi/Bibliografia
Testi di riferimento
- Michael J. Wooldridge, An Introduction to MultiAgent Systems. John Wiley & Sons Ltd., 2001. ISBN 0-471-49691-X
- Ivan Bratko, Prolog Programming for Artificial Intelligence. 3rd edition. Longman, 2000. ISBN 0-201-40375-7
- Stuart Russell, Peter Norvig, Artificial Intelligence: A Modern Approach. 2nd Edition. Prentice-Hall Series in Artificial Intelligence, Pearson Education International, 2003. ISBN 0-13-080302-2
- Leon Sterling, Ehud Shapiro, The Art of Prolog: Advanced Programming Techniques. 2nd Edition. The MIT Press, 1994. ISBN 0-262-19338-8
- Gregory M.P. O'Hare, Nicholas R. Jennings (eds.), Foundations of Distributed Artificial Intelligence. Sixth-Generation Computer Technology Series, John Wiley and Sons, 1996. ISBN 0-471-00675-0
- Luca Console, Evelina Lamma, Paola Mello, Michela Milano, Programmazione Logica e Prolog. 2a edizione. UTET, 1997
Metodi didattici
- Lezioni teoriche in aula con uso di lucidi
- Esempi in aula al computer
- Esercizi in laboratorio accompagnati dal docente
- Preparazione di un progetto individuale
Modalità di verifica e valutazione dell'apprendimento
- Prova teorica al calcolatore con domande a risposta multipla
- Presentazione e discussione del progetto individuale
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://lia.deis.unibo.it/corsi/2005-2006/SID-LS-CE/home.shtml
Orario di ricevimento
Consulta il sito web di Andrea Omicini