COMP329: Knowledge Systems

COMP329 - Lecture Notes

Week	Topic	Lecture Notes
weeks 1-6	Intro to AI and Formal Reasoning	Slides (two per sheet) Slides (one per sheet)
weeks 4-6	Logic Programming	Introduction to Prolog Lists in Prolog Prolog: Arithmetic & Structure Inspection
week 7	Reasoning with Uncertainty -- I	Probability Slides,
week 8	Logic Programming City Rail Map in Prolog Clausal Logic SLD-Resolution
week 9	Logic Programming Pruning the SLD-Tree Negation as Failure Parsing in Prolog
week 10	Logic Programming and Search Search Strategies Meta-Interpreters From a Problem Description to Clausal Logic
week 11	Advanced Topics in LP Model Building More on Model Building Event Calculus
week 12	Advanced Topics in AI Abductive Reasoning
week 12	Advanced Topics in AI Review Meta-Interpreters
week 13	Review Review: Second Half