CS676: Knowledge Representation Fall, 1997


Contents:
Instructor; Class Meetings; Registration Number; Text; Other References;
Course Requirements; Grading Policy; Schedule.

Instructor:
Prof. Stuart C. Shapiro, 226 Bell Hall, 645-3180 ext. 125, shapiro@cs.buffalo.edu

Office Hours: See my schedule. If I'm in my office, and not talking to someone else, I'll be happy to talk with you. Or make an appointment via Gloria Koontz, koontz@cs.buffalo.edu, 716-645-3180 Ext. 103

Class Meetings: Tue Thu 9:30 - 10:45 AM, 220 Natural Sciences Building

Registration Number: 140189

Text:
João Pavão Martins, Knowledge Representation, ms., 1997.
Obtain from Makin' Copies, UB Commons, Suite 105.
This is a book in progress. Send comments and suggestions to jpm@poirot.ist.utl.pt.

Other References:

Course Requirements:
Attendance; Homework problem sets; Midterm exam; Final exam.
You may propose a term paper or project on some aspect of Knowledge Representation. If your proposal is accepted, the term paper or project will be due on the last day of Finals week. There will be no extensions or incompletes given on term papers/projects.

Grading Policy:

Without Term Paper/ProjectWith Term Paper/Project
Attendance5%
Homeworks15%
Midterm Exam35%
Final Exam45%
Attendance5%
Homeworks15%
Midterm Exam15%
Final Exam25%
Term Paper/Project40%


Schedule:
The chapters shown in the "COMMENTS" column are for approximate pacing, not as a guaranteed syllabus.
CS 676, 9:30 - 10:45 AM, ROOM 220 Natural Sciences Building
WEEK TUESDAY THURSDAYCOMMENTS
19/2: First Class
Introduction
9/4
Introduction, Part 2
Begin Classical Logic
Chapter 1
29/9
Foundations of Logic & Inference through p. SA1-50
9/11
Foundations of Logic & Inference pp. SA1-50 - 59, 82 - 102
9/12: Drop/Add Deadline
Chapter 2
39/16
Foundations of Logic & Inference
pp. SA1-104 - 122
9/18: HW1 Due
See answers.
Facing the Open World
Chapter 3
49/23
Non-Monotonic Logic and TMSs
9/25: HW2 Due
See answers.
Chapter 3.2
Chapter 4
59/30
Relevance Logic & ATMSs
10/2: Rosh Hashanah
No Class
Chapter 4
610/7: Term Paper/Project proposal due
Modal Logic
10/9
Begin Semantic Networks
Chapter 6
Chapter 5
710/14
SNePS
10/16: HW3 Due
See answers
Chapter 5
810/21
Midterm Exam
10/23
Go over Exam
10/24: R Deadline
Chapter 6
910/28
more on SNePS
10/30
Conceptual Dependency
Chapter 6
1011/4
Frames
11/6
KL-ONE Family
Chapter 7
1111/11
More on KL-ONE Family
11/13: HW4 Due
See answers
Finish KL-ONE Family
Chapter 8
1211/18
Levels of Representation
11/20: HW5 Due
See answers
Chapter 9
1311/25: Follow Thursday schedule
Formalizing English
11/27: Fall Recess
No class
Chapter 10
1412/2
KIF
12/4
Ontologies
Chapter 10
1512/912/11: Last classConclusions
FINALS
WEEK
 12/18: Final Exam
11:45-2:45 PM
221 Clemens
 


Stuart C. Shapiro <shapiro@cs.buffalo.edu>