Intelligenza Artificiale I- a.a. 1997-98

• Luogo delle lezioni: Aula 704.
• Orario settimanale: Mer 14-17, Gio 15-17.

Date ed argomenti delle lezioni

1. 4/11/98 - Mer. 11-13
   • Obiettivi del corso, modalita' di esame.
   • Presentazione del corso Intelligenza Artificiale I.
2. 11/11/98 - Mer. 14-17
   • Cenni di Logica del prim'ordine
   • Richiami dei concetti base di programmazione logica (fatti, regole, programmi, goal, sostituzioni, unificazione, risoluzione).
3. 12/11/98 - Gio. 15-17
   • Interpretazione procedurale dei linguaggi logici.
   • Interprete astratto per Prolog puro e relativi concetti computazionali.
   • Esempi di programmazione ricorsiva.
4. 18/11/98 - Mer. 14-17
   • Programmi e costrutti metalogici in Prolog.
   • Concetti ed esempi relativi all'uso del Cut.
5. 19/11/98 - Gio. 15-17
   • Introduzione alla rappresentazione della conoscenza.
   • Metodi di rappresentazione della Conoscenza .
   • Sistemi di Produzione (In avanti, All'indietro).
6. 25/11/98 - Mer. 14-17
   • Seminario-incontro con il Prof. J.A. Robinson
7. 26/11/98 - Gio. 15-17
   • Reti Semantiche:
     • tassonomia ed aggregazione;
     • ereditarietà semplice;
     • esempi ed esercizi.
8. 2/12/98 - Mer. 14-17
   • Esercizi per il 1° compitino
   • Predicati per la manipolazione di programmi.
   • Non determinismo in Prolog.
9. 3/12/98 - Gio. 15-17
   • Frame: slots e facts.
   • La logica come metodo di rappresentazione della conoscenza.
   • Esempi ed esercizi di preparazione al I compitino.
10. 4/12/98 - Ven. 9-11
    • I° Compitino
11. 9/12/98 - Mer. 14-17
    • Programmazione avanzata (difference lists).
    • Programmazione al second'ordine.
    • Ricerca su grafi di stato.
12. 10/12/98 - Gio. 15-17
    • Linguaggi di programmazione dichiarativi.
    • Paradigma funzionale e logico.
    • Stile di programmazione ad oggetti e rappresentazione della conoscenza.
13. 16/12/98 - Mer. 14-17
    • Ricerca su grafi di stato: esempi
    • Giochi (cenni).
    • Introduzione al CLP
14. 17/12/98 - Gio. 15-17
    • Sistemi Esperti.
    • Architettura generale di un Sistema Esperto.
    • Esempi di realizzazioni.
15. 23/12/98 - Mer. 9-12
    • II° Compitino
16. 7/1/99 - Gio. 15-17
    • Moduli di spiegazione.
    • Teoria della certezza (cenni).
17. 13/1/99 - Mer. 14-17
    • Programmazione con vincoli.
    • Domini e risolutori di vincoli.
    • Tecniche di propagazione in domini di elementi finiti.
18. 14/1/99 - Gio. 15-18
    • Metaprogrammazione e amalgamazione.
    • Metainterpreti: introduzione.
    • Mondi multipli.
19. 20/1/99 - Mer. 14-17
    • Metainterpreti e strumenti di ambiente.
    • Metainterpreti per Sistemi Esperti (why e ask the user).
    • Metainterpreti per tipi di ragionamento forward, adduttivo.
20. 21/1/99 - Gio. 15-18
    • Metainterpreti per modifiche linguistiche.
    • Metainterpreti per ereditarieta', frames e ragionamento approssimato.
    • Cenni di valutazione parziale.
21. 27/1/99 - Mer. 14-17
    • Caratteristiche dei tool di sviluppo.
    • Integrazione di un Sistema Esperto con DBMS.
    • Integrazione di un Sistema Esperto con applicazioni Real time.
22. 28/1/99 - Gio. 15-18
    • Tecniche di acquisizione della conoscenza.
    • Esempio di ciclo di sviluppo di un Sistema Esperto industriale.