Lecturer: Dr W.F. Clocksin (wfc@cl.cam.ac.uk)
No. of lectures: 12
Prerequisite course: Prolog for Artificial Intelligence
Problems and challenges.
Theories and methods.
AI programming.
Constraints.
Knowledge representation.
Reasoning.
Inference.
Fuzzy logic.
Qualitative control.
Search.
Planning.
Decision making.
Recommended books:
Russell, S. & Norvig, P. (1995). Artificial Intelligence: A Modern Approach. Prentice-Hall.
Shoham, Y. (1994). Artificial Intelligence Techniques in Prolog. Morgan Kaufmann.