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:

• Foundations of Logic & Inference: Tutorial given at the 14th International Joint Conference on Artificial Intelligence, August 20, 1995, and short course given at the First International Summer Institute on Cognitive Science (FISI), Buffalo, NY, July, 1994.
• B. Kramer & J. Mylopoulos, "Knowledge Representation." In S. C. Shapiro, Ed., Encyclopedia of Artificial Intelligence, Second Edition. New York: John Wiley & Sons, 1992.

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/Project	With Term Paper/Project
Attendance 5% Homeworks 15% Midterm Exam 35% Final Exam 45%	Attendance 5% Homeworks 15% Midterm Exam 15% Final Exam 25% Term Paper/Project 40%

---

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	THURSDAY	COMMENTS
1	9/2: First Class Introduction	9/4 Introduction, Part 2 Begin Classical Logic	Chapter 1
2	9/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
3	9/16 Foundations of Logic & Inference pp. SA1-104 - 122	9/18: HW1 Due See answers. Facing the Open World	Chapter 3
4	9/23 Non-Monotonic Logic and TMSs	9/25: HW2 Due See answers. Chapter 3.2	Chapter 4
5	9/30 Relevance Logic & ATMSs	10/2: Rosh Hashanah No Class	Chapter 4
6	10/7: Term Paper/Project proposal due Modal Logic	10/9 Begin Semantic Networks Chapter 6	Chapter 5
7	10/14 SNePS	10/16: HW3 Due See answers	Chapter 5
8	10/21 Midterm Exam	10/23 Go over Exam	10/24: R Deadline Chapter 6
9	10/28 more on SNePS	10/30 Conceptual Dependency	Chapter 6
10	11/4 Frames	11/6 KL-ONE Family	Chapter 7
11	11/11 More on KL-ONE Family	11/13: HW4 Due See answers Finish KL-ONE Family	Chapter 8
12	11/18 Levels of Representation	11/20: HW5 Due See answers	Chapter 9
13	11/25: Follow Thursday schedule Formalizing English	11/27: Fall Recess No class	Chapter 10
14	12/2 KIF	12/4 Ontologies	Chapter 10
15	12/9	12/11: Last class	Conclusions
FINALS WEEK		12/18: Final Exam 11:45-2:45 PM 221 Clemens

---

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