The Department of Computer Science & Engineering
cse@buffalo

CSE663: Advanced Knowledge Representation
Stuart C. Shapiro
Spring, 2010

TTh 9:30 - 10:50, 224 Bell Hall
Registration No. 183760


Professor:
Prof. Stuart C. Shapiro, 326 Bell Hall, 645-4765, shapiro@buffalo.edu
Office Hours: TBA, or make an appointment via email. See my schedule for my available times.

Text:
Ronald J. Brachman & Hector J. Levesque, Knowledge Representation and Reasoning, Morgan Kaufmann, 2004. ISBN: 1-55860-932-6. List price $80.95.

Manual:
Stuart C. Shapiro and The SNePS Implementation Group, SNePS 2.7 User's Manual, Department of Computer Science and Engineering, University at Buffalo, The State University of New York, Buffalo, NY, 2004.

UBlearns site:
The UBlearns site will be used for confidential information.

Course requirements:

Projects:
There will be three projects in which you will gain practical experience with the material we will be studying. You will have about 3 weeks to do each one. For each project, you are to turn in a short paper describing what you did, as well as the code you produced. Each project will be assessed with a letter grade. No late projects will be accepted.

Term Project:
The term project is to be an implementation and a paper describing it. The implementation could either be using SNePS to implement an agent or some other knowledge-based system, or using a conventional programming language to contribute to the implementation of SNePS. Some project suggestions have been provided. The paper must satisfy the style of a publishable paper, must describe the implementation, and must discuss the relevant literature. For some projects the literature survey will be more extensive than for others. The use of LaTeX to prepare the paper is highly recommended. The paper/project must reflect the course material from this course.

Expect to spend at least 3/4 of the semester working on the paper/project. You must turn in:

  1. a term project proposal on Tuesday, February 2, 2010;
  2. a term project proposal second draft on Thursday, February 11, 2010;
  3. a term paper first draft on Tuesday, March 2, 2010;
  4. a term paper second draft on Thursday, April 15, 2010;
  5. the final version of the term paper on the last day of Exam week: Thursday, May 6, 2010.

The term project, if satisfactorily completed, may be used to satisfy the CSE Department's MS Project requirement. In some cases another semester of supervised research may be needed to complete the MS project. The term project may also form the basis of an MS thesis, but in this case an additional semester will generally be needed. If you intend to use the term project as (part of) your MS project or thesis, you must so inform the professor in your term project proposal.

Grading:
The weights of the various course requirements in the final course grade will be:
Attendance/Participation5%
Short projects15%
Term project/paper80%

