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 14, 2011. The last day to withdraw without failure is Monday, February 28, 2011. The final exam for the course will take place on Wednesday, May 4, 2011, at 1400 (2pm) in the classroom (SWGN 2A19). This is the regularly scheduled time for courses taught from 1230 to 1345 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 11 | Introduction; the Propositional Calculus | (1) Introductory Material from [B&L]; Ch.9 [Yasuhara] | (2) Ch.9 [Yasuhara] | TBA |
| (2) January 18 | Satisfiability: The Davis-Putnam Procedures | (3) Ch.7 [AIMA-2] | (4) Dechter's reconstruction of the original Davis-Putnam procedure | TBA |
| (3) January 25 | Propositions and Inference | (5) Ch.5 [P] | (6) Ch.5 [P] | Exercises TBD |
| (4) February 1 | Propositions and Inference: Horn Clauses, Complete Knowledge Assumption, Default Reasoning, and Abduction | (7) Ch.5 [P] | (8) Ch.5 [P] | Exercises TBD |
| (5) February 8 | Bayesian Networks and the Complexity of PIBNETD and Other Probabilistic Inference Problems | (9) TBD | (10) TBD | TBD |
| (6) February 15 | Test | (11) Test | (12) Intro to FOL | TBD |
| (7) February 22 | Natural Deduction | (13) TBD | (14) TBD | See following week. |
| (8) March 1 | The Resolution Refutation Proof Technique | (15) TBD | (16) TBD | TBD |
| (9) March 8 | Spring Break | No Class | No Class | NA |
| (10) March 15 | Individuals and Relations | (17) Ch.12 [P] | (18) Ch. 12 [P] | TBD |
| (11) March 22 | Ontologies and Knowledge-Based Systems | (19) Ch.13 [P] | (20) Ch.13 [P] | TBD |
| (12) March 29 | Model-Based Reasoning | (21) TBD | (22) TBD | TBD |
| (13) April 5 | Student Presentations | (23) TBD | (24) TBD8 | 8.5, 8.6 (TBC) |
| (14) April 12 | Student Presentations | (25) TBD | (26) TBD | TBD |
| (15) April 19 | Student Presentations | (27) TBD | (28) TBD | TBD |