| | | corso | | | | |
Sistemi Intelligenti I
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, ragionamento e pianificazione
English Description
This course will introduce Artificial Intelligence by illustrating techniques of increasing complexity used in the implementation of intelligent agents: problem solving as heuristic search in a state space, knowledge representation and reasoning, planning.
Indicazioni metodologiche
Il corso si articola in lezioni teoriche ed esercitazioni.
Ci saranno due prove di valutazione intermedia, nei periodi previsti.
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 + 6 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 (18 ore + 8 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.
- Sistemi a regole.
- Deduzione automatica: il metodo di risoluzione.
- Programmazione logica.
- Logiche descrittive
Pianificazione (2 ore + 2 di esercitazioni)- Pianificazione come ricerca nello spazio degli stati e nello spazio dei piani.
Ore lezione: | 32 | Ore esercitazione: | 16 | Ore laboratorio: | 0 | Ore seminari: | 0 | |
Bibliografia
Lucidi delle lezioni.
S. Russell, P. Norvig, "Intelligenza Artificiale: un approccio moderno", Prentice Hall, 2005 (II edizione). Sito del libro.
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" (prove orali solo su richiesta e in alternativa). Durante gli appelli di gennaio e febbraio è consentito recuperare anche solo uno dei due compitini o migliorarne il risultato.