CSC 486F/2502F: Knowledge Representation and Reasoning
Fall, 2000

Lectures: F12-2 SS 2130, Tutorial: T1 SS 2130 (by arrangement)

Instructor: Maurice Pagnucco; (morri@cs.toronto.edu)
Office: D. L. Pratt LP 271, 978-7453
Office Hours: M 1:30-3:30, and by appointment.

Text: Draft book chapters to be distributed in class

Prerequisites: Course in Artificial Intelligence and working knowledge of LISP/Prolog plus first-order logic

Corequisites: CSC 2404: Computability and Logic

Marking: 4 problem sets 60% and 2 tests 40%

Course handout

• Problem Sets:
  • Problem Set 1; Due: October 13; Worth: 15%
  • Problem Set 2; Due: November 10; Worth: 20%
  • Problem Set 3; Due: December 1; Worth: 15%
  • Problem Set 4; Due: December 8; Worth: 10% [Prelimary version; there may be changes prior to its official release on December 8.]
• Term Tests:
  • Term Test 1; Date: October 27; Worth 20%
  • Term Test 2; Date: December 8; Worth 20%

Notes:

20/09/2000

Undergraduate accounts have been created

A tutorial will be held on Tuesday (26/09/2000)

29/09/2000

A tutorial will be held on Tuesday (03/10/2000)

10/10/2000

A tutorial will be held on Tuesday (10/10/2000)

10/10/2000

A tutorial will be held on Tuesday (17/10/2000)