Università degli Studi di Pavia

Facoltà di Ingegneria


Intelligenza Artificiale I

A.A. 2006-2007

Secondo semestre

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

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

Lezioni & letture consigliate:

  • Le segnalazioni di eventuali errori sono sempre benvenute

    1. 2007.03.09

      Presentazione del corso [pdf]

      Turing machine (Wikipedia)
      Church-Turing thesis (Wikipedia)

    2. 2007.03.16

      Primi elementi di logica formale [pdf]
      Algebra di Boole, linguaggio proposizionale, soddisfacibilità, conseguenza logica

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

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

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

    3. 2007.03.23

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

    4. 2007.03.30

      Calcolo simbolico [pdf]
      Inferenza per deduzione, derivazioni, assiomi, teorie

    5. 2007.04.13

      Esercitazione 3 [pdf]
      Esempio "Fox, Goat & Cabbage" [zip] (soluzione di problemi come ricerca nello spazio degli stati)

      CLIPS Reference Manual, Vol. I, Vers. 6.23, 2005 [pdf]
      Contiene, tra l'altro, la descrizione della sintassi completa delle LHS delle regole in Jess, da pag. 30

    6. 2007.04.20

      Automazione del calcolo logico [pdf]
      Regola di risoluzione, risoluzione per refutazione, altre tecniche

      Gallier, J., The Completeness of Propositional Resolution, University of Pennsylvania, Sept. 2006 [pdf]

      Esercitazione 4 [pdf]
      Strategie di ricerca nello spazio degli stati

    7. 2007.05.18

      Introduzione alla logica del primo ordine [pdf]
      Linguaggio del primo ordine, soddisfacibilità, modelli

      Esercitazione 5 [pdf]
      Risoluzione proposizionale SLD e SLDNF in Jess

    8. 2007.05.25

      Introduzione alla logica del primo ordine [pdf]
      Forma ristretta, Teorema di Herbrand, Forward Chaining

    9. 2007.06.01

      Sistemi a regole [pdf]
      Forward Chaining e algoritmo Rete

      Esercitazione 6 - Il mondo di Wumpus [pdf]
      Il mondo di Wumpus in Jess [zip]

    10. 2007.06.08

      Esercitazione 7 - Il mondo di Robocode
      Robocode 1.0.7 modificato [zip]
      JessRobocode, integrazione tra Jess e Robocode [zip]

      Robocode at sourceforge.net [link]
      Robocode (Wikipedia)

    11. 2007.06.22

      Reti Neurali [pdf]
      Seminario a cura di R. Marmo

      Memorabilia:
      GaoGaiGar [zip] di A. Gaggia e D. Della Ratta
      Vincitore del torneo di JessRobocode 2007

    Docente

    1. Marco Piastra
      marco.piastra@unipv.it

    2. Ricevimento studenti per appuntamento


    Esami

    1. 13 luglio 2007, Aula E2, h 9:00

    2. 27 luglio 2007, Aula E2, h 9:00


    Testi di riferimento

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

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


    Links

    1. Intelligenza Artificiale I, A.A. 2005/2006 e precedenti