Sistemi Intelligenti I

Maria Simi      Tel. 0502212758

Linguaggio e metodi della matematica, Fondamenti di programmazione, Algoritmica

Introduzione al settore dell'Intelligenza Artificiale.

Conoscenze. Acquisire una conoscenza di base dei concetti, delle tecniche e dei settori applicativi dell'Intelligenza Artificiale.

Capacità. Capacità di impostare e risolvere un problema secondo il paradigma di ricerca in uno spazio di stati, capacità di rappresentazione di conoscenza nei principali linguaggi (logici e non) e di progettazione e sviluppo di sistemi di inferenza.

Comportamenti. Consapevolezza dei limiti attuali e delle potenzialità dei sistemi “intelligenti”.

Il corso introdurrà l'Intelligenza Artificiale mediante una trattazione delle tecniche per la realizzazione di agenti intelligenti: risoluzione dei problemi come ricerca euristica in spazi di stati, rappresentazione della conoscenza e ragionamento, pianificazione e apprendimento automatico.

This course will introduce Artificial Intelligence.

Introduzione (2 ore)

• Obiettivi e caratterizzazione dell'Intelligenza Artificiale.
• La visione dell'Intelligenza Artificiale come costruzione di "agenti intelligenti".

Risoluzione dei problemi come ricerca euristica (10 ore + 4 ore di esercitazione)

• Formulazione dei problemi come ricerca in uno spazio di stati.
• Algoritmi di ricerca non informata ed euristica.
• Problemi di soddisfacimento di vincoli.
• Giochi con avversario.

Rappresentazione della conoscenza e ragionamento (12 ore + 10 ore esercitazione)

• Introduzione alla rappresentazione della conoscenza: la mediazione tra espressività e complessità.
• Il calcolo proposizionale e la soddisfacibilità
• Il calcolo dei predicati come linguaggio di rappresentazione: uso e limitazioni.
• Deduzione automatica: il metodo di risoluzione e relative strategie di risoluzione.
• Introduzione alla programmazione logica.
• Sistemi a regole.
• Rappresentazioni strutturate: reti semantiche, rappresentazioni a "frame"
• Logiche descrittive e Web semantico.

Pianificazione (2 ore + 2 ore di esercitazione)

• Il calcolo di situazioni e il problema del contorno.
• Pianificazione nello spazio delle situazioni.
• Pianificazione nello spazio dei piani.

Lucidi delle lezioni.

S. Russell, P. Norvig, "Intelligenza Artificiale: un approccio moderno", Prentice Hall, 2005 (II edizione).

La valutazione dello studente avverrà secondo una delle seguenti modalità:

• Prove in itinere (compitini): entrambe le prove devono essere sufficienti; il voto risultante potrà essere verbalizzato durante uno degli appelli di gennaio e febbraio come voto finale dell'esame.
• Gli appelli sono di norma "solo scritti". Durante gli appelli di gennaio e febbraio è consentito recuperare anche solo uno dei due compitini o migliorarne il risultato.