Intelligenza Artificiale I- a.a. 1999-2000

• Luogo delle lezioni: Aula 704.
• Orario settimanale: Mar 9-11, Gio 14-17.

Date ed argomenti delle lezioni

1. 9/11/99 - Mar. 9-11
   • Obiettivi del corso, modalita' di esame.
   • Presentazione del corso Intelligenza Artificiale I.
2. 11/11/99 - Gio. 14-17 (V.M.)
   • Concetto di agente e sistemi multi-agente
   • Interazioni con l'ingegneria del software
   • Introduzione al sistema CaseLP
3. 16/11/99 - Mar. 9-11
   • Introduzione alla programmazione logica
   • Cenni di Logica del prim'ordine
4. 18/11/99 - Gio. 14-17
   • Richiami dei concetti base di programmazione logica (fatti, regole, programmi, goal)
   • Sostituzioni, Unificazione
5. 23/11/99 - Mar. 9-11
   • Risoluzione
   • Interpretazione procedurale dei linguaggi logici.
6. 25/11/99 - Gio. 14-17 (V.M. 2 ore)
   • Interprete astratto per Prolog puro e relativi concetti computazionali.
   • Esempi di programmazione ricorsiva.
   • Esempi per primo compitino.
7. 30/11/99 - Mar. 9-11
   • Programmi e costrutti metalogici in Prolog.
   • Concetti ed esempi relativi all'uso del Cut.
8. 2/12/99 - Gio. 14-17 (V.M.)
   • Esempi di uso del cut.
   • Esempi per primo compitino.
9. 7/12/99 - Mar. 9-11
   • Predicati per la manipolazione di programmi.
   • Non determinismo in Prolog.
10. 9/12/99 - Gio. 14-17
    • Programmazione avanzata (difference lists).
    • Programmazione al second'ordine.
    • Ricerca su grafi di stato.
11. 14/12/99 - Mar. 9-11
    • 1° compitino
12. 16/12/99 - Gio. 14-17 (G. Sissa)
    • Introduzione alla rappresentazione della conoscenza.
    • Sistemi di Produzione (In avanti, All'indietro).
    • Reti Semantiche.Frame: slots e facts.
    • Classi, sottoclassi ed istanze. Ereditarieta'. Assegnazione di valore per default. demoni.
13. 21/12/99 - Mar. 9-11
    • Esempi sulla rappresentazione della conoscenza. (G. Sissa 1 ora)
    • Esempi per secondo compitino. (V.M. 1 ora )
14. 11/1/00 - Mar. 9-11
    • Introduzione al CLP
    • Programmazione con vincoli.
    • Domini e risolutori di vincoli.
15. 13/1/00 - Gio. 14-18
    • Metaprogrammazione e amalgamazione.
    • Metainterpreti: introduzione.
    • Mondi multipli.
    • Metainterpreti e strumenti di ambiente.
    • Esempi per secondo compitino. (V.M. 1 ora )
16. 18/1/00 - Mar. 9-11
    • II° Compitino
17. 20/1/00 - Gio. 14-17 (G. Sissa)
    • Sistemi Basata su Conoscenza e Sistemi Esperti.
    • Architettura generale di un Sistema Esperto.
    • Principlai moduli: Kb, motore, interfaccia utente, Interfaccia di gestione della KB , explainer.
    • Il problema del ragionamento incerto. Teoria della certezza (cenni)
18. 25/1/00 - Mar. 9-11
    • Metainterpreti per Sistemi Esperti (why e ask the user).
    • Metainterpreti per tipi di ragionamento forward, adduttivo.
    • Metainterpreti per ereditarieta', frames e ragionamento approssimato.
19. 27/1/00 - Gio. 14-17 (G. Sissa 3 ore)
    • Ingengneria della conoscenza e costruzione di Sistemi Esperti. Un esempio di sviluppo.
    • Ambienti di sviluppo per sistemi esperti: parametri di valutazione.
    • Integrazione di Sistemi esperti in applicazioni complesse. Integrazione con DB e integrazioni con applicazioni real time.
    • Esempi per terzo compitino. (V.M. 1 ora )
20. 8/2/00 - Mar. 9-11
    • III° Compitino