Intelligenza Artificiale - a.a. 2004-2005
Docente
Prof. Maurizio Martelli.
Collaboratrice
Dott. Viviana Mascardi.
Indice degli argomenti
Il corso e' autocontenuto
anche se e' opportuno aver seguito
i corsi fondamentali di informatica del
biennio.
Parole chiave del corso:
Prolog; Agenti intelligenti e sistemi multi-agente, Intelligenza Artificiale classica.
Lo scopo del corso e' di analizzare alcune problematiche
della Intelligenza Artificiale dimostrando come esse possono essere
affrontate e risolte mediante l'uso di Programmazione Logica
(in particolare Prolog). Verranno pertanto fornite le conoscenze
necessarie a realizzare programmi Prolog (circa 20 ore del corso)
e verranno poi introdotti diversi problemi propri dell'intelligenza
artificiale. Verra' mostrato
l'utilizzo di Prolog come strumento per la modellazione e risoluzione di alcuni
di tali problemi.
In particolare, si dedicheranno circa 10 ore a introdurre temi di ricerca molto recenti
quali i sistemi ad agenti, i linguaggi adatti a modellarli ed
implementarli e le loro relazioni con l'ingegneria del software.
Verranno dedicate le restanti ore del corso ad argomenti di intelligenza artificiale
classica
quali sistemi esperti, problem solving, rappresentazione della conoscenza, ragionamento
approssimato, riconoscimento del linguaggio naturale (si selezionera' un sottoinsieme
di questi argomenti in quanto il tempo a disposizione non consente di affrontarli tutti).
-
Programmazione Logica (PL), Multi-Agent Systems (MAS),
risoluzione di problemi di Intelligenza Artificiale (AI)
-
Il linguaggio PROLOG
- Cenni di
logica matematica (Calcolo dei Predicati del Primo Ordine).
- Cenni su
unificazione, risoluzione SLD e Clausole Horn.
- Introduzione al Prolog.
- Interpretazione
procedurale di programmi logici.
- Aritmetica, I/O, cenni a predicati metalogici,
cenni a cut e
predicati extra-logici in Prolog.
-
Agenti intelligenti
- Introduzione.
- Architetture per agenti.
- Linguaggi per modellare ed implementare agenti.
-
Intelligenza artificiale classica
- Problem solving.
- Tecniche euristiche.
- Algoritmi di ricerca.
- Giochi.
- Cenni a rappresentazione della conoscenza.
- Cenni a sistemi esperti.
- Cenni a ragionamento approssimato.
Prolog
-
Levi G., Patricelli F. PROLOG:
linguaggio, applicazioni ed implementazioni,
Scuola Superiore G. Reiss
Romoli, L'Aquila, 1993. (ISBN 88 85280 15 3). In italiano
- Console L., Lamma E., Mello P., Milano M.
Programmazione Logica e PROLOG,
UTET Università, 1997. In italiano
-
Lloyd J. Foundations
of Logic Programming,
Springer-Verlag, 1987. In italiano
-
Sterling
L., Shapiro E. The art of Prolog,
TheMIT Press,
1986.
Intelligenza Artificiale
-
Russel S., Norvig P.Intelligenza Artificiale: un approccio moderno,
Translated by Luigia Carlucci Aiello,UTET Llibreria Srl., 1998
-
Nilson N.J. Artificial intelligence: A new Synthesis,
Morgan Kaufmann Pub., 1998.
-
Luger G.F.,
Stubblefield W.A. Artificial Intelligence and the design of expert
systems,
The Benjamin/Cummings Pub. Comp. Inc.,
1989.
-
Chang C.-L., Lee
R.C.-T. Symbolic Logic and Mechanical Theorem Proving ,
Academic
Press, 1973. In italiano
-
Genesereth M.R., Nilson N.J. Logical foundations of
Artificial intelligence,
Morgan Kaufmann Pub., 1987.
-
Luogo delle lezioni: Aula 216
-
Orario settimanale:
Lun 16-18, Mar 14-17.
- Il corso prevede 3 compitini che verranno valutati con voti nel range
[0..34].
- Per chi ha sostenuto e superato tutti i compitini il voto finale e'
attribuito come media matematica dei voti dei compitini.
- I compitini saltati o insoddisfacenti vanno recuperati con un orale. Il voto
della prova orale verra' utilizzato al posto del voto del compitino saltato nel calcolo
della media finale.
- L'esercitazione verra' valutata con un incremento/decremento nel range [-1,+3]
sul voto cosi' ottenuto.
- Sara' attribuita la lode a chi avra' un voto complessivo (ottenuto come
sopra) maggiore di 30.
|
|
