logo-polimi
Loading...
Risorse bibliografiche
Risorsa bibliografica obbligatoria
Risorsa bibliografica facoltativa
Scheda Riassuntiva
Anno Accademico 2004/2005
Facoltà Scuola di Ingegneria dell'Informazione
Insegnamento 072667 - INTELLIGENZA ARTIFICIALE
Cfu 5.00 Tipo insegnamento Monodisciplinare
Docente Colombetti Marco

Corso di Studi Codice Piano di Studio preventivamente approvato Da (compreso) A (escluso) Insegnamento
Ing Ind - Inf (2 liv.)(ord. 509) - MI (187) INGEGNERIA INFORMATICA*AZZZZ072667 - INTELLIGENZA ARTIFICIALE

Programma dettagliato e risultati di apprendimento attesi

Il corso ha l'obiettivo di rendere lo studente in grado di applicare modelli e tecniche d’intelligenza artificiale nello sviluppo di applicazioni informatiche. 

Il corso è diviso in tre parti: un’introduzione generale all’Intelligenza artificiale, una trattazione dei principali metodi di risoluzione automatica di problemi e un’introduzione a linguaggi e tecniche tipici dell’intelligenza artificiale.

INTRODUZIONE ALL’INTELLIGENZA ARTIFICIALE

Cenni storici e concetti di base. Le aree di ricerca e le ricadute applicative dell’intelligenza artificiale.

METODI PER LA RISOLUZIONE AUTOMATICA DEI PROBLEMI

Risoluzione di problemi nello spazio degli stati: stato, operatore, spazio degli stati, problema, soluzione. Metodi di ricerca delle soluzioni: alberi e grafi di ricerca; strategie di ricerca non informate, informate, ad orizzonte finito.

Giochi competitivi: albero del gioco e metodo della potatura alfa-beta.

Risoluzione di problemi basata su rappresentazioni logiche: il modello STRIPS.

LINGUAGGI E TECNICHE

Il linguaggio Lisp. Elaborazione ricorsiva di espressioni simboliche. Tecniche di programmazione funzionale.

Rappresentazione e risoluzione di problemi nella logica del primo ordine: sistemi a clausole, dimostrazione di teoremi mediante risoluzione.

Prerequisiti

Informatica 1, 2 e 3, Ingegneria del software, Basi di dati, Informatica teorica, Algebra e logica.


Note Sulla Modalità di valutazione
Non sono previste prove in itinere. L¿esame finale è scritto; la prova d¿esame, della durata di tre ore, è costituita da esercizi e domande inerenti il programma del corso e assegna complessivamente un massimo di 32 punti.

Bibliografia

Nils J. Nilsson, Intelligenza Artificiale: una nuova sintesi, APOGEO, 2002 (testo adottato dal docente).

Stuart Russell e Peter Norvig, Intelligenza artificiale: un approccio moderno, UTET, 1998 (per approfondimenti).

Dispense integrative del docente reperibili sul sito del corso.

Siti web segnalati dal docente.


Software utilizzato
Nessun software richiesto

Mix Forme Didattiche
Tipo Forma Didattica Ore didattiche
lezione
30.0
esercitazione
20.0
laboratorio informatico
0.0
laboratorio sperimentale
0.0
laboratorio di progetto
0.0

Informazioni in lingua inglese a supporto dell'internazionalizzazione
Insegnamento erogato in lingua Italiano
schedaincarico v. 1.9.1 / 1.9.1
Area Servizi ICT
22/04/2024