Knowledge Representation and Reasoning

Graduate

This course covers advanced topics in knowledge representation and reasoning including Non- monotonic logic, Temporal and spatial representation and reasoning, Probabilistic approaches, Belief and decision networks, and an overview of the applications of these formalisms to diagnosis, navigation and decision making. (Prerequisite: BSc Honours Computer Science or permission of instructor.)