Università degli Studi di Pavia

Facoltà di Ingegneria


Intelligenza Artificiale II

A.A. 2010-2011

Primo semestre

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

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

Lezioni & letture consigliate:

  • Le segnalazioni di eventuali errori sono sempre benvenute

    1. 2010.10.01

      Presentazione del corso [pdf]
      La presentazione contiene anche i link alle applicazioni dimostrative viste a lezione

      Turing machine (Wikipedia)
      Church–Turing thesis (Wikipedia)
      Self-organization (Wikipedia)
      Cellular automaton (Wikipedia)

    2. 2010.10.15 (teoria)

      Oltre la logica classica: ragionamento plausibile [pdf]

      Closed world assumption (Wikipedia)
      Default logic (Wikipedia)

      Antoniou, G., "A tutorial on default logics", ACM Computing Surveys, Vol. 31 No. 4, 1999 [link]

    3. 2010.10.15 (esercitazione)

      Esempio "ancestors.pl" [pl] (derivabilità e SLD depth-first)

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

      The Prolog Tutorial di J.R. Fisher
      Codice degli esempi (con minimi adattamenti a SWI-Prolog) [zip]

      Apt, K. R., The Logic Programming Paradigm and Prolog, 2001 [pdf]

    4. 2010.10.22 (teoria)

      Logiche modali [pdf]

      Modal logic (Wikipedia)
      Kripke semantics (Wikipedia)
      Linear temporal logic (Wikipedia)

      Zalta, E. N., Basic Concepts in Modal Logic, 2001 [pdf]

    5. 2010.10.22 (esercitazione)

      Logic programming [pdf]

      Esempio "library.pl" [pl] (uso del cut e della negation as failure)

    6. 2010.11.05 (teoria)

      Logiche modali del primo ordine [pdf]

      Fitting, M., First-Order Modal Logic, Kluwer, 1998 [link] (Google libri)

    7. 2010.11.05 (esercitazione)

      Semantic Web: Description Logics [pdf]

      Horrocks, I. et al. From SHIQ and RDF to OWL: The making of a web ontology language [pdf]

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

    8. 2010.11.12 (teoria)

      Ragionamento probabilistico: rappresentazione [pdf]

      Esempio di Dutch book, come file MS Excel [xls]

      Murphy, K. P., "An introduction to graphical models", MIT Tech. Rep., 2001 [pdf]

      Probability space (Wikipedia)
      Probability axioms (Wikipedia)
      Bayes' theorem (Wikipedia)

    9. 2010.12.17 (teoria)

      Ragionamento probabilistico: inferenza [pdf]

      Mozilla Spam Filtering
      Graham, P., A Plan for Spam, Web article, 2002 [link]

      Belief and Decision Network Applet - software dimostrativo per il metodo dell'eliminazione delle variabili [link]

      Kschischang, F.R., Frey B.J., Loeliger, H.A., Factor Graphs and the Sum-Product Algorithm, IEEE Transactions on Information Theory, vol. 47, n. 2, 2001 [link]

    10. 2010.12.17 (teoria)

      Ragionamento probabilistico: apprendimento [pdf]

      Borman, S., The Expectation Maximization Algorithm - A short tutorial, 2009 [pdf]

    11. 2011.01.14 (teoria)

      Self-organizing networks [pdf]

      Fritzke, B., Some Competitive Learning Methods, Ruhr-Universität Bochum, TR, 1997 [pdf]
      Growing Self-Organizing Networks - applet dimostrativa [link]

      Marsland, S., A self-organising network that grows when required, Neural Networks, 15, 2002 [pdf]

    12. 2011.01.21 (teoria)

      Automi cellulari [pdf]

      S. Wolfram, A New Kind of Science, MIT - Video conference, September 15, 2003 [link]

      Conway's Game of Life (Wikipedia)
      Cellular automaton (Wikipedia)
      Rule 110 (Wikipedia)

      Golly - an open source, cross-platform Game of Life simulator (free software) [link]
      Esempi visti a lezione [zip]

      Kari, J., Theory of cellular automata: A survey, Theoretical Computer Science, 334, 2005 [link]

    13. 2011.01.21 (seminario)

      A. Pedrini
      Fuzzy Logic 2.0? [pdf]
      Una nuova costruzione probabilistico-modale come modello unificante per diverse logiche fuzzy

    Docente

    1. Marco Piastra
      marco.piastra@unipv.it

    2. Ricevimento studenti per appuntamento


    Esami

    1. Date da definire


    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.

    3. Ulf Nilsson, Jan Maluszynski. Logic, Programming and Prolog (2ed). John Wiley & Sons Ltd. [pdf]


    Links

    1. Intelligenza Artificiale II, A.A. 2009/2010 e precedenti