| Week # | Monday | Wednesday | Friday |
| 1 | Jan 3: Lecture (in EE1 045). Course introduction, definition of intelligence, Turing Test. Assignment 1 given out. | Jan 5: Lecture (in EE1 045). Introduction to Python. Interaction; function definition and calling; lists; recursive functions on lists; lambda expressions; mapping; string operations. | Jan 7: Lab (in MGH 044). Working with functions in Python. |
| 2 | Jan 10: Lecture (in EE1 045). Pattern-driven processing. Production systems; list matching; regular expressions; application to dialog systems -- the SHRINK. | Jan 12: Lecture (in EE1 045). Symbolic math manipulation. Symbolic differentiation with Leibniz; solving equations in Python with a STUDENT like program. | Jan 14: Lab (in MGH 044). Dialog systems. Assignment 1 due. Assignment 2 given out. |
| 3 | Jan 17: Martin Luther King Holiday (no class) | Jan 19: Lecture (in EE1 045). Knowledge representation with ISA hierarchies. Inference with partial orders. LINNEUS. | Jan 21: Lab (in MGH 044). Knowledge representation. Extensions to Linneus. Assignment 2 due. Assignment 3 given out. |
| 4 | Jan 24: Lecture (in EE1 045). The Painted Squares Puzzle and State-space search | Jan 26: Lecture (in EE1 045). Iterative search algorithms and their application to searching the web; A* Search. | Jan 28: Lab (in MGH 044). Puzzle-solving lab... The 15 puzzle. Assignment 3 due. Assignment 4 given out. |
| 5 | Jan 31: Lecture (in EE1 045). Alpha-beta search with Tic-Tac-Toe. Checkers and Chess. | Feb 2: Lecture (in EE1 045). Midterm exam (closed book, mixed format: multiple choice and short answer). Bring a "scantron" answer sheet and number 2 pencils. | Feb 4: Lab (in MGH 044). Basics of checkers playing. |
| 6 | Feb 7: Lecture (in EE1 045). Propositional logic, modus ponens, perfect induction, and Wang's algorithm. | Feb 9: Lecture (in EE1 045). Predicate Logic. Definitions. Horn-clause resolution | Feb 11: Lab (in MGH 044). Logic programming. Assignment 4 due. Assignment 5 given out. |
| 7 | Feb 14: Lecture (in EE1 045). Unification and Predicate Calculus Resolution. | Feb 16: Lecture (in EE1 045). Natural language understanding: context-free grammars and parsing. Semantic grammars and Semantics: Case frames. | Feb 18: Lab (in MGH 044). Augmented transition networks and the STONE WORLD program. Assignment 5 due. Begin projects. |
| 8 | Feb 21: Presidents Day Holiday (no class) | Feb 23: Lecture (in EE1 045). Probabilistic inference with Bayes' rule. | Feb 25: Lab (in MGH 044). Project development. |
| 9 | Feb 28: Lecture (in EE1 045). Introduction to vision: illusions; sampling and quantization, thresholding, the Hough transform. | Mar 2: Lecture (in EE1 045). Computer vision: edge detection, segmentation into regions; Guzman labelling. | Mar 4: Lab (in MGH 044). Image processing and line finding with the Hough transform. |
| 10 | Mar 7: Lecture (in EE1 045). Big issues and the future of AI: common sense, ontologies, dangers of AI, Asimov's rules of robotics, hopes for AI. | Mar 9: Lecture (in EE1 045). More on genetic search, more on Bayes nets. | Mar 11: Lab (in MGH 044). Demonstrations |
| Mar 17 (Thursday): FINAL EXAMINATION 8:30-10:20 |