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 A&S, UTM, or UTSC, or the Data Science Specialist at A&S, are limited to a maximum of 1.5 credits in 300-/400-level CSC/ECE courses.
Distribution Requirements
Science
Breadth Requirements
The Physical and Mathematical Universes (5)
Mode of Delivery
In Class