The Department of Computer Science & Engineering
STUART C. SHAPIRO: CSE 663
TTh 9:30 - 10:50, 224 Bell Hall
Registration No. 183760
Expect to spend at least 3/4 of the semester working on the paper/project. You must turn in:
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.
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.
Review of SNePS: Lecture notes slides on SNePS p. 430-450
A SNePSLOG Guide to SNePS 2
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:
SNeRE p. 510-511;
NRAC-05 Wumpus World papers; Shapiro & Kandefer, 2005; Shapiro & Kandefer NRAC-05 Talk
|3||Tue||1/26||Shapiro & Bona, The GLAIR Cognitive Architecture|
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
|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
Review of SNePS: Belief Revision
See Slides on BR, p 524-554
A SNePSLOG Guide to SNePS 2 Sect. 6, 9,
|6||Tue||2/16||Review of SNePS, Path-based inference: slides on SNePS
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
Description Logics: B&L, Chap. 9; Classic
|Thur||3/11Spring Break||Spring Break|
Inheritance Networks: B&L, Chap. 10
|10||Tue||3/23||Inheritance Networks: B&L, Chap. 10|
Inheritance Networks: B&L, Chap. 10
|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
||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
KR for Natural Language Competence
|14||Tue||4/20||Student Presentations: Keer, Fogel, Li, Schlegel|
Student Presentations: Do, Balchand, Kashyap, Nelson
||First Day of Final Exams|
|Thur||5/6||Last Day of Final Exams.
Term paper due.