INTELLIGENZA ARTIFICIALE
(Corsi di laurea in Ingegneria Informatica, Elettrica, Elettronica e Gestionale)
Prof. Salvatore Gaglio

Il corso di Intelligenza Artificiale intende fornire allo studente le metodologie di base per la realizzazione di moduli software per agenti intelligenti, basati su tecniche di soluzione automatica di problemi e di ragionamento automatico, su tecniche neuronali e fuzzy. I metodi suddetti trovano applicazione nella costruzione di basi di conoscenza, nella realizzazione di sistemi esperti, di sistemi di riconoscimento automatico, di sistemi di supporto alle decisioni e di sistemi robotici. L’attività sperimentale riguarda la programmazione nei linguaggi LISP e PROLOG. Il corso richiede la conoscenza di Fondamenti di Informatica.

Modalità di esame :
L’esame prevede una prova di programmazione e una prova orale. La prova di programmazione può essere sostituita da una tesina sperimentale concordata con il docente.

PROGRAMMA DEL CORSO

Agenti Intelligenti - Caratteristiche generali, la struttura degli agenti intelligenti, i modelli di ambienti.

Soluzione Automatica di Problemi – la soluzione di problemi con ricerca, le strategie di ricerca senza informazioni, le strategie di ricerca con informazione, i giochi.

Rappresentazione della Conoscenza e Tecniche di Ragionamento Automatico - La logica proposizionale, la logica del I ordine, le basi di conoscenza, le tecniche di inferenza , i sistemi di ragionamento logico.

Insiemi Fuzzy e Logica Fuzzy - Gli insiemi fuzzy, la teoria della possibilità, la logica fuzzy, le variabili linguistiche.

Reti Neuronali - Introduzione alle reti neuronali, Gli elementi costitutivi delle reti neuronali, le principali classi di reti neuronali, le rappresentazioni distribuite, l’apprendimento competitivo, le macchine di Boltzmann, la back-propagation, le memorie associative, le mappe auto-organizzanti, le applicazioni.

Programmazione Simbolica in Linguaggio LISP - I concetti di base, le tecniche di programmazione con macro, i costrutti strutturati, le tecniche avanzate di programmazione.

Programmazione Logica in Linguaggio PROLOG - Sintassi e uso, le strutture di dati, il controllo, la verifica di programmi, le regole grammaticali.

TESTI CONSIGLIATI

S. Russell, and P. Norvig: "Artificial Intelligence - A Modern Approach". Prentice-Hall, Upper Saddle River, 1995.
D. Touretzky: "Common Lisp". Zanichelli, Bologna, 1991.
L. Console, E. Lamma, P. Mello e M. Milano: "Programmazone Logica e PROLOG". UTET, Torino, 1997.
Appunti forniti dal docente.