Detailed Course Schedule

Dates	Material	Announcements
Week 1
Mon, Jan 11	Class From 3:30 to 4:45 pm Topic: Rules of the Game Required reading: AIMA, Section 1.1 Recommended reading: What is AI by John McCarthy
Mon, Jan 11	Recitation from 5:00 to 5:50 pm Get a CSE account Getting Started with Emacs and ACL Intro to Piazza	Get your free (time-limited) version of ACL. Xemacs + ACL Keystroke accelerators How To Use The Gnu Emacs-Allegro Common Lisp Interface. Go, step by step, through the Emacs Tutorial. You can access it from emacs itself, by typing ESC-x, help, t. Instructions on using xemacs and ACL on the PCs and on cse.unl.edu.
Wed, Jan 13	Class From 3:30 to 4:45 pm Topic: Historical notes Required reading: AIMA: Chapter 1	Pretest Two parts: In-class: closed book, handwritten crib sheet allowed, must be turned in with test Take-home: due Wed, Jan 20
Week 2
Mon, Jan 18	Martin Luther King Day
Wed, Jan 20	Topic: A Gentle Introduction to Common Lisp Required reading: LWH: Chapters 1, 2, 3, and 4. Recommended reading: Beating the Averages (Paul Graham)	Take-home pretest due
Fri, Jan 22	Topic: Intro to Lisp Required reading: Same as above Recommended reading: Same as above	Homework 1 assigned
Week 3
Mon, Jan 25	Topic: Intelligent Agents Required reading: AIMA, Chapter 2 Recommended reading: Same as above
Mon, Jan 25	Recitation Proceeding with the introduction to Lisp Required reading: LWH: (Chapter 1, 2, 3, 4, and) 6, 10, 13, 14. Beating the Averages (Paul Graham)	Very first steps in Lisp .
Wed, Jan 27	Topic: Same as above Required reading: Same as above Recommended reading: Same as above
Fri, Jan 29	Topic: Solving Problems by Searching Required reading: AIMA: Chapter 3, Sections 3.4, 3.5, and 3.6 Recommended reading: Read more chapters in LWH	Homework 1 due Homework 2 assigned Quiz 1 in class (part of Homework 1). Glossary 1 and Glossary 2 assigned. Glossaries will not be collected or graded, but terms will appear on quizzes for bonus points
Week 4
Mon, Feb 1	Topic: Solving Problems by Searching (same as above) Required reading: LWH: Chapters 5, 7, 8, 15, 16. AIMA: Chapter 3, Sections 3.4, 3.5, and 3.6 (same as above) Recommended reading: Read more chapters in LWH
Mon, Feb 1	Recitation	Next steps in Lisp (PDF).
Wed, Feb 3	Topic: Solving Problems by Searching Required reading: AIMA: Chapter 3, Sections 3.4, 3.5, and 3.6 Recommended reading: Read more chapters in LWH
Fri, Feb 5	Topic: Same as above Required reading: Same as above Recommended reading: Same as above	Glossary 3 assigned
Week 5
Mon, Feb 8	Topic: Heuristic Search Required reading: AIMA: Sections 3.5 and 3.6 (and all previous sections in Chapter 3) LISP: Chapters 6, 10, 13, 14 Recommended reading: More chapters in LWH	Homework 2 due Homework 3 assigned
Mon, Feb 8	Recitation	Quiz 2 (part of Homework 2) The lisp code of the Farmer's dilemma.
Wed, Feb 10	Topic: Heuristic Search Required reading: Same as above Recommended reading: Same as above
Fri, Feb 12	Topic: Same as above Required reading: Same as above Recommended reading: Same as above	Challenge question assigned today: Prove that the MST is an admissible heuristic for the TSP. Answer by PRIVATE message on Piazza. Glossary 4 assigned
Week 6
Mon, Feb 15	Topic: Local Search Required reading: AIMA: Chapter 4 Recommended reading: Entire Chapter 4 LWH: Chapters 6, 10, 13, 14. LWH: Chapters 9, 11, 12, 17
Mon, Feb 15	Recitation	Quiz 3
Wed, Feb 17	Topic: Same as above Required reading: Same as above Recommended reading: Same as above
Fri, Feb 19	Topic: Adverserial Search Required reading: Section 5.1, 5.2, 5.3 Recommended reading: All Chapter 5. Play with the Alpha-beta animation by Yosen Lin, or the applet from Eastern Michigan University.	~~Glossary 4 due~~
Week 7
Mon, Feb 22		Glossary 4 due Glossary 5 assigned Glossary 6 assigned Homework 3 due Homework 4 assigned
Mon, Feb 22	Recitation Discuss MST is an admissible heuristic for the TSP print-function for LISP	Quiz 4
Wed, Feb 24	Topic: Constraint Satisfaction. Required reading: Chapter 6 Recommended reading: Bartak online guide, Kumar's paper, Bartak's paper (PDF)	Game Tree used in class.
Fri, Feb 26	*No class: E-Week Open House*
Week 8
Mon, Feb 29		Glossary 5 due
Mon, Feb 29	Recitation Discuss how MST dominates SLD on TSP Game trees	Quiz 5
Wed, Mar 2	Topic: Same as above Required reading: Same as above Recommended reading: Same as above
Fri, Mar 4	Topic: Same as above (CSPs) Required reading: Same as above Recommended reading: Same as above	Glossary 6 due Glossary 7 assigned Homework 4 due
Week 9
Mon, Mar 7
Mon, Mar 7	Review session
Wed, Mar 9	*MidTerm* Closed books. Handwritten, double-sided crib sheet allowed, must be turned in with exam. No proofs included or solutions to examples or problems.
Fri, Mar 11		Homework 5 assigned
Week 10
Mon, Mar 14		Glossary 7 due Glossary 8 assigned
Mon, Mar 14	Recitation CSP examples	Quiz 6
Wed, Mar 16	Topic: Logical Agents Required reading: Chapter 7, Sections 7.1, 7.2, 7.3
Fri, Mar 18	Topic: Same as above Required reading: Same as above Correction of Midterm, quiz, etc.
Week 11
Mon, Mar 21	*Spring vacation*
Wed, Mar 23
Fri, Mar 25
Week 12
Mon, Mar 28	Topic: Logical Agents Required reading: Chapter 7, Sections 7.4, 7.5	Glossary 8 due Glossary 9 assigned ~~Homework 5 due~~ Homework 6 assigned
Mon, Mar 28	Recitation Introduce SAT CSP into SAT reduction	Quiz 7
Wed, Mar 30	No class; instructor sick.	Homework 5 due
Fri, Apr 1	Topic: Same as above Required reading: Same as above
Week 13
Mon, Apr 4	Topic: Finish Propositional Logic. Required reading: Same as above	Glossary 9 due Glossary 10 assigned
Mon, Apr 4	Recitation Catch-up on course material. Recitation held in class room (AvH 106).	Quiz 8
Wed, Apr 6	Topic: First Order Logic Required reading: Chapter 8
Fri, Apr 8
Week 14
Mon, Apr 11	Topic: Finish intro to FOL; Inference in First Order Logic Required reading: Same as above, Chapter 9 Recommended reading:	Glossary 10 due Glossary 11 assigned Homework 6 due Homework 7 assigned
Mon, Apr 11	Recitation Discussion of NP Completeness	Quiz 9 (Intro to Logic, PL)
Wed, Apr 13	Topic: Inference in First Order Logic Required reading: Chapter 9 Recommended reading:
Fri, Apr 15		Topic: Same as above Required reading: Same as above
Week 15
Mon, Apr 18	Topic: Finish FOL, Start Planning. Required reading: Chapters 9 and 10 Recommended reading: AIMA Section 10.3 AIMA Sections 11.1--11.4	Homework 7 due Homework 8 assigned
Mon, Apr 18	Recitation First Order Logic Example	Quiz 10
Wed, Apr 20
Fri, Apr 22	Topic: Planning. Required reading: Chapters 9 and 10 Recommended reading: AIMA Section 10.3 AIMA Sections 11.1--11.4
Week 16: Dead week
Mon, Apr 25	Topic: Planning Required reading: same as above Recommended reading: same as above	Homework 8 due Glossary 11 due
Mon, Apr 25	Recitation Catch-up on course material.	A quiz may be given A quiz may be given
Wed, Apr 27		A quiz may be given
Fri, Apr 29	Review session Come with questions about material	Final glossary due
Week 17: Finals Week
Tue, May 3	Final Examination From 7:30 am to 9:30 am in Avery Room 106. Closed books. Handwritten, double-sided crib sheet allowed, must be turned in with exam.

CSCE 476/876

Introduction to Artificial Intelligence

Detailed Course Schedule