Academic Policies:
This course will abide by the CSE Department academic integrity policies (See the departmental Graduate Policies, and Dr. Rapaport's page on academic integrity), and the Graduate School incomplete policy The short versions are:

This course will also abide by the University's principles and procedures regarding students with disabilities. See the Office of Disability Services' statement on UB's Commitment to Disability Access. Notify the lecturer if you need any accommodations under these policies.

Course Calendar:
This is a tentative schedule, and will probably change continually as the semester proceeds. Spring Break
WeekDayDateComments
1 Tue1/12First Class
Review of SNePS: Lecture notes slides on SNePS p. 430-450
A SNePSLOG Guide to SNePS 2
 Thur1/14 Project1 assigned
Review of SNePS: slides on SNePS p. 451-474
 Fri1/15 Last day to drop without financial penalty
2 Tue1/19 Review of SNePS: slides on SNePS p. 475-480
SNePS Acting System: slides on SNeRE p. 488-491,496-509;
 Thur1/21 SNePS Acting System: slides on SNeRE p. 510-511;
NRAC-05 Wumpus World papers; Shapiro & Kandefer, 2005; Shapiro & Kandefer NRAC-05 Talk
SNeRE examples: /projects/robot/Karel/ElevatorWorld/elevator.snepslog; /projects/robot/Fevahr/Ascii/afevahr.snepslog-along-with-/projects/robot/Fevahr/demo.sneps /projects/robot/TelephoneFevahr/FevahrTelephone.snepslog-along-with-/projects/robot/TelephoneFevahr/demo.sneps /projects/robot/Karel/WumpusWorld/WWAgent.snepslog
 Fri1/22 Drop/Add deadline
3 Tue1/26 Shapiro & Bona, The GLAIR Cognitive Architecture
 Thur1/28 /projects/robot/Fevahr/Java/jfevahr.snepslog-along-with-/projects/robot/Fevahr/demo.sneps
SNePS 3: A Logic of Arbitrary and Indefinite Objects: talk; paper;
4 Tue2/2 Term project proposal due
Shapiro, Semantics of a Propositional Network, invited talk presented at the Institute for Discrete Sciences Workshop on Associating Semantics with Graphs, The DyDAn Center at the Center for Discrete Mathematics and Theoretical Computer Science (DIMACS), Rutgers University, April 16-17, 2007.
Shapiro, Semantic Types (Sorts) in SNePS 3, Presentation to SNeRG, March 28, 2008.
 Thur2/4 Example runs of SNePS 3 /projects/snwiz/Sneps3/sneps3
5 Tue2/9 Review of SNePS: Belief Revision
See Slides on BR, p 512-523
 Thur2/11 Term project proposal second draft due (See Dr. Rapaport's How to Write)
Review of SNePS: Belief Revision
See Slides on BR, p 524-554
A SNePSLOG Guide to SNePS 2 Sect. 6, 9,
/projects/shapiro/Sneps/SnepsIntro/contradictions1.snepslog
and /projects/shapiro/Sneps/SnepsIntro/contradictions2.snepslog
6 Tue2/16 Review of SNePS, Path-based inference: slides on SNePS p. 492-495,
A SNePSLOG Guide to SNePS 2 Sect. 11.2,
pbinfFig1, pbinfFig2, & pbinfFig3, pbinfFig4b.
SNePS Tour, contexts: An Introduction to SNePS, Chapter 8
 Thur2/18 Project2 assigned: Redo Project 1, but with Jess replacing SNePS/SNeRE
Production Systems: B&L, Chap. 7; Jess
7 Tue2/23 Guest lecture by William J. Rapaport
 Thur2/25 Guest lecture by Mike Kandefer & Mike Prentice
8 Tue3/2 Term paper first draft due
Frames: B&L, Chap. 8
 Thur3/4 Project1 due
Description Logics: B&L, Chap. 9; Classic
  Tue3/9 Spring Break
 Thur3/11Spring Break
9 Tue3/16 Classic example: /projects/shapiro/CSE663/ClassicExamples/classicPizzaExample.cl
 Thur3/18 Classic example: /projects/shapiro/CSE663/ClassicExamples/classicPizzaExample.cl
Inheritance Networks: B&L, Chap. 10
10 Tue3/23 Inheritance Networks: B&L, Chap. 10
 Thur3/25 Project2 due
Inheritance Networks: B&L, Chap. 10
 Fri3/26 R deadline
11 Tue3/30 Defaults: B&L, Chap. 11
 Thur4/1 Term paper second draft due
Circumscription, Default and Autoepistemic Logics: B&L, Chap. 11.3-11.6
12 Tue4/6
Abduction: Explanation and Diagnosis, B&L, Chap. 13
 Thur4/8 Vagueness, Uncertainty, and Degrees of Belief: B&L, Chap. 12
13 Tue4/13 Bayesian Networks and Vague Predicates
 Thur4/15 Term paper third draft due
Nelson presentation
KR for Natural Language Competence
14 Tue4/20 Student Presentations: Keer, Fogel, Li, Schlegel
 Thur4/22
Last Class
Student Presentations: Do, Balchand, Kashyap, Nelson
 Tue4/27
Reading Day
 Thur4/29
First Day of Final Exams
 Thur5/6 Last Day of Final Exams.
Term paper due.

Last modified: Thu Apr 15 13:13:25 2010
Stuart C. Shapiro <shapiro@cse.buffalo.edu>