Laboratorio di applicazioni e servizi ICT LM 2005/2006

informazioni generali sul corso

Obbiettivi del corso

Abilità
- Utilizzo di tecniche bioinformatiche nel progetto di sistemi ICT
- Comprensione delle problematiche legali e giuridiche insite nel progetto di sistemi ICT

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

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

metodi didattici