Secondo semestre
Ven: 11:00-13:00, Aula EF3
Ven: 14:00-16:00, Aula B2
Presentazione del corso [pdf]
I guai che provocò la perfezione di Trurl – Stanislaw Lem (racconto)
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]
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 formale [pdf]
Schemi e ragionamento
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)
Soddisfacibilità, Semantic Tableau [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
SLD resolver in Jess (traccia) [zip]
Logica del primo ordine: predicati e relazioni [pdf]
Linguaggio del primo ordine e strutture semantiche
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
2 luglio 2010, Aula A2, h 9:15
30 luglio 2010, Aula E1, h 9:15
10 settembre 2010, Aula E4, h 9:15
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.