Schedule

Week 1: Logic

• Tuesday Introduction and Scheduling.
• Thursday Logical Foundations of Artificial Intelligence, Chapters 1-3.

Week 2: Logic and Qualitative Reasoning

• Tuesday Logical Foundations of Artificial Intelligence, Chapters 4-5. Avi to lead.
• ThursdayForbus, Qualitative physics: Past, present, and future. Lise to lead.

Week 3: Knowledge Representation and Reasoning

• Tuesday Artificial Intelligence, Chapters 4, 9, 10, and KRYPTON: A functional approach to knowledge representation.
• Wednesday (Special Meeting) No readings. Sunil to speak about the qual.
• Thursday No readings. Prof. Shoham to speak about the qual.

Week 4: Mock Quals

• Tuesday Mock Qual: Avi, Eyal, Urszula.
• Thursday Mock Qual: Lise, Patrick, and Pedrito.

Week 5: Modal Logics and Non-Monotonic Reasoning

• Tuesday Levesque, Knowledge representation and reasoning and Halpern, Summary.
• Thursday Thanksgiving (no meeting).

Week 6: Non-Monotonic Reasoning Continued

• Tuesday Baker and Shoham, Nonmonotonic temporal reasoning.
• Thursday Reiter, Nonmonotonic reasoning.

Week 7 (12/10 and 12/12): Reasoning Under Uncertainty

• Tuesday Russell and Norvig, Artificial Intelligence: A Modern Approach, Chapters 14-16.
• Thursday Pearl, Reasoning under uncertainty.

Week 8 (12/17 and 12/19): Mock Quals

• Tuesday Mock qual.
• Thursday Mock qual.

Week 9 (1/9): Truth Maintenance Systems

• Tuesday No meeting.
• Thursday de Kleer, An assumption-based truth maintenance system. Artificial Intelligence, 28:127-162, 1986. and Rich and Knight, Artificial Intelligence, Sections 7.5-7.7.

Week 10 (1/14 and 1/16): Agent Architectures and CYC

• Tuesday SOAR paper (TBA) and Nii, Penny, Handbook of Artificial Intelligence, Volume 4, Chapter 14.
• Thursday Guha and Lenat, CYC: A midterm report, and Winograd, Frame representations and the declarative/procedural controversy

Week 11 (1/21 and 1/23): Expert Systems

• Tuesday Feigenbaum and Buchanan, Dendral and meta-dendral: roots of knowledge systems and expert system applications and Buchanan and Smith, Fundamentals of expert systems.
• Thursday No meeting.

Week 12 (1/28 and 1/30)

• Tuesday Marr, Vision, Chapter 1.
• Thursday Mock quals.

Week 13 (2/4 and 2/6)

• Tuesday Mock quals.
• Thursday Mock quals and planning.

Week 14 (2/11 and 2/13)

• Tuesday Kumar, Algorithms for constraint-satisfaction problems: a survey and Shapiro and Eckroth, Entries on Search, Constraint Networks, Constraint Satisfaction.
• Thursday No new readings.

Week 15 (2/18 and 2/20)

• Tuesday Russell and Norvig, Artificial Intelligence: A Modern Approach, Chapters 11-13.
• Thursday Nilsson, Principles of Artificial Intelligence, Chapters 7-8, and Lifschitz, On the semantics of STRIPS.

Week 16 (2/25 and 2/27)

• Tuesday Barr and Feigenbaum, The Handbook of Artificial Intelligence, V. 1 Chapter 2 (Sections D1, D2, and D6) and V.3 Chapter 15 (except STRIPS and ABSTRIPS), and McAllester, Systematic Nonlinear Planning.
• Thursday Chapman, Planning for conjunctive goals, and McDermott, Robot planning.

Week 17 (3/4 and 3/6)

• Tuesday Brooks, A robust layered control system for a mobile robot, and Boddy and Dean, Solving time-dependent planning problems.
• Thursday Drummond, Situated control rules, and Agre and Chapman, Pengi: An implementation of a theory of activity.

Week 18 (3/11 and 3/13)

• Tuesday Latombe, Robot Motion Planning (Chapter 1), and Lozano-Perez, Task planning.
• Thursday Brady, Robot motion: planning and control (Chapter 1), and Khatib, Quinlan, and Williams, Robot planning and control.

Week 19 (3/18 and 3/20): Learning

• Tuesday Russell and Norvig, 1st learning chapter (?), Dietterich, Machine learning, and Shapiro and Eckroth, The Encyclopedia of Artificial Intelligence (pp. 785-805 on "Learning, Machine").
• Thursday Mitchell, Generalization as search, and Russell and Norvig, Artificial Intelligence, Chapter 19.

Week 20 (4/1 and 4/3): Learning cont'd

• Tuesday Russell and Norvig, Chapter 20, and Quinlan, Induction of Decision Trees.
• Thursday Russell and Norvig, Chapter 21, and Fahlman and Hinton, Connectionist architectures for artificial intelligence.

Week 21 (4/7, 4/9, and 4/11): Natural Language

• Monday Rich and Knight, Artificial Intelligence Chapters 14 and 15, and Ginsberg, Essentials of AI Chapter 17.
• Wednesday Mock Quals, Knowledge representation and reasoning. Avi, Lise, and Patrick.
• Friday Barr and Feigenbaum, The Handbook of Artificial Intelligence, Volume 1, Chapter 4 (sections A, C, D, F4-F6), Chapter 5, and Volume 4, Chapter 19.

Week 22 (4/14, 4/16, and 4/18): Vision

• Monday Nalwa, A Guided Tour of Computer Vision, pp. 31-39, 129-142, 161-177, 182-184.
• Wednesday Mock Qual: Eyal, Pedrito, and Urszula.
• Monday Nalwa, A Guided Tour of Computer Vision, pp. 217-240, 243-279.

Week 23 (4/21, 4/23, and 4/25): Perspectives & Planning/Search

• Monday McCarthy, Programs with common sense, and McCarthy, Some epistemological problems in AI.
• Wednesday Mock Qual (Planning/Search): ???
• Friday Mock Qual (Planning/Search): Patrick,

Week 24 (4/28, 4/30, and 5/2): Perspectives & Learning

• Monday Brooks, Intelligence without representation, and Lenat and Feigenbaum, On the thresholds of knowledge.
• Wednesday Mock Qual (Learning)
• Friday Mock Qual (Learning)