Corso di Intelligenza Artificiale II
Facoltà di Ingegneria, Università degli Studi di Pavia

Marco Piastra

Calendario delle lezioni AA 2005/2006
(Data ultimo aggiornamento: 30 settembre 2005)

Appelli d'esame:
(Data ultimo aggiornamento: 30 settembre 2005)

10 febbraio 2006
27 febbraio 2006

LUCIDI E PROGRAMMI
(Data ultimo aggiornamento: 13 gennaio 2006)

1. Logica del primo ordine Parte 1.1: Teoria - Concetti generali (formato PDF)
Letture consigliate:
  • Shapiro, S. - Classical Logic (in "Stanford Encyclopedia of Philosophy")
    • 2. Logica del primo ordine Parte 1.2: Teoria - Linguaggio e semantica (formato PDF)
    Software dimostrativo:
  • JIProlog - Java Internet Prolog
    • 3. Logica del primo ordine Parte 1.3: Teoria - Conseguenza, assiomi, derivazione (formato PDF)

    4. Logica del primo ordine Parte 2.1: Automazione - Risoluzione, unificazione, programmazione logica (formato PDF)
    Ulteriori approfondimenti:
  • Apt, K. - The Logic Programming Paradigm and Prolog
  • Esempio "library.pl"
    • 5. Logica del primo ordine Parte 2.2: Automazione - Metodi a tableau (formato PDF)
    Ulteriori approfondimenti:
  • Haehnle, R. - Tableaux and related methods
    • 6. Logiche non classiche (formato PDF)
    Ulteriori approfondimenti:
  • Leake, D. B., Abduction, Experience and Goals
    • 7. Logiche modali e temporali (formato PDF)

    Ulteriori approfondimenti:
  • On-the-fly, LTL model checking with SPIN

    • 8. Logiche multivalenti e sfumate (Fuzzy Logics) (formato PDF)

    Software dimostrativo:
  • FuzzyJ ToolKit & Fuzzy Jess

    • 9. Description Logics (formato PDF)

    Software dimostrativo:
  • Protégé
  • Protégé OWL Tutorial

    • Letture consigliate:
  • Horrocks, I. et al. - From SHIQ and RDF to OWL: The making of a web ontology language
    • 10. Incertezza e probabilità. Reti Bayesiane

    Letture consigliate:
  • Probability Axioms (Wikipedia)
  • Bayesian Probability (Wikipedia)
  • Charniak, E. - Bayesian Networks without Tears

    • Ulteriori approfondimenti:
  • Dutch Book (file MS Excel di esempio)
  • Williamson, J. - Philosophies of Probability

    • 11. Calcolo Evolutivo (formato PDF)

    Letture consigliate:
  • Whitley, D. - An Overview of Evolutionary Algorithms: Pratical Issues and Common Pitfalls
    • Software per l'esercitazione:
  • ECJ - A Java-based Evolutionary Computation and Genetic Programming Research System

    • 12. Genetic Programming (formato PDF)

    Letture consigliate:
  • Langdon, W. B., Qureshi, A. - Genetic Programming: Computers using Natural Selection to generate programs
  • Wolpert, D. H., Macready, W. G. - No Free Lunch Theorems for Optimization



    • Testi utili, online:
    Reeves, S., Clarke, M. - Logic for Computer Science
    Gallier, J. - Logic for Computer Science
    Nilsson, U., Maluszynski, J. - Logic, Programming and Prolog (2ed)
    Corso di Intelligenza Artificiale 2, AA 2004/2005 e precedenti