Intelligenza Artificiale I - a.a. 1999-2000
Ultima modifica: 7 Dicembre 1999.
Commenti a Maurizio Martelli.
Il corso e' autocontenuto
anche se e' opportuno aver seguito
i corsi fondamentali di informatica del
biennio.
Il corso ha come scopo lo studio della programmazione logica
e di alcuni aspetti
di intelligenza artificiale (sistemi multi-agente, rappresentazione della
conoscenza e sistemi esperti).
E' un corso svolto su argomenti di
interesse applicativo con enfasi sugli aspetti
di utilizzo pratico del
linguaggio usato (il PROLOG e sue estensioni), dei
sistemi basati sulla
conoscenza e dei sistemi esperti, nonche' all'utilizzo di queste tecnologie
nel settore dello sviluppo software (specifiche, prototipi,...).
Obiettivo didattico del corso
e' il fornire allo studente la capacita' di
programmare e risolvere
problemi utilizzando programmazione logica e tecniche
di intelligenza
artificiale. Il corso prevede esercitazioni pratiche e/o progetti.
-
Programmazione Logica(PL), Prolog ed applicazioni di Intelligenza
Artificiale (AI)
-
Sistemi intelligenti distribuiti e sistemi multiagente
- Concetto di agente e sistemi multi-agente
- Interazioni con l'ingegneria del software
- Il sistema CaseLP
-
Il linguaggio PROLOG ed il Constraint Logic Programming (CLP)
- Cenni di
logica matematica (Calcolo dei Predicati del Primo Ordine)
- Cenni su
unificazione, risoluzione SLD e Clausole Horn
- Interpretazione
procedurale di programmi logici
- Aritmetica, I/O, predicati metalogici, cut e
predicati extra-logici in PROLOG
- Il PROLOG in AI
- Strutture dati avanzate
- Strategie di problem solving
- Tecniche di searching e pruning
- Tecniche euristiche
- Metaprogrammazione, Metainterpreti e Teorie Multiple
-
Basi di
Conoscenza e rappresentazione della conoscenza
- Introduzione alla rappresentazione della conoscenza
- Reti semantiche e Sistemi a frame
- Basi di conoscenza basati sulla logica
- Sistemi ibridi
- Esempi ed applicazioni
-
Sistemi esperti
- Introduzione e stato dell'arte
- Architetture
- Progettazione di un sistema esperto:
- Tools per sistemi esperti
- Integrazione con i sistemi informativi
- Interfacce utente
- Esempi di realizzazioni industriali
-
Acquisizione della conoscenza
- Tecniche
- Metodologie
- Strumenti
- Esempi
-
Sistemi intelligenti di accesso all'informazione
- Sistemi multiagente per la realizzazione di sistemi di ricerca personalizzati
- Rilevanza e valore dell'informazione: modello concettuale di misura (cenni)
- Interfacce utente e multimedia
- Tendenze ed evoluzione del settore
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.