- Docente: Maurizio Gabbrielli
- Crediti formativi: 9
- SSD: INF/01
- Lingua di insegnamento: Italiano
- Modalità didattica: Convenzionale - Lezioni in presenza
- Campus: Bologna
- Corso: Laurea Magistrale in Informatica (cod. 8028)
Conoscenze e abilità da conseguire
Al termine del corso, lo studente conosce i principali linguaggi, tecniche di modellizzazione e metodi di ragionamento che stanno alla base della risoluzione di problemi di intelligenza artificiale. In particolare, è in grado di realizzare di sistemi 'intelligenti' che, nella soluzione di problemi, simulano il comportamento di esperti umani della disciplina in oggetto.
Contenuti
Introduzione alla intelligenza artificale e alle sue problematiche
generali.
La nozione di agente. Strategie di ricerca non informata. Strategie
di ricerca informata.
Ricerca con avversari. Richiami di logica proposizionale e di
logica del prim'ordine.
Unificazione. Risoluzione. Programmazione logica. Programmazione
con vincoli.
Constraint Satisfaction Problems. Constraint Handling Rules.
Modellazione e soluzione di problemi mediante agenti logici.
Planning.
Testi/Bibliografia
Russell, Norvig. Intelligenza artificiale, vol I. Prentice
Hall.
Altro materiale verra' indicato durante il corso.
Modalità di verifica e valutazione dell'apprendimento
Esame scritto e/o orale.
Orario di ricevimento
Consulta il sito web di Maurizio Gabbrielli