| | | | corso | | |
Sistemi Intelligenti I
(Corso di Laurea in Informatica (classe 26))
Codice: | AA035 | Crediti: | 6 | Semestre: | 1 | Sigla: | SI1 | |
|
Settore disciplinare: | INF/01 - Informatica |
Docente
Maria Simi
Tel. 0502212758Prerequisiti
Linguaggio e metodi della matematica, Fondamenti di programmazione, Algoritmica
Obiettivi di apprendimento
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”.
Descrizione
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.
English Description
This course will introduce Artificial Intelligence.
Programma
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.
Ore lezione: | 30 | Ore esercitazione: | 18 | Ore laboratorio: | 0 | Ore seminari: | 0 | |
Bibliografia
Lucidi delle lezioni.
S. Russell, P. Norvig, "Intelligenza Artificiale:
un approccio moderno", Prentice Hall, 2005 (II edizione).
Modalità di esame
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.