Please note:

To view the current calendar, go to www.sfu.ca/students/calendar.html

Formal Topics - Knowledge Representation CMPT 823 (3)

This course surveys current research in formal aspects of knowledge representation. Topics covered in the course will centre on various features and characteristics of encodings of knowledge, including incomplete knowledge, non monotonic reasoning, inexact and imprecise reasoning, meta-reasoning, etc. Suggested preparation: a course in formal logic and a previous course in artificial intelligence.