Class 3. P: ECE 600 or consent of instructor. This course consists of
four parts: The first part deals with heuristic search and shows how
problems involving search can be solved more efficiently by the use of
heuristics; how in some cases it is possible to discover heuristics
automatically; knowledge representation and deduction, with emphasis
on predicate calculus and associated concepts such as resolution and
unification. The last part of the course will deal with the design of
a small-scale reasoning framework using the paradigm of logic
programming.