Fondamenti - INTELLIGENZA ARTIFICIALE (2015/2016)

Codice insegnamento
4S02789
Docente
Alessandro Farinelli
crediti
6
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Periodo
II semestre dal 1-mar-2016 al 10-giu-2016.
Pagina Web
http://profs.sci.univr.it/~farinelli/courses/ia/ia.html

Per visualizzare la struttura dell'insegnamento a cui questo modulo appartiene, consultare * organizzazione dell'insegnamento

Orario lezioni

II semestre
Giorno Ora Tipo Luogo Note
lunedì 9.30 - 11.30 lezione Aula C  
mercoledì 8.30 - 11.30 lezione Aula I  

Obiettivi formativi

Il modulo presenta paradigmi e tecniche principali della rappresentazione simbolica e soluzione automatica di problemi. L'obbiettivo è dare allo studente strumenti per ideare, applicare e valutare algoritmi per problemi difficili, nel senso che la loro soluzione meccanica cattura aspetti di intelligenza artificiale o razionalità computazionale.

Programma

Risoluzione di problemi come ricerca in uno spazio di stati: procedure di ricerca non informate; procedure di ricerca euristiche; ricerca con avversario.
Risoluzione di problemi basata sull'elaborazione di vincoli (soddifacibilita' ed ottimizzazione);
Rappresentazione della conoscenza basata sulla logica: forme normali; uguaglianza.
Dimostrazione di teoremi: soddisfacibilità (SAT), risoluzione, riscrittura.
Agenti intelligenti: pianificazione, sistemi multi-agente, coordinamento.
Ragionamento probabilistico, teoria delle decisioni.

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Stuart Russell, Peter Norvig Artificial Intelligence: A Modern Approach (Edizione 2) Prentice Hall 2003 0137903952

Modalità d'esame

Il voto finale del modulo di IA può essere conseguito con un'unica prova scritta o con le prove parziali. La prova scritta verrà svolta neglle prove di Appello.
Le prove parziali sono costituite da un compito scritto (svolto durante la durata del corso) ed una prova a scelta. La prova a scelta può essere un progetto (tipicamente con una sostanziale parte di programmazione) oppure un seminario (di circa 40 minuti) che sarà tenuto dallo studente.

Opinione studenti frequentanti - 2015/2016