Università degli Studi di Pavia

Facoltà di Ingegneria


Intelligenza Artificiale I

A.A. 2007-2008

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. 2008.03.07

      Presentazione del corso [pdf]

      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]

      Georgeff, M. P., Ingrand, F. F. "Decision Making in an Embedded Reasoning System", Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, 1989 [pdf]

    2. 2008.03.14

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

      Boolean algebra (structure) (Wikipedia)
      Logical connective (Wikipedia)

      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]

    3. 2008.04.04

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

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

      Turing Machine (Wikipedia)

    4. 2008.04.18

      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

    5. 2008.05.20

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

      Decidability (logic) (Wikipedia)
      NP (complexity) (Wikipedia)
      Boolean satisfiability problem (Wikipedia)

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

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

    6. 2008.05.30

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

    7. 2008.06.06

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

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

    8. 2008.06.12

      Logica del primo ordine [pdf]
      Sintassi, semantica, semi-decidibilità, teorema di Herbrand

    9. 2008.06.17

      Esercitazione 7 - Sistemi a regole
      [pdf]

    Docente

    1. Marco Piastra
      marco.piastra@unipv.it

    2. Ricevimento studenti per appuntamento


    Esami

    1. 27 giugno 2008, h 9:15

    2. 25 luglio 2008, h 9:15

    3. 12 settembre 2008, h 9:15


    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. 2006/2007 e precedenti