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