Secondo semestre
Ven: 11:00-13:00, Aula A1
Ven: 14:00-16:00, Aula C1
Presentazione del corso [pdf]
Alan Turing (Wikipedia)
Computer chess (Wikipedia)
Shannon, C., "Programming a Computer for Playing Chess", Philosophical Magazine, 41 (314), 1950 [pdf]
Campbell, M., Hoane, A. J., Hsu, F., "Deep Blue", Artificial Intelligence, 134 (1-2), 2001 [pdf]
"Building Watson - A Brief Overview of the DeepQA Project", YouTube, 2011 [video]
"Final Jeopardy! and the Future of Watson", TED, 2011 [video]
Ferrucci, D., et al., "Building Watson: An Overview of the DeepQA Project", AI Magazine, 3 (31), 2010 [pdf]
Logica formale [pdf]
Schemi e ragionamento
Logica proposizionale [pdf]
Algebre di Boole, linguaggio e semantica proposizionale, soddisfacibilità, conseguenza logica
Esercitazione 1 [pdf]
Esempio "Parity Checker (FSA)" [zip] (automa a stati finiti in Jess)
Finite State Automaton (Wikipedia)
Jess - the Rule Engine for the Java Platform (free software) [link]
Menken, M., Jess Tutorial, Vrije Universiteit, Amsterdam, 2002 [pdf]
Logica proposizionale [pdf]
Algebre di Boole, linguaggio e semantica proposizionale, soddisfacibilità, conseguenza logica
Esercitazione 2 [pdf]
Esempio "Parity Checker (TM)" [zip] (macchina di Turing in Jess)
Turing Machine (Wikipedia)
Busy Beaver (Wikipedia)
Soddisfacibilità e algoritmi [pdf]
Soddisfacibilità e conseguenza logica, complessità di calcolo, metodo dei Semantic Tableau
Sistemi deduttivi [pdf]
Sistemi assiomatici 'a la Hilbert', derivazioni, correttezza, completezza
Risoluzione proposizionale [pdf]
Forma a clausole, regola e metodo di risoluzione, clausole di Horn, risoluzione SLD
Logica del primo ordine: predicati e relazioni [pdf]
Linguaggio del primo ordine e strutture semantiche
SLD resolver in Jess (traccia) [zip]
Semi-decidibilità della logica del primo ordine [pdf]
Forma normale prenessa, skolemizzazione, teorema di Herbrand
Esercitazione 5 - Sistemi a regole: algoritmo Rete [pdf]
Risoluzione del primo ordine [pdf]
Forma a clausole, unificazione, metodo della risoluzione in logica del primo ordine
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)
Modello minimo, programmi logici [pdf]
Modelli di Herbrand, modello minimo, teorema di van Emden e Kowalski
Marco Piastra
marco.piastra@unipv.it
Ricevimento studenti per appuntamento
24 giugno 2011, Aula E7, h 9:30
29 luglio 2011, Aula E2, h 9:30
Mordechai Ben-Ari. Mathematical Logic for Computer Science (2nd Edition). Springer, 2001, ISBN 1-85233-319-7.
Lorenzo Magnani, Rosella Gennari. Manuale di logica. Guerini Scientifica, 1997, ISBN 888107097-9.
Stuart Russell, Peter Norvig. Intelligenza Artificiale: un approccio moderno. UTET, ISBN 88-7750-406-4. Traduzione di Luigia Carlucci Aiello.