First Semester
Fri: 11:00 a.m. - 1:00 p.m., Aula 5
Fri: 2:00 p.m. - 4:00 p.m., Aula 5
Introduction [pdf]
Alan Turing (Wikipedia)
Computer chess (Wikipedia)
BBC2 Horizon, "Out of Control", 2012 [video]
D. Silver, et al., "Mastering the game of Go with deep neural networks and tree search", Nature, 529, 2016 [link]
"AlphaGo - The Movie | Full Documentary", YouTube, 2020 [video]
"The 35 Year History of ChatGPT", YouTube, 2024 [video]
Symbolic Reasoning [pdf]
Language, schemas and reasoning
Syllogism (ancient logic) (Wikipedia)
Propositional Logic [pdf]
Boolean algebras, formal propositional language and its semantics, satisfiability, entailment
Rules of inference, justified by entailment (Wikipedia)
Entailment and Algorithms [pdf]
Turing machine, decision problems, computational complexity, entailment as a satisfiability problem (refutation)
Automated Symbolic Calculus [pdf]
Resolution by refutation, soundess and completeness, computational complexity
First-order Logic [pdf]
First-order semantic structures, formal language, variables and quantifiers, satisfaction,
entailment
Semi-decidability of First-Order logic [pdf]
Prenex normal form, skolemization, Herbrand's theorem
First-Order Resolution [pdf]
Clausal form, unification, resolution method for first-order logic
Marco Piastra
Contact: marco.piastra@unipv.it
Mordechai Ben-Ari, Mathematical Logic for Computer Science (3rd Edition). Springer, 2012
Kevin P. Murphy, Probabilistic Machine Learning: Advanced Topics, MIT Press, 2023. [Pre-print]