UNIVERSITY AT BUFFALO - STATE UNIVERSITY OF NEW YORK
The Department of Computer Science & Engineering

STUART C. SHAPIRO: CSE 676

CSE676: Knowledge Representation Fall, 1999

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

Instructor:
Prof. Stuart C. Shapiro, 326 Bell Hall, 645-3180 ext. 125, `shapiro@cse.buffalo.edu`
Office Hours: MWF 1:00-2:00 PM, TTh 10:30-11:30 AM. Or make an appointment via e-mail. See my schedule for my available times.

Class Meetings: Tue Thu 12:30 - 1:50 PM, 260 Capen Hall

Registration Number: 366681

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

Other References:

Foundations of Logic & Inference: Various versions of a presentation on the basics of Logic as they relate to AI in general and KR specifically.
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; Term paper or project.

Grading Policy:

Attendance 5%

Homeworks 15%

Midterm Exam 15%

Final Exam 25%

Term Paper/Project 40%

Incompletes:
See the general policy on Incompletes. In short, don't expect an Incomplete in this course.

Academic Integrity:
All work submitted for this course is expected to be solely that of the student submitting it. See the general policy on Academic Integrity.

Schedule:
This schedule is provided for approximate pacing only. It may change as we proceed through the semester. However, the date of the Midterm Exam is fixed, and the Final Exam will be given during Finals Week.
Don't plan on leaving town before the end of Finals Week.

CS 676, 12:30 - 1:50 PM, ROOM 260 Capen Hall
WEEK TUESDAY THURSDAY COMMENTS

1 8/31: First Class
Introduction 9/2
Introduction, Part 2
Begin Classical Logic Chapter 1

2 9/7
Foundations of Logic & Inference through p. SA1-44 9/9
Foundations of Logic & Inference pp. SA1-45 - 64, 82 - 92 9/10: Drop/Add Deadline
Chapter 2

3 9/14
HW1 out
Foundations of Logic & Inference
pp. SA1-93 - 122 9/16:
HW2 out
Facing the Open World
Non-Monotonic Logic
Chapters 2, 4

4 9/21
Treat as Monday
No Class 9/23:
HW1 due
see answers
Chapter 3.2:
Relevance Logic Chapter 4, 3.2

5 9/28
HW2 due
see answers
Modal Logic 9/30:
HW3 out
continue Modal Logic Chapter 3

6 10/5: Term Paper/Project proposal due
JTMSs & ATMSs
10/7
HW3 due
see answers
Begin Semantic Networks
Chapter 6 Chapters 5, 6

7 10/12
SNePS 10/14:
Chapter 6

8 10/19
Midterm Exam 10/21
Go over Exam 10/22: R Deadline

9 10/26
more on SNePS 10/28
HW4 out
Conceptual Dependency Chapter 6

10 11/2
Frames 11/4
KL-ONE Family Chapters 7, 8

11 11/9
HW4 due
See answer.
More on KL-ONE Family 11/11:
Finish KL-ONE Family Chapter 8

12 11/16:
Term Paper/Project draft due
Understanding Subsumption and Taxonomy 11/18:

13 11/23

11/25: Fall Recess
No class Chapter 10

14 11/30:
Time 12/2
Embodied Cassie Chapter 10

15 12/7 12/9:
Last class Conclusions

FINALS
WEEK 12/14 12/16 12/17: Final Exam
11:45 - 2:45
138 Bell Hall

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