The Department of Computer Science & Engineering |
STUART C. SHAPIRO: CSE
663
|
MWF 9:00 - 9:50, 250 Park Hall
Registration No. 280246
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 | Mon | 8/29 | First Class SNePS Tour: SNePSLOG SNePS and /projects/shapiro/Sneps/SnepsIntro/intro.dvi
|
Wed | 8/31 | ||
Fri | 9/2 | Last day to drop without financial penalty SNePSLOG Jobs demo HW1 assigned |
|
2 | Mon | 9/5 | No Class: Labor Day |
Wed | 9/7 | SNePS Tour: Belief Revision See Slides on BR, /projects/shapiro/Sneps/SnepsIntro/contradictions1.snepslog
and /projects/shapiro/Sneps/SnepsIntro/contradictions2.snepslog |
|
Fri | 9/9 | Drop/Add deadline | |
3 | Mon | 9/12 | |
Wed | 9/14 | SNePS Tour: Acting B&L Chap. 14; Slides on the Situation Calculus; NRAC-05 Wumpus World papers: Shapiro & Kandefer, Sardina & Vassos, Thielscher | |
Fri | 9/16 |
||
4 | Mon | 9/19 | Term paper proposal due More details on previous topics as needed |
Wed | 9/21 | Contexts. Class to be held in 224 Bell Hall in conjunction with CSE720 | |
Fri | 9/23 | HW1 due HW2 assigned |
|
5 | Mon | 9/26 | A Logic of Arbitrary and Indefinite Objects: talk; paper |
Wed | 9/28 | KR View of Prolog: B&L, Chaps. 5, 6; slides | |
Fri | 9/30 | ||
6 | Mon | 10/3 | |
Wed | 10/5 | Demonstration of agents in The Trial The Trail. Meet in 266 CFA | |
Fri | 10/7 | Production Systems: B&L, Chap. 7; Jess | |
7 | Mon | 10/10 | HW2 due |
Wed | 10/12 | Frames: B&L, Chap. 8; Protégé 2000; JessTab: Integrating Protégé and Jess; JessTab Manual | |
Fri | 10/14 |
||
8 | Mon | 10/17 | Term paper first draft due |
Wed | 10/19 | ||
Fri | 10/21 | R deadline HW3 assigned Description Logics: B&L, Chap. 9; Classic |
|
9 | Mon | 10/24 | |
Wed | 10/26 | ||
Fri | 10/28 | ||
10 | Mon | 10/31 | |
Wed | 11/2 | HW3 due Inheritance Networks: B&L, Chap. 10 |
|
Fri | 11/4 | ||
11 | Mon | 11/7 | HW4 assigned |
Wed | 11/9 | Defaults: B&L, Chap. 11 | |
Fri | 11/11 | ||
12 | Mon | 11/14 | HW4 due A solution is posted |
Wed | 11/16 | Discuss Courteous Logic Programs and Default reasoning by
preferential ordering. (See: Grosof's paper; Shapiro's talk in ps or Shapiro's talk in dvi; and Bharat Bhushan, Preferential Ordering of Beliefs for Default Reasoning.) Try the demo in /projects/shapiro/CSE663/defaultByPreferenceDemo.snepslog |
|
Fri | 11/18 | ||
13 | Mon | 11/21 |
Term paper second draft due HW5: Do all exercises of Section 10.5. Note that #2 should be credulous extensions wrt George, Polly, or Dick. Maximum points: 3 x 5 x 1 = 15. |
Wed | 11/23 | Fall Recess | |
Fri | 11/25 | Fall Recess | |
14 | Mon | 11/28 | |
Wed | 11/30 | SNePS 3 | |
Fri | 12/2 | ||
15 | Mon | 12/5 | HW5 due by hard-copy. A solution will be posted. |
Wed | 12/7 |
||
Fri | 12/9 | Last Class | |
Mon | 12/12 | Final Exam week | |
Wed | 12/14 | Final Exam week | |
Fri | 12/16 |
Final Exam week | |
Mon | 12/19 | Term paper due. |