The Department of Computer Science & Engineering |
STUART C. SHAPIRO: CSE
663
|
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.
Attendance/Participation | 5% |
Short projects | 15% |
Term project/paper | 80% |
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.
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 BreakSpring 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. |