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 dimostrazioni online viste a lezione
Turing machine (Wikipedia)
Church–Turing thesis (Wikipedia)
Self-organization (Wikipedia)
Cellular automaton (Wikipedia)
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)
Cook, S.A., Liu, Y., A Complete Axiomatization for Blocks World, Journal of Logic and Computation, 13 (4) 2003 [pdf]
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]
Risoluzione, unificazione, logic programming [pdf]
Apt, K. R., The Logic Programming Paradigm and Prolog, 2001 [pdf]
Esempio "ancestors.pl" [pl] (derivabilità e SLD depth-first)
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]
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)
Defeasible Reasoning (Stanford Encyclopedia of Philosophy)
Logiche modali e temporali [pdf]
Modal logic (Wikipedia)
Linear temporal logic (Wikipedia)
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)
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]
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]
Introduzione al calcolo evolutivo [pdf]
A Java-based Evolutionary Computation Research System (ECJ) (free software - scaricare la versione 15) [link]
Fuzzy Logics [pdf]
Genetic Programming [pdf]
Esempio di symbolic regression tramite GP (applet) [link]
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]
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]
Marsland, S., A self-organising network that grows when required, Neural Networks, 15, 2002 [pdf]
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]
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 di Glider Guns per Golly [zip]
Artificial Life - Chapter 3: Cellular Automata, 3.5 One Dimensional Cellular Automata, by J. Scott Cameron [link]
Kari, J., Theory of cellular automata: A survey, Theoretical Computer Science, 334, 2005 [link]
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]