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
Abilità
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"
course contents
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
readings / bibliography
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
Altri testi
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