Notes for an undergraduate course unit in Artificial Intelligence

These notes were last used in 1995. They are for a course in Artificial Intelligence that was centred around Prolog, so they start with predicate logic as a knowledge representation system, move on to the logic background of Prolog, and programming in Prolog itself, and conclude with criticisms of classical logic for knowledge representation and some suggested alternatives.

Part 1: Introduction
Part 2: Logic
Part 3: Prolog
Part 4: Semantic Nets
Part 5: Reasoning with Uncertainty

Matthew Huntbach