Università degli Studi di Pavia

Facoltà di Ingegneria


Intelligenza Artificiale II

A.A. 2006-2007

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

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

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

    2. 2006.10.06

      Logica del primo ordine [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)

    3. 2006.10.13

      Semi-decidibilità della logica del primo ordine [pdf]

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

    4. 2006.10.20

      Risoluzione, unificazione, logic programming [pdf]

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

    5. 2006.10.27

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

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

      Oltre la logica classica [pdf]

      Christiansen, H., Abductive reasoning in Prolog and CHR, RUC, Sept. 2005 [pdf]
      Codice degli esempi (con minimi adattamenti a SWI-Prolog) [zip]

      Non-monotonic logic (Wikipedia)

    7. 2006.11.10

      Logiche modali e temporali [pdf]

      Modal logic (Wikipedia)
      Linear temporal logic (Wikipedia)

    8. 2006.11.24

      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 axioms (Wikipedia)
      Bayes' theorem (Wikipedia)

    9. 2006.12.01

      Ragionamento probabilistico: inferenza [pdf]

      Mozilla Spam Filtering [link]
      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 [pdf]

      Introduzione al calcolo evolutivo [pdf]

      A Java-based Evolutionary Computation Research System (ECJ) (free software - scaricare la versione 15) [link]

    10. 2006.12.15

      Ragionamento probabilistico: apprendimento [pdf]

      Neal, R.M., Hinton, G.E., A view of the EM algorithm that justifies incremental, sparse, and other variants, Learning in Graphical Models, 1998 [pdf]

      Lam, W., Bacchus, F., Learning Bayesian Belief Networks: An Approach Based on the MDL Principle, Computational Intelligence, 1994 [pdf]

      Whitley, D., An Efficient Data Mining Method for Learning Bayesian Networks Using an Evolutionary Algorithm-Based Hybrid Approach, IEEE Transactions on Evolutionary Computation, vol. 8, n. 4, 2004 [link]

    11. 2006.12.22

      Genetic Programming [pdf]

      Langdon, W. B., Qureshi, A. - Genetic Programming: Computers using Natural Selection to generate programs, University College, Research Note: RN/95/76, 1995 [pdf]

      Langdon, W.B., Poli, R., Why Ants are Hard, University of Birmingham, TR, 1998 [pdf]

    12. 2007.01.12

      Self-organizing systems [pdf]

      Self-organization (Wikipedia)
      Emergence (Wikipedia)

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

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

      Robotic Introspection: Self Modeling (Starfish robot) Cornell University [link]

    13. 2007.01.19

      Automi cellulari [pdf]

      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 di Glider Guns per Golly [zip]

      Cellular Automata in one dimension: A Simple Dynamical System Interactive Tutorial by Sam Reid [link]

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

    14. 2007.01.26

      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]

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