CPSC 352 -- Artificial Intelligence
Notes: Predicate Calculus
Introduction
In this lecture we introduce the predicate calculus as a
representation language for AI. The advantage of the predicate
calculus include a well-defined formal semantics, so we know
what the expressions mean, and a set of sound and
complete inference rules, so we can validly derive new
knowledge.
Another justification for studying the predicate calculus is that
it will give us a foundation for introducing PROLOG.
There are three parts to this topic: