The Department of Computer Science & Engineering
cse@buffalo

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

TTh 12:30 - 1:50, 260 Capen Hall
Registration No. 095116

Professor:
Prof. Stuart C. Shapiro, 326 Bell Hall, 645-4765, shapiro@buffalo.edu
Office Hours: M 2:30-3:20, W 10:00-10:50, Th 10:30-11:20, 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.1 User's Manual, Department of Computer Science and Engineering, University at Buffalo, The State University of New York, Buffalo, NY, 2010.

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

Course requirements:

Short Projects:
There will be three short 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. All files required for testing the implementation must be submitted, and the instructor must be able to run them. 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 8, 2011;
  2. a term project proposal second draft on Thursday, February 17, 2011;
  3. a term paper first draft on Tuesday, March 8, 2011;
  4. a term paper second draft on Thursday, April 7, 2011;
  5. a term paper third draft on Thursday, April 21, 2011
    (Must be complete except for corrections to final comments, and all relevant files must be submitted);
  6. the final version of the term paper on the last day of Exam week: Thursday, May 12, 2011.

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%

Attendance at at least 80% of the class meetings is required for a passing grade.
In other words, if you miss more than 5 class meetings, you will get an F in the course.

Academic Policies:
This course will abide by the CSE Department academic integrity policies (see 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 professor if you need any accommodations under these policies.

Course Calendar:
This is a tentative schedule, and will probably change continually as the semester proceeds. >
WeekDayDateComments
1 Tue1/18First Class
Review of SNePS: Lecture notes slides on SNePS p. 430-450
A SNePSLOG Guide to SNePS 2
 Thur1/20 Project1 assigned
SNePS Acting System: slides on SNeRE p. 491-495, 500-513
 Fri1/21 Last day to drop without financial penalty
2 Tue1/25 SNePS Acting System: slides on SNeRE p. 514-515
NRAC-05 Wumpus World papers; Shapiro & Kandefer, 2005; Shapiro & Kandefer NRAC-05 Talk
SNeRE examples:
/projects/robot/Greenfoot/ElevatorWorld/sneps/elevator.snepslog;
 Thur1/27 Shapiro & Kandefer NRAC-05 Talk
/projects/robot/Greenfoot/WumpusWorld/sneps/WWAgent.snepslog
/projects/robot/Fevahr/Ascii/afevahr.snepslog-along-with-/projects/robot/Fevahr/demo.sneps
/projects/robot/Fevahr/Java/jfevahr.snepslog-along-with-/projects/robot/Fevahr/demo.sneps
/projects/robot/TelephoneFevahr/FevahrTelephone.snepslog-along-with-/projects/robot/TelephoneFevahr/demo.sneps
 Fri1/28 Drop/Add deadline
3 Tue2/1 S. C. Shapiro & J. P. Bona, The GLAIR Cognitive Architecture, International Journal of Machine Consciousness 2,, 2 (2010), 307-332.
S. C. Shapiro, The GLAIR Cognitive Architecture and Prospects for Consciousness
 Thur2/3 S. C. Shapiro, The GLAIR Cognitive Architecture and Prospects for Consciousness (continued)
4 Tue2/8 Term project proposal due
SNePS 3: S. C. Shapiro, A Logic of Arbitrary and Indefinite Objects, KR 2004: talk; paper;
 Thur2/10 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.
5 Tue2/15 Project1 due
Example runs of SNePS 3 /projects/snwiz/Sneps3/sneps3
 Thur2/17 Term project proposal second draft due (See Dr. Rapaport's How to Write)
Production Systems: B&L, Chap. 7; Jess
6 Tue2/22 Examples of Jess:
/projects/shapiro/CSE663/JessExamples/bricks.clp
/projects/shapiro/CSE663/JessExamples/leapyear.clp
/projects/robot/Greenfoot/ElevatorWorld/jess/
 Thur2/24 Project2 assigned
Frames: B&L, Chap. 8
7 Tue3/1 Description Logics: B&L, Chap. 9
 Thur3/3 Description Logics: Chap 13 slides, p. 611-627
Classic
8 Tue3/8 Term paper first draft due
Classic example: /projects/shapiro/CSE663/ClassicExamples/classicPizzaExample.cl
 Thur3/10 Inheritance Networks: B&L, Chap. 10
  Tue3/15 Spring Break
 Thur3/17 Spring Break
9 Tue3/22 Ari Fogel on Belief Revision
 Thur3/24 Inheritance Networks: B&L, Chap. 10
10 Tue3/29 Project2 due
Defaults: B&L, Chap. 11
 Thur3/31 Project 3 assigned.
Default and Autoepistemic Logics: B&L, Chap. 11.4-11.6
 Fri4/1 R deadline
11 Tue4/5 Vagueness, Uncertainty, and Degrees of Belief: B&L, Chap. 12
 Thur4/7 Term paper second draft due
Fuzzy control
12 Tue4/12
 Abduction: Explanation and Diagnosis, B&L, Chap. 13;
Generic and Hypothetical Answers Slides, Chap 4, pp 343-349
See Debra T. Burhans and Stuart C. Shapiro, Defining Answer Classes Using Resolution Refutation, Journal of Applied Logic 5, 1 (March 2007), 70-91.
 Thur4/14 Stuart C. Shapiro, Knowledge Representation for Natural Language Competence, presented as part of the Panel on Knowledge and Language: Building Large-Scale Knowledge Bases for Intelligent Applications, School of Information Sciences, University of Pittsburgh, September 19, 2001.
13 Tue4/19 Michael Kandefer and Stuart Shapiro, Knowledge Acquisition by an Intelligent Acting Agent, presented at Commonsense 2007, the 8th International Symposium on Logical Formalizations of Commonsense Reasoning, AAAI Spring Symposium Series, Stanford University, CA, March 26-28, 2007.
 Thur4/21 Term paper third draft due
Stuart C. Shapiro, The Jobs Puzzle: A Challenge for Logical Expressibility and Automated Reasoning, the Tenth International Symposium on Logical Formalizations of Commonsense Reasoning, March,21-23, 2011.
14 Tue4/26 Student Presentations: Yang, Fang
 Thur4/28
 Last Class
Project 3 due.
Student Presentations: Jian, Lu
 Tue5/3
 Reading Day
 Thur5/5
 First Day of Final Exams
 Thur5/12 Last Day of Final Exams.
Term paper due.
Last modified: Tue Apr 12 14:07:21 2011
Stuart C. Shapiro <shapiro@cse.buffalo.edu>