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

STUART C. SHAPIRO: CSE 663

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:

Class attendance;
Participation in class discussions;
Assigned readings;
Short projects.
Term project. Some project suggestions will be provided.

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:

a term project proposal on Tuesday, February 2, 2010;
a term project proposal second draft on Thursday, February 11, 2010;
a term paper first draft on Tuesday, March 2, 2010;
a term paper second draft on Thursday, April 15, 2010;
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/Participation	5%
Short projects	15%
Term project/paper	80%

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:

all work turned in with your name on it must be your own work;
material from other sources must be quoted and cited appropriately;
you will only be eligible for an incomplete if something disastrous and unavoidable happens to you (not a friend or relative) so late in the term that you do not have time to make it up during the term, and you are otherwise passing this course.

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

Week	Day	Date	Comments
1	Tue	1/12	First Class Review of SNePS: Lecture notes slides on SNePS p. 430-450 A SNePSLOG Guide to SNePS 2
	Thur	1/14	Project1 assigned Review of SNePS: slides on SNePS p. 451-474
	Fri	1/15	Last day to drop without financial penalty
2	Tue	1/19	Review of SNePS: slides on SNePS p. 475-480 SNePS Acting System: slides on SNeRE p. 488-491,496-509;
	Thur	1/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`
	Fri	1/22	Drop/Add deadline
3	Tue	1/26	Shapiro & Bona, The GLAIR Cognitive Architecture
	Thur	1/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	Tue	2/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.
	Thur	2/4	Example runs of SNePS 3 `/projects/snwiz/Sneps3/sneps3`
5	Tue	2/9	Review of SNePS: Belief Revision See Slides on BR, p 512-523
	Thur	2/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	Tue	2/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
	Thur	2/18	Project2 assigned: Redo Project 1, but with Jess replacing SNePS/SNeRE Production Systems: B&L, Chap. 7; Jess
7	Tue	2/23	Guest lecture by William J. Rapaport
	Thur	2/25	Guest lecture by Mike Kandefer & Mike Prentice
8	Tue	3/2	Term paper first draft due Frames: B&L, Chap. 8
	Thur	3/4	Project1 due Description Logics: B&L, Chap. 9; Classic
	Tue	3/9	Spring Break
	Thur	3/11	Spring Break
9	Tue	3/16	Classic example: `/projects/shapiro/CSE663/ClassicExamples/classicPizzaExample.cl`
	Thur	3/18	Classic example: `/projects/shapiro/CSE663/ClassicExamples/classicPizzaExample.cl` Inheritance Networks: B&L, Chap. 10
10	Tue	3/23	Inheritance Networks: B&L, Chap. 10
	Thur	3/25	Project2 due Inheritance Networks: B&L, Chap. 10
	Fri	3/26	R deadline
11	Tue	3/30	Defaults: B&L, Chap. 11
	Thur	4/1	Term paper second draft due Circumscription, Default and Autoepistemic Logics: B&L, Chap. 11.3-11.6
12	Tue	4/6	Abduction: Explanation and Diagnosis, B&L, Chap. 13
	Thur	4/8	Vagueness, Uncertainty, and Degrees of Belief: B&L, Chap. 12
13	Tue	4/13	Bayesian Networks and Vague Predicates
	Thur	4/15	Term paper third draft due Nelson presentation KR for Natural Language Competence
14	Tue	4/20	Student Presentations: Keer, Fogel, Li, Schlegel
	Thur	4/22	Last Class Student Presentations: Do, Balchand, Kashyap, Nelson
	Tue	4/27	Reading Day
	Thur	4/29	First Day of Final Exams
	Thur	5/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>

CSE663: Advanced Knowledge Representation Stuart C. Shapiro Spring, 2010 TTh 9:30 - 10:50, 224 Bell Hall Registration No. 183760

CSE663: Advanced Knowledge Representation
Stuart C. Shapiro
Spring, 2010
TTh 9:30 - 10:50, 224 Bell Hall
Registration No. 183760