Università degli Studi di Pavia

Facoltà di Ingegneria


Intelligenza Artificiale II

A.A. 2009-2010

Primo semestre

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

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

Lezioni & letture consigliate:

  • Le segnalazioni di eventuali errori sono sempre benvenute

    1. 2009.10.02

      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. 2009.10.09 (teoria)

      Oltre la logica classica: ragionamento plausibile [pdf]

    3. 2009.10.09 (esercitazione)

      Risoluzione, unificazione e logic programming [pdf]

      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)

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

    4. 2009.10.16 (teoria) Closed world assumption (Wikipedia)
      Default logic (Wikipedia)

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

    5. 2009.10.16 (esercitazione)

      Esempio di implementazione Prolog della macchina di Turing, "turingmachine.pl" [pl], tratto da Crookes, D., "Using Prolog to Present Abstract Machines", ACM SIGCSE Bulletin, Vol. 20 No. 3, Sept. 1988 [link]

    6. 2008.10.23 (esercitazione)

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

    7. 2009.10.30 (teoria)

      Logiche modali [pdf]

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

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

    8. 2009.11.06 (esercitazione)

      Gorè, R., Tableau Methods for Modal and Temporal Logics [link]

      The Tableau WorkBench (TWB) - Un dimostratore online per logiche modali proposizionali [link]

    9. 2009.11.13 (esercitazione)

      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

    10. 2009.11.20 (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)

    11. 2009.11.20 (seminario)

      A. Bollini
      Semantic Data [pdf]
      Introduzione alle tecnologie semantiche applicate al trattamento di dati distribuiti e parzialmente strutturati

      Ulteriore approfondimento:
      Feigenbaum, L., The 2009 Semantic Web Landscape [link]

    12. 2009.12.04 (esercitazione)

      Introduzione al calcolo evolutivo [pdf]

      Esempio di symbolic regression tramite GP (applet) [link]

      Luke, S., "Essentials of Metaheuristics", 2009, available at [http://cs.gmu.edu/~sean/book/metaheuristics/]

    13. 2009.12.11 (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]

    14. 2009.12.18 (teoria)

      Ragionamento probabilistico: apprendimento [pdf]

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

    15. 2009.12.18 (seminario)

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

    16. 2010.01.08 (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]

    17. 2010.01.08 (seminario)

      M. Piastra
      Self-Organizing Adaptive Maps (SOAM) [pdf]
      Un sistema auto-organizzante per la ricostruzione di curve e superfici

    18. 2010.01.15 (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]

    19. 2010.01.22 (teoria)

      Calcolo evolutivo - elementi di teoria [pdf]

      Whitley, D., An Overview of Evolutionary Algorithms: Pratical Issues and Common Pitfalls, Information and Software Technology, 2001 [pdf]

      Wolpert, D.H., Macready, W.G., No Free Lunch Theorems for Optimization, IEEE Transactions on Evolutionary Computation, 1 (1) 1997 [pdf]

    20. 2010.01.22 (esercitazione)

      Robocode 1.0.7 (versione modificata del 2006-05-20) [zip]
      GPRobocode (versione aggiornata del 2007-01-19) [zip]

    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. 2008/2009 e precedenti