CSC486H1: Knowledge Representation and Reasoning

Hours: 
24L/12T

Representing knowledge symbolically in a form suitable for automated reasoning, and associated reasoning methods. Topics from: first-order logic, entailment, the resolution method, Horn clauses, procedural representations, production systems, description logics, inheritance networks, defaults and probabilities, tractable reasoning, abductive explanation, the representation of action, planning.

Prerequisite: 
Recommended Preparation: 
Distribution Requirements: 
Science
Breadth Requirements: 
The Physical and Mathematical Universes (5)