Intelligenza artificale
Docente
Maurizio
Gabbrielli
Programma
(I numeri fra parentesi si riferiscono ai capitoli del libro di testo.
Il + indica la presenaa di materiale aggiuntivo rispetto al libro di
testo
Questo colore indica la
parte di programma gia' svolta)
Introduzione alla
intelligenza artificale e alle sue problematiche generali (cap 1).
La nozione di agente (cap 2)
Strategie di ricerca non
informata (cap 3).
Strategie di ricerca informata
(cap 4).
Ricerca con avversari
(cap 6+)
Modellazione di problemi con
vincoli e CSP: nozioni di base (cap 5+).
Nozioni di consitenza locale
(Lucidi di K. Apt)
Richiami di logica
proposizionale e di logica del prim'ordine.
Unificazione. Risoluzione.
Programmazione logica.
Programmazione con vincoli.
Programmazione concorrente con
vincoli
Constraint Handling Rules.
Constraint Satisfaction
Problems.
Modellazione e soluzione di
problemi mediante agenti logici.
Planning.
Libro di testo
Russell, Norvig. Intelligenza artificiale, vol I. Prentice Hall
(oppure volume unico in inglese).
Altro materiale didattico
Lucidi
della lezione del prof. Ciancarini sugli scacchi
Lucidi
su CSP (usati a lezione)
Lucidi
su consistenza locale (usati a lezione)
Lucidi
su programmazione logica e con vincoli (usati a lezione)
Appunti
su programmazione logica
Lucidi
su Prolog
Lucidi
su Planning
Modalita' d'esame
Orale e progetto o seminario per coloro che hanno frequentato.