Intelligenza artificiale (2011/2012)

Codice insegnamento
4S00075
Docente
Alessandro Farinelli
Coordinatore
Alessandro Farinelli
crediti
6
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Periodo
II semestre dal 1-mar-2012 al 15-giu-2012.

Orario lezioni

II semestre
Giorno Ora Tipo Luogo Note
mercoledì 8.30 - 10.30 lezione Aula G  
giovedì 10.30 - 12.30 lezione Aula G  

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. Problemi di soddisfazione di vincoli.
Rappresentazione della conoscenza: logica proposizionale e del prim'ordine;
forme normali; uguaglianza. Dimostrazione di teoremi: soddisfacibilità (SAT),
risoluzione, riscrittura. Agenti intelligenti: pianificazione, sistemi multi-agente,
coordinamento. Ragionamento probabilistico, teoria delle decisioni.

Statistiche per i requisiti di trasparenza (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

I dati relativi all'AA 2011/2012 non sono ancora disponibili