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: 
Exclusion: 

NOTE: Students not enrolled in the Computer Science Major or Specialist program at the UTSG, UTM, or UTSC are limited to a maximum of three 300-/400-level CSC/ECE half-courses.

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