Università degli Studi di Pavia

Facoltà di Ingegneria


Intelligenza Artificiale I

A.A. 2010-2011

Secondo semestre

Ven: 11:00-13:00, Aula A1

Ven: 14:00-16:00, Aula C1

Lezioni & letture consigliate:

  • Le segnalazioni di eventuali errori sono sempre benvenute

    1. 2011.03.04 (teoria)

      Presentazione del corso [pdf]

      Alan Turing (Wikipedia)
      Computer chess (Wikipedia)

      Shannon, C., "Programming a Computer for Playing Chess", Philosophical Magazine, 41 (314), 1950 [pdf]

      Campbell, M., Hoane, A. J., Hsu, F., "Deep Blue", Artificial Intelligence, 134 (1-2), 2001 [pdf]

      "Building Watson - A Brief Overview of the DeepQA Project", YouTube, 2011 [video]

      "Final Jeopardy! and the Future of Watson", TED, 2011 [video]

      Ferrucci, D., et al., "Building Watson: An Overview of the DeepQA Project", AI Magazine, 3 (31), 2010 [pdf]

    2. 2011.03.11 (teoria)

      Logica formale [pdf]
      Schemi e ragionamento

      Logica proposizionale [pdf]
      Algebre di Boole, linguaggio e semantica proposizionale, soddisfacibilità, conseguenza logica

    3. 2011.03.11 (esercitazione)

      Esercitazione 1 [pdf]
      Esempio "Parity Checker (FSA)" [zip] (automa a stati finiti in Jess)

      Finite State Automaton (Wikipedia)

      Jess - the Rule Engine for the Java Platform (free software) [link]

      Menken, M., Jess Tutorial, Vrije Universiteit, Amsterdam, 2002 [pdf]

    4. 2011.03.18 (teoria)

      Logica proposizionale [pdf]
      Algebre di Boole, linguaggio e semantica proposizionale, soddisfacibilità, conseguenza logica

    5. 2010.03.25 (esercitazione)

      Esercitazione 2 [pdf]
      Esempio "Parity Checker (TM)" [zip] (macchina di Turing in Jess)

      Turing Machine (Wikipedia)
      Busy Beaver (Wikipedia)

    6. 2011.04.01 (teoria)

      Soddisfacibilità e algoritmi [pdf]
      Soddisfacibilità e conseguenza logica, complessità di calcolo, metodo dei Semantic Tableau

    7. 2011.04.01 (esercitazione)

      Esercitazione 3 [pdf]
      Semantic Tableau in Jess [zip]

    8. 2011.04.15 (teoria)

      Sistemi deduttivi [pdf]
      Sistemi assiomatici 'a la Hilbert', derivazioni, correttezza, completezza

    9. 2011.04.29 (teoria)

      Risoluzione proposizionale [pdf]
      Forma a clausole, regola e metodo di risoluzione, clausole di Horn, risoluzione SLD

    10. 2011.05.06 (teoria)

      Logica del primo ordine: predicati e relazioni [pdf]
      Linguaggio del primo ordine e strutture semantiche

    11. 2011.05.06 (esercitazione)

      SLD resolver in Jess (traccia) [zip]

    12. 2011.05.20 (teoria)

      Semi-decidibilità della logica del primo ordine [pdf]
      Forma normale prenessa, skolemizzazione, teorema di Herbrand

    13. 2011.05.20 (esercitazione)

      Esercitazione 5 - Sistemi a regole: algoritmo Rete [pdf]

    14. 2011.05.27 (teoria)

      Risoluzione del primo ordine [pdf]
      Forma a clausole, unificazione, metodo della risoluzione in logica del primo ordine

    15. 2010.05.27 (esercitazione)

      L'esempio in Prolog è stato eseguito con SWI-Prolog
      (free software) [link]

      Ri-definizione di append/3, usando la funzione cons/2 [pl]
      (per seguire il processo di risoluzione con trace/0)

    16. 2010.06.03 (teoria)

      Modello minimo, programmi logici [pdf]
      Modelli di Herbrand, modello minimo, teorema di van Emden e Kowalski

    Docente

    1. Marco Piastra
      marco.piastra@unipv.it

    2. Ricevimento studenti per appuntamento


    Esami

    1. 24 giugno 2011, Aula E7, h 9:30

    2. 29 luglio 2011, Aula E2, h 9:30


    Testi di riferimento

    1. Mordechai Ben-Ari. Mathematical Logic for Computer Science (2nd Edition). Springer, 2001, ISBN 1-85233-319-7.

    2. Lorenzo Magnani, Rosella Gennari. Manuale di logica. Guerini Scientifica, 1997, ISBN 888107097-9.

    3. Stuart Russell, Peter Norvig. Intelligenza Artificiale: un approccio moderno. UTET, ISBN 88-7750-406-4. Traduzione di Luigia Carlucci Aiello.


    Links

    1. Intelligenza Artificiale I, A.A. 2009-2010 e precedenti