CSCE 476/876

Introduction to Artificial Intelligence

Detailed Course Schedule

Date Material Announcements
Week 1
Mon, Aug 21 Class From 2:30 to 3:20 pm, in AvH 118
Topic: Rules of the Game
Required reading: AIMA, Section 1.1
Recommended reading: What is AI by John McCarthy
Mon, Aug 21 Recitation from 3:30 to 4:20 pm, in AvH 21
  • Register on Piazza
  • Read Intro to Piazza
  • Read welcome message on Piazza.
  • Get a CSE account
  • Using your own computer. Get your free (time-limited) version of ACL. How To Use The GNU Emacs-Allegro Common Lisp Interface.
  • Using SoC servers. Instructions on using xemacs and ACL in available environments.
  • Learning Emacs. Go, step-by-step, through the Emacs Tutorial. You can access it from withing Emacs by typing ESC-x, help, t. Review most commonly used commands. Improve your efficiency by using
  • ACL Keystroke accelerators in Emacs.
  • Alert: Likely obsolete. Instructions on using emacs and ACL via the VM client.
  • Wed, Aug 23 Class From 2:30 to 3:20 pm, in AvH 118

    Topic: A Gentle Introduction to Common Lisp
    Required reading: LWH: Chapters 1, 2, 3, 4.
    Recommended reading: Beating the Averages (Paul Graham)
    Fri, Aug 25
    Pretest

    Two parts:
    In-class: closed book, handwritten crib sheet allowed, must be turned in with test
    Take-home: due Mon, Aug 28

    Week 2
    Mon, Aug 28 Topic: A Gentle Introduction to Common Lisp
    Required reading: LWH: Chapters 1, 2, 3, 4.
    Recommended reading: Beating the Averages (Paul Graham)
  • Take-home Pretest due
  • Homework 1 assigned
  • Mon, Aug 28 Recitation from 3:30 to 4:20 pm, in AvH 21

    Topic: Emacs, Lisp,
    Required reading: Emacs tutorial, same as above
  • Using Emacs
  • Very first steps in Lisp .
  • Next steps in Lisp
  • Iteration with Do and Structures
  • The Adaptive Remote Agent is an outstanding online interactive tutor for Lisp. It has six (6) interactive lessons. It was down following a ransomware attack. Anxiously waiting for its return..
  • Wed, Aug 30 Alert: Class will be on Zoom because campus is inaccessible. Time as usual, from 2:30 to 3:20 pm. Attendance will count towads bonus.

    Topic: A Gentle Introduction to Common Lisp
    Required reading: LWH: Chapters 1, 2, 3, 4.
    Recommended reading: Beating the Averages (Paul Graham)
    Fri, Sep 01 Topic: A Gentle Introduction to Common Lisp
    Required reading: LWH: Chapters 1, 2, 3, 4.
    Recommended reading: Beating the Averages (Paul Graham)
    Week 3
    Mon, Sep 04
    Labor Day
    Wed, Sep 06 Topic: Historical Notes
    Required Reading: AIMA: Chapter 1
    Recommended reading: The Long Game of Research (Communications of the ACM, Vol. 62, No.9, September 2019)
    Fri, Sep 08 Topic: Historical Notes
    Required reading: AIMA, Chapter 1
    Recommended Reading: Same as above
    Week 4
    Mon, Sep 11 Topic: Historical Notes
    Required reading: AIMA: Chapter 1
    Recommended Reading: Same as above
    Mon, Sep 11 Recitation

    Topic:
    Required reading:
    Recommended Reading:
  • Quiz
  • Wed, Sep 13 Topic: Intelligent Agents
    Required reading:AIMA: Chapter 2, LWH: Chapters 5—8.
    Recommended reading: Beating the Averages (Paul Graham)
    Fri, Sep 15 Topic:
    Required reading:
    Recommended Reading:
    Week 5
    Mon, Sep 18 Topic: Solving Problems by Searching
    Required Reading: AIMA Chapter 3, Sections 3.1—3.3
    Recommended reading Read more chapters of LWH
    Mon, Sep 18 Recitation Topic:
    Required reading:
    Recommended Reading:
  • Quiz
  • LWH Chapters 5, 7, 8, 15, 16
  • Wed, Sep 20 Topic: Same as above
    Required reading: Same as above
    Recommended Reading: Same as above
    Fri, Sep 22 Topic: Solving Problems by Searching
    Required Reading: AIMA Chapter 3, Sections 3.4—3.6
    Recommended reading Read more chapters of LWH
    Week 6
    Mon, Sep 25 Topic:
    Required reading:
    Recommended Reading:
    Mon, Sep 25 Recitation Topic:
    Required reading:
    Recommended Reading:
  • Quiz
  • LWH Chapters 6, 10, 13, 14
  • LWH Chapters 9, 11, 12, 17
  • Wed, Sep 27 Topic:
    Required reading:
    Recommended Reading:
    Fri, Sep 29 Topic: Heuristic Search
    Required Reading:
    • AIMA Sections 3.5, 3.6 (all previous sections of Chapter 3)
    • LISP WH: Chapters 6, 10, 13, 14
    Recommended reading: More chapters of LWH
    Week 7
    Mon, Oct 02 Topic: Same as above
    Required reading: Same as above
    Recommended Reading: Same as above
    Mon, Oct 02 Recitation Topic:
    Required reading:
    Recommended Reading:
    Quiz
    Wed, Oct 04 Topic: Same as above
    Required reading: Same as above
    Recommended Reading: Same as above
    Fri, Oct 06 Topic:
    Required reading:
    Recommended Reading:
    Week 8
    Mon, Oct 09 Topic: Local Search
    Required Reading: AIMA Chapter 4, Section 4.1
    Recommended Reading: All of Chapter 4
    Mon, Oct 09 Recitation Quiz
    Wed, Oct 11 Review Session
    Fri, Oct 13
    Midterm

    Closed books. Handwritten, double-sided crib sheet allowed, must be turned in with exam. No proofs included or solutions to examples or problems.

    Week 9
    Mon, Oct 16
    Fall Break
    Wed, Oct 18 Topic: Local Search
    Required Reading: AIMA Chapter 4, Section 4.1
    Recommended Reading: All of Chapter 4
    Midterm correction postponed until everyone has taken the exam
    Fri, Oct 20 Topic: Adverserial Search
    Required Reading: AIMA 5.1—3
    Recommended Reading:
    Homework 5 assigned
    Week 10
    Mon, Oct 23 Topic:
    Required reading:
    Recommended Reading:
    Mon, Oct 23 Recitation Topic:
    Required reading:
    Recommended Reading:
    Quiz
    Wed, Oct 25 Topic:
    Topic: Constraint Satisfaction
    Required Reading: Chapter 6
    Recommended Reading:
    Fri, Oct 27 Topic: Constraint Satisfaction
    Required Reading: Chapter 6
    Recommended Reading:
    Week 11
    Mon, Oct 30 Topic:
    Required reading:
    Recommended Reading:
  • Glossary 6 due
  • Glossary 7 assigned
  • Mon, Oct 30 Recitation Topic:
    Required reading:
    Recommended Reading:
    Quiz
    Wed, Nov 01 Topic:
    Required reading:
    Recommended Reading:
    Fri, Nov 03 Topic:
    Required reading:
    Recommended Reading:
    Week 12
    Mon, Nov 06 Topic:
    Required reading:
    Recommended Reading:
    Mon, Nov 06 Recitation Topic:
    Required reading:
    Recommended Reading:
    Quiz
    Wed, Nov 08 Topic:
    Required reading:
    Recommended Reading:
    Fri, Nov 10 Topic: Logical Agents
    Required Reading: AIMA 7.1
  • Homework 7 assigned
  • Homework 6 due
  • Bonus Homework (Generic Version) or Bonus Homework (Lisp Version) due on Handin
  • Week 13
    Mon, Nov 13 Topic: Same as above
    Required reading:
    Recommended Reading:
    Mon, Nov 13 Recitation Visit of recruiter of a federal agency Quiz
    Wed, Nov 15 Topic:
    Required reading:
    Recommended Reading:
    Fri, Nov 17 Topic:
    Required reading:
    Recommended Reading:
  • Tentative Homework 7 due
  • Tentative Homework 8 assigned
  • Week 14
    Mon, Nov 20 Topic:
    Required reading:
    Recommended Reading:
    Mon, Nov 20 Recitation Topic:
    Required reading:
    Recommended Reading:
    Quiz
    Wed, Nov 22
    Thanksgiving Break
    Fri, Nov 24
    Week 15
    Mon, Nov 27 Topic: Finish proofs in Propositional Logic
    Required reading:
    Recommended Reading:
    Mon, Nov 27 Recitation Topic:
    Required reading:
    Recommended Reading:
    Quiz
    Wed, Nov 29 Topic: First Order Logic
    Required reading: AIMA, Chapter 8
    Recommended Reading:
    Fri, Dec 01 Topic:
    Required reading:
    Recommended Reading:
    Week 16 (Dead Week)
    Mon, Dec 04 Topic: Inference in FOL
    Required reading: Chapter 9
    Recommended Reading:
    Mon, Dec 04 Recitation Topic:
    Required reading:
    Recommended Reading:
    Quiz
    Wed, Dec 06 Topic:
    Required reading:
    Recommended Reading: Unification by Maria Gini (recommended by Tyler Bienhoff)
  • BONUS Homework 9 due
  • Fri, Dec 08 Topic:
    Required reading:
    Recommended Reading:
  • Final glossary due (all prior, combined and alphabetized)
  • Review sheet distributed in class
  • Week 17
    Wed, Dec 13
    Final Exam 1.00pm - 3:00pm in AvH 118