POLITECNICO DI MILANO
Sede di Milano - Campus Leonardo
Anno Accademico 2003/2004
INTELLIGENZA ARTIFICIALE	codice: AG0209

(per gli allievi del Corso di Laurea in Ingegneria Biomedica (A - Z), Ingegneria delle Telecomunicazioni (A - Z), Ingegneria Elettronica (A - Z), Ingegneria Informatica (A - Z))

Docente: Francesco AMIGONI

Programma

1. Introduzione all’intelligenza artificiale: problematiche e storia. Il concetto di agente intelligente.

2. Tecniche per risoluzione automatica dei problemi tramite ricerca nello spazio degli stati. Formulazione di un problema nello spazio degli stati. Tecniche di ricerca non informata ed euristica. Problemi di soddisfacimento dei vincoli. Giochi a due giocatori.

3. Tecniche per il ragionamento logico. Rappresentazione della conoscenza tramite la logica proposizionale. Procedure di inferenza nella logica proposizionale. Rappresentazione della conoscenza tramite la logica del primo ordine. Procedure di inferenza nella logica del primo ordine. Alcuni aspetti avanzati della rappresentazione della conoscenza tramite la logica del primo ordine: categorie, azioni, stati mentali, ...

4. Tecniche per la pianificazione.

5. Tecniche per il ragionamento in condizioni di incertezza.

Modalità d’esame

L’esame consiste in una prova scritta. Non sono previsti compitini.

Libri consigliati

S. Russell, P. Norvig. Artificial Intelligence: A Modern Approach (Second Edition). Prentice-Hall. 2003.

[E’ disponibile la traduzione italiana dei capitoli 1-12: S. Russell, P. Norvig. Intelligenza Artificiale: Un approccio moderno, Volume 1. Pearson Education. 2005.]