There is no required text for this course. Readings and notes will be used.
The last day to drop or add the course is Friday, January 18, 2013. The last day to withdraw without failure is Monday, March 4, 2013. The final exam for the course will take place on Tuesday, May 7, 2013, at 9am in the classroom (SWGN 2A18). This is the regularly scheduled time for courses taught from 930 to 1045 on Tuesdays and Thursdays. ( See the university exam schedule.) The syllabus is subject to change: this is especially true of homework.
| Week Begins | Topic | Lecture #1 | Lecture #2 | Homework |
|---|---|---|---|---|
| (1) January 15 | Introduction; Planning and the Situation Calculus | (1) Introductory Material; Ch.9 [Levesque] | (2) Ch.9 [Levesque] | TBA |
| (2) January 22 | The Propositional Calculus | (3) Ch.9 [Yasuhara] | (4) Ch.9 [Yasuhara] | TBA |
| (3) January 29 | The Propositional Calculus | (5) Ch.9 [Yasuhara] | (6) Ch.9 [Yasuhara] | TBA |
| (4) February 5 | Satisfiability: The Davis-Putnam Procedures | (7) Ch.7 [AIMA-2] | (8) Dechter's reconstruction of the original Davis-Putnam procedure | TBA |
| (5) February 12 | Propositions and Inference: Horn Clauses, Complete Knowledge Assumption, Default Reasoning, and Abduction | (9) Ch.5 [P] | (10) Ch.5 [P] | Exercises TBD |
| (6) February 19 | Propositions and Inference: Horn Clauses, Complete Knowledge Assumption, Default Reasoning, and Abduction | (11) Ch.5 [P] | (12) Ch.5 [P] | Exercises TBD |
| (7) February 26 | Test | (13) Test or Review | (14) Test or Review | TBD |
| (8) March 5 | Propositional Resolution and Intro to FOL | (15) Ch.2 [Schoening] | (16) Ch.2 [Schoening] | TBD |
| (9) March 12 | Spring Break | No Class | No Class | NA |
| (10) March 19 | First-Order Logic | (17) Ch.2 [Schoening] | (18) Ch.2 [Schoening] | TBD |
| (11) March 26 | The Resolution Refutation Proof Technique | (19) TBD | (20) TBD | TBD |
| (12) April 2 | Reasoning Under Uncertainty | (21) Ch.6 [P] | (22) Ch.6 [P] | TBD |
| (13) April 9 | TBD | (23) TBD | (24) TBD | TBD |
| (14) April 16 | Student Presentations | (25) TBD | (26) TBD | TBD |
| (15) April 23 | Student Presentations | (27) TBD | (28) TBD | TBD |