The Department of Computer Science & Engineering |
STUART C. SHAPIRO: CSE
663
|
TTh 12:30 - 1:50, 214 Norton Hall
Registration No. 454699
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.
Attendance/Participation | 5% |
Homeworks | 15% |
Term project/paper | 80% |
Week | Day | Date | Comments |
---|---|---|---|
1 | Tue | 8/28 | First Class SNePS Tour: SNePSLOG Lecture notes slides on SNePS and An Introduction to SNePS at /projects/shapiro/Sneps/SnepsIntro/intro.pdf |
Thur | 8/30 | slides on SNePS p. 362-373 SNePSLOG Jobs demo HW1 assigned |
|
Fri | 8/31 | Last day to drop without financial penalty | |
2 | Tue | 9/4 | Path-based inference: slides on SNePS
p. 374-381, An Introduction to
SNePS Sect. 11.2,
pbinfFig1,
pbinfFig2, &
pbinfFig3,
pbinfFig4b.
|
Thur | 9/6 | SNePS Tour: Belief Revision See Slides on BR, p 399-419 /projects/shapiro/Sneps/SnepsIntro/contradictions1.snepslog
and /projects/shapiro/Sneps/SnepsIntro/contradictions2.snepslog |
|
Fri | 9/7 | Drop/Add deadline | |
3 | Tue | 9/11 |
Slides on BR, p 420-450 |
Thur | 9/13 | No Class: Rosh Hashanah | |
4 | Tue | 9/18 | Term paper proposal due Acting: slides on SNeRE p. 383-398; NRAC-05 Wumpus World papers: Shapiro & Kandefer |
Thur | 9/20 | HW1 due 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
|
|
5 | Tue | 9/25 | SNePS Tour, contexts: An Introduction to SNePS, Chapter 8 |
Thur | 9/27 | Term paper proposal second draft due (See
Dr. Rapaport's How to
Write) A Logic of Arbitrary and Indefinite Objects: talk; paper |
|
6 | Tue | 10/2 | |
Thur | 10/4 | Production Systems: B&L, Chap. 7; Jess HW2 assigned: Build a Jess tic-tac-toe player; see B&L Exercise 7.11, p. 133 |
|
7 | Tue | 10/9 | |
Thur | 10/11 | Frames: B&L, Chap. 8; Protégé 2000 | |
8 | Tue | 10/16 | Term paper first draft due |
Thur | 10/18 | Description Logics: B&L, Chap. 9; Protege OWL Tutorial; Classic | |
9 | Tue | 10/23 | |
Thur | 10/25 | Inheritance Networks: B&L, Chap. 10 | |
10 | Tue | 10/30 | HW2 due HW3: Do all exercises of Section 10.5. Note that #2 should be credulous extensions wrt George, Polly, or Dick. Organization: George, questions 1-5; Polly: questions 1-5; Dick: questions 1-5. Maximum points: 3 x 5 x 1 = 15. |
Thur | 11/1 | Defaults: B&L, Chap. 11 | |
11 | Tue | 11/6 | Abduction: Explanation and Diagnosis, B&L, Chap. 13 |
Thur | 11/8 | Vagueness, Uncertainty, and Degrees of Belief: B&L, Chap. 12 | |
Fri | 11/9 | R deadline |
|
12 | Tue | 11/13 | HW3 due by hard-copy. Bayesian Networks |
Thur | 11/15 | Vague Predicates | |
13 | Tue | 11/20 |
Typology of DL languages KR for Natural Language Competence |
Thur | 11/22 | Fall Recess | |
14 | Tue | 11/27 | |
Thur | 11/29 | Term paper second draft due | |
15 | Tue | 12/4 | Student Presentations: Torbenson, Mindolin, Nagarajan, Wiejaczka |
Thur | 12/6 |
Last Class Student Presentations: Seyed, Chodkowski, White |
|
Tue | 12/11 | Final Exam week | |
Thur | 12/13 | Final Exam week | |
Mon | 12/17 | Term paper due. |