COSC410

Logic for Artificial Intelligence

Lectures - Semester 1 2016


Lecture 1 Introducing propositional logic
Lecture 2 Metalogic
Lecture 3 The Ineffability Theorem
Lecture 4 Nonmonotonic Logic
Mid Semester Break
Lecture 5 Belief Change
Lecture 6 Automated Reasoning Algorithms
Lecture 7 Epistemic logic
Lecture 8 Temporal logic
Lecture 9 BDI agents and LORA
Lecture 10 (MP3) SAT-solvers (Slides)
Lecture 11 (MP3) First order predicate calculus (Slides)
Lecture 12 (MP3) Datalog (Slides)
Lecture 13 (MP3) Description logics (Slides)