Intelligenza Artificiale I

Maria Simi      Tel. 0502212758

Logica Matematica

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

Il corso introdurrà l'Intelligenza Artificiale mediante una trattazione delle tecniche di risoluzione dei problemi come ricerca euristica in spazi di stati e delle tecniche di base per la rappresentazione della conoscenza e il ragionamento finalizzate alla realizzazione di sistemi basati su conoscenza e agenti intelligenti.

Core Artificial Intelligence will be introduced by presenting problem solving techniques by means of heuristic search in state spaces and the basic methods for knowledge representation and reasoning finalized to the construction of knowledge based systems and intelligent agents.

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 (8 ore + 6 ore di esercitazione)

• Formulazione dei problemi come ricerca in uno spazio di stati.
• Algoritmi di ricerca cieca ed euristica.
• I giochi con avversario.
• Sistemi a regole.

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

• Introduzione alla rappresentazione della conoscenza: la mediazione tra espressività e la complessità.
• Il calcolo dei predicati del prim'ordine: sintassi e semantica
• 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.
• Rappresentazioni strutturate: reti semantiche e rappresentazioni a "frame".
• Le Logiche Terminologiche: una contrazione della logica classica.

Cambiamento, pianificazione e incertezza (5 ore + 3 ore esercitazione)

• Il calcolo di situazioni e il "frame problem".
• Il problema della pianificazione: pianificazione in spazi di stati e in spazi di piani.
• Ragionamento incerto e probabilistico.

S. Russell, P. Norvig, "Artificial Intelligence: a ModernApproach", Prentice Hall, 1995.

R. Genesereth, N. Nilsson, "Logical Foundations of Artificial Intelligence", Morgan-Kauffman, 1987.

Prove di valutazione intermedia scritte oppure esame orale.