Sistemi intelligenti distribuiti LS 2004/2005

• 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
• 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"

• 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

• 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
• Luca Console, Evelina Lamma, Paola Mello, Michela Milano, Programmazione Logica e Prolog. 2a edizione. UTET, 1997

• Lezioni teoriche in aula con uso di lucidi
• Esempi in aula al computer
• Esercizi in laboratorio accompagnati dal docente
• Preparazione di un progetto individuale

• Prova teorica al calcolatore con domande a risposta multipla
• Presentazione e discussione del progetto individuale