Primo semestre
Ven: 11:00-13:00, Aula E4
Ven: 16:00-18:00, Aula C1
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)
Semi-decidibilità della logica del primo ordine [pdf]
Oltre la logica classica [pdf]
Risoluzione, unificazione, 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]
Apt, K. R., The Logic Programming Paradigm and Prolog, 2001 [pdf]
Reti neurali [pdf]
Seminario a cura del Dott. Roberto Marmo
Logiche modali e temporali [pdf]
Modal logic (Wikipedia)
Kripke semantics (Wikipedia)
Linear temporal logic (Wikipedia)
Zalta, E. N., Basic Concepts in Modal Logic, 2001 [pdf]
Esempio "ancestors.pl" [pl] (derivabilità e SLD depth-first)
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]
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)
Esempio "library.pl" [pl] (uso del cut e della negation as failure)
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]
Ragionamento probabilistico: apprendimento [pdf]
Borman, S., The Expectation Maximization Algorithm - A short tutorial, 2008 [pdf]
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]
Introduzione al calcolo evolutivo [pdf]
Esempio di symbolic regression tramite GP (applet) [link]
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]
Genetic Programming [pdf]
Poli, R., Langdon, W. B., McPhee, N. F., A Field Guide to Genetic Programming, ISBN 978-1-4092-0073-4, 2008 (free eBook) [link]
Robocode 1.0.7 (versione modificata del 2006-05-20) [zip]
GPRobocode (versione aggiornata del 2007-01-19) [zip]
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]
Marco Piastra
marco.piastra@unipv.it
Ricevimento studenti per appuntamento
Date da definire
Stuart Russell, Peter Norvig. Intelligenza Artificiale: un approccio moderno. UTET, ISBN 88-7750-406-4. Traduzione di Luigia Carlucci Aiello.
Lorenzo Magnani, Rosella Gennari. Manuale di logica. Guerini Scientifica, 1997, ISBN 888107097-9.
Ulf Nilsson, Jan Maluszynski. Logic, Programming and Prolog (2ed). John Wiley & Sons Ltd. [pdf]