CSCE 476/876, Spring 2006: Class schedule

Warning: this page will be regularly updated.
Check often, at least three times per week.

In this page:
  • Your catch
  • Homework
  • Handouts
  • Glossaries
  • Material discussed during recitation
  • Detailed schedule

    • Your catch: Under this item, web pages of interest to the class will be listed. Every student is welcome to propose a link he or she find of interest. The student's name will be mentioned.

    Homework:

    Homework

    Assigned date

    Due date
    Homework 1 (ps, pdf): Learning Lisp with the Adaptive Remote Agent. Wednesday, Jan 18, 2006. Wednesday, Jan 25, 2006.
    Homework 2 (ps, pdf): Learning Lisp with the Adaptive Remote Agent. Wednesday, Jan 25, 2006. Wednesday, Feb 1, 2006.
    Homework 3 (ps, pdf): Using emacs and Common Lisp. Wednesday, Feb 1, 2006. Friday, Feb 10, 2006.
    Homework 4 (ps, pdf): Rational Agents and Search. Friday, Feb 10, 2006. Friday, Feb 24, 2006.
    Explain why MST is an admissible heuristic for the TSP, and prove that MST dominates SLD for the TSP.
    Pen and paper, worth 10 points.     		Wednesday, Feb 22, 2006. Monday, Feb 27, 2006.
    Homework 5 (ps, pdf): Implementing and testing Search.
    Retrieve the list of cities.    		 Friday February 22, 2006 March 10, 2006.
    Postponed until March 20, 2006.
    Homework 6 (ps, pdf): CSP. Friday, March 24, 2006 Friday, March 31, 2006.
    Homework 7 (ps, pdf): CSP, alpha-beta. Monday, April 3, 2006 Friday, April 7, 2006.
    Homework 8 (ps, pdf): Propositional Logic. Friday, April 7, 2006 Monday, April 17, 2006.
    Homework 9 (ps, pdf): First Order Logic. Monday, April 17, 2006. Friday, April 21, 2006

    Handouts:

    1. Syllabus and grading strategy
    2. Introduction and rules: Instructor notes #1 (postscript, PDF).
    3. What is AI? by John McCarthy (postscript).
    4. Quick historical notes: Instructor notes #2 (postscript, PDF).
    5. A Little Bit of Lisp: Instructor notes #3 (postscript, PDF).
    6. Intelligent Agents: Instructor notes #4 (postscript, PDF).
    7. Solving Problems by Searching: Instructor notes #5 (PDF).
    8. Solving Problems by Searching (II): Instructor notes #6 (postscript, PDF).
    9. Heuristic Search: Instructor notes #7 (postscript, PDF).
    10. Constraint Satisfaction: Instructor notes #8 (postscript, PDF).
    11. Adverserial Search: Instructor notes #9 (postscript, PDF).
    12. Logical Agents I: Instructor notes #10 (postscript, PDF).
    13. Logical Agents II: Instructor notes #11 (postscript, PDF).
    14. First-Order Logic: Instructor notes #12 (postscript, PDF).
    15. Inference in First-Order Logic: Instructor notes #14 (postscript, PDF).

    Glossaries:

    1. Glossary 1
    2. Glossary 2
    3. Glossary 3
    4. Glossary 4
    5. Glossary 5
    6. Glossary 6
    7. Glossary 7
    8. Glossary 8
    9. Glossary 9
    10. Glossary 10

    Future glossaries:

    These glossaries below are subject to change at any time before they are assigned. Make sure to load the lastest version before submitting your glossary.
    1. Glossary xx

    Exercises treated during Recitation:

    1. Emacs (postscript, PDF). Please go through the online tutorial (accessible from emacs by typing Escape-x (for entering a command), h (h for help), t (t for tutorial).
    2. Emacs & Lisp: Recitation 1 (postscript, PDF)
    3. Lisp: structures, classes, methods, and reading from files. Two files: structures.lisp and people-data.lisp.
    4. (More on) Problem Solving ps and pdf.
    5. Empty Game Tree (postscript, PDF)
    6. Proof by resolution refutation in FOL (solution) (postscript, PDF)

    Detailed schedule:

  • Homework 4 assigned
    • Dates
    Material
    Announcements
    Mon, Jan 9 Topic: Rules of the Game
    Required reading: AIMA, Section 1.1
    Recommended reading: What is AI by John McCarthy

    		   
    Wed, Jan 11 Topic: Historical notes
    Required reading: AIMA: Chapter 1     		 
    Wed, Jan 11 Recitation from 5:00 to 6:00 pm Getting Started with Emacs
  • Get your free (time-limited) version of ACL. 
  • Details on using Lisp available from web pages of Eric Moss.
  • 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.
    • Fri, Jan 13
    Pretest
  • In-class: closed book, handwritten crib sheet allowed, must be turned in with test
  • Take-home: collaboration, discussion strictly forbidden. To be returned on Wednesday Jan 21
  • Make sure to check out whether or not you took CSCE310 (or equivalent) and provide your grade.
    		•
    Mon, Jan 16
    Martin Luther King Day
    Wed, Jan 18

    Topic: A Gentle Introduction to Common Lisp
    Required reading:

  • LWH: Chapter 1, 2, 3, and 4. 
  • Beating the Averages   (Paul Graham)
    • Recommended reading:  
  • Pretest: Take-home pretest is due.
  • Homework1 assigned
  • Glossary 1 assigned
    		•
    Wed, Jan 18 Recitation from 5:00 to 6:00 pm  
    Fri, Jan 20 Topic: Intro to Lisp
    Required reading: AIMA Chapter 2.     		 
    Mon, Jan 23

    Topic: Finish the intro to Lisp, if time permits start lecture on Intelligent agents
    Required reading: LWH: Chapters 5, 7, 8, 15, 16. AIMA Chapter 2
    Recommended reading: LWH: Chapters 9, 11, 12, 17.
  • Glossary 1 due
    • Wed, Jan 25

    Topic: Intelligent Agents
    Required reading: Same as above (LWH: Chapters 5, 7, 8, 15, 16. AIMA Chapter 2).
    Recommended reading: Same as above (LWH: Chapters 9, 11, 12, 17).
  • Homework 1 due
  • Homework 2 assigned
    • Wed, Jan 25 Recitation from 5:00 to 6:00 pm
  • Quiz 1
  • Glossary 2 assigned
    • Fri, Jan 27

    Topic: Solving Problems by Searching
    Required reading: AIMA: Chapter 3, Sections 3.1, 3.2, and 3.3 and LWH: Chapters 6, 10, 13, 14.
    Recommended reading: LWH: Chapters 9, 11, 12, 17 (same as on Jan 23).

    		  
    Mon, Jan 30

    Topic: Same as above
    Required reading: Same as above
    Recommended reading: Same as above

  • Glossary 2 due
  • Glossary 3 assigned
    • Wed, Feb 1

    Topic: Same as above
    Required reading: Same as above
    Recommended reading: Same as above
  • Homework2 due
  • Homework3 assigned
    • Wed, Feb 1 Recitation from 5:00 to 6:00 pm
  • Quiz 2
    		•
    Fri, Feb 3

    Topic: Same as above
    Required reading: AIMA: Chapter 3, Sections 3.4, 3.5, and 3.6
    Recommended reading: Same as above

    		  
    Mon, Feb 6

    Topic: Same as above
    Required reading: Same as above
    Recommended reading: Same as above
  • Glossary 3 due
  • Glossary 4 assigned
    • Wed, Feb 8

    Topic: Same as above
    Required reading: Same as above
    Recommended reading: Same as above

    		 
    Wed, Feb 8 Recitation from 5:00 to 6:00 pm
  • Quiz3
  • Do Excercises 6 and 7 of the recitation by Web, Feb 15, and get 5 bonus points per exercise (bonus points apply towards homework points).
    		•
    Fri, Feb 10

    Topic: Informed search Strategies
    Required reading: Chapter 4, Section 4.1
    Recommended reading:  

  • Homework 3 due
    • Mon, Feb 13

    Topic: Instructor is out of town. TA will discuss HWK3.
    Required reading: Chapter 4, Section 4.1
    Recommended reading:

  • Glossary 4 due
  • Glossary 5 assigned
  • Quiz 4 during class
    • Wed, Feb 15

    Topic: Informed search Strategies
    Required reading: AIMA Chapter 4, Section 4.1, 4.2 and 4.3
    Recommended reading:  

    		 ACL 8.0 is up and running. To use it, you need to update the reference to the CL image and emacs-lisp interface in your initialization files.
  • If you are using emacs, update the following two lines in your .emacs file: (load "/usr/local/acl80/xeli/fi-site-init") (setq fi:common-lisp-image-name "/usr/local/acl80/alisp")
  • If you are using xemacs, update the following two lines in your .xemacs/init.el file: (load "/usr/local/acl80/eli/fi-site-init") (setq fi:common-lisp-image-name "/usr/local/acl80/alisp")
    • Wed, Feb 15 Recitation from 5:00 to 6:00 pm
    We will continue discussing Informed Search, Chapter 4.     		Will be held in 109 AVH  
    Fri, Feb 17

    Topic: Same as above
    Required reading: Same as above
    Recommended reading: Same as above

      

    Mon, Feb 20

    Topic: Iterative improvement search
    Required reading: same as above
    Recommended reading: same as above
  • Glossary 5 due
  • Glossary 6 assigned
    • Wed, Feb 22

    Topic: Same as above
    Required reading: Same as above
    Recommended reading: Same as above
    Wed, Feb 22 Recitation from 5:00 to 6:00 pm.
  • Quiz 5 during recitation
  • Lisp: structures, classes, methods, and reading from files. Two files: structures.lisp and people-data.lisp.
    		•
    Fri, Feb 24 Topic: Finish Iterative Improvement Search; start CSP.
    Required reading: Same as above + AIMA: Chapter 5
    Recommended reading:
  • Bartak online guide,
  • Kumar's paper,
  • Bartak's paper
    		•
  • HWK 4 due
  • HWK 5 assigned, Retrieve the list of cities.
    • Mon, Feb 27

    Topic: Same as above
    Required reading: Same as above
    Recommended reading: Same as above
  • Glossary 6 due
  • Glossary 7 assigned
    • Wed, Mar 1

    Topic: Same as above
    Required reading: Same as above
    Recommended reading: Same as above

      

    Wed, Mar 3 Recitation from 5:00 to 6:00 pm
    MST for TSP; 3SAT reduction into CSP; commenting and print functions in Lisp; misc.

      

    Fri, Mar 3
    Review
    Mon, Mar 6
    MidTerm
    Wed, Mar 8

    Topic: CSP
    Required reading:   See Feb 24
    Recommended reading: See Feb 24  

      

    Wed, Mar 8 Recitation from 5:00 to 6:00 pm

      

    Fri, Mar 10

    Topic: Recitation
    Will review HWK4 (if questions), Midterm (if questions), and do some exercices: (More on) Problem Solving ps and pdf.

  • HWK 5 posponed until March 20, 2006
  • Glossary 7 posponed until March 20, 2006
    • Mon, Mar 13
    Spring vacation
    Wed, Mar 15
    Fri, Mar 17
    Mon, Mar 20 Class cancelled for inclement weather Postponed to Wed, Mar 20: HWK5 and Glossary 7 are due.
    Wed, Mar 22

    Topic: Finish CSP; Adverserial search
    Required reading: Same as above; and AIMA: Sections 6.1, 6.2, and 6.3
    Recommended reading: Same as above; and play with the Alpha-beta animation
  • Reported from Mon Mar 20: HWK5 and Glossary 7 are due.
  • Glossary 8 assigned
    		•
    Wed, Mar 22 Recitation from 5:00 to 6:00 pm
    Make-up for Monday's class.
    Fri, Mar 24

    Topic:  
    Required reading:  
    Recommended reading:  

    		HWK6 assigned
    Mon, Mar 27

    Topic:  
    Required reading:  
    Recommended reading:  
  • Glossary 8 due
    		•
    Wed, Mar 29 Topic: Logical Agents
    Required reading: Sections 7.1, 7.2, and 7.3
    Recommended reading:     		 
    Wed, Mar 29 Recitation: Alpha-Beta pruning.

      

    Fri, Mar 31

    Topic: Logical Agents
    Required reading: Sections 7.1, 7.2, and 7.3
    Recommended reading:  

  • HWK 6 due.
  • Quiz 6
    		•
    Mon, Apr 3

    Topic: Logical Agents
    Required reading: Sections 7.1--7.5
    Recommended reading:  
  • HWK 7 assigned.
    		•
    Wed, Apr 5

    Topic: Same as above
    Required reading: Same as above
    Recommended reading:  

    		 
    Wed, Apr 5 Recitation from 5:00 to 6:00 pm

      

    Fri, Apr 7

    Topic: Same as above
    Required reading: Same as above
    Recommended reading:  
  • HWK 7 due.
  • HWK 8 assigned.
    		•
    Mon, Apr 10

    Topic: Same as above
    Required reading: Same as above

    		 
    Wed, Apr 12

    Topic: Same as above
    Required reading: Same as above

      

    Wed, Apr 12 Recitation from 5:00 to 6:00 pm Quiz 7
    Fri, Apr 14

    Topic: Logical Agents
    Required reading: Sections 7.4, and 7.5

    		 
    Mon, Apr 17

    Topic: Same as above
    Required reading: Same as above
    Recommended reading: Same as above
  • HWK 8 due.
  • HWK 9 assigned.
    		•
    Wed, Apr 19

    Topic: Same as above, First-Order Logic
    Required reading: Chapter 8, Section 8.1, 8.2, and 8.3
    Recommended reading:  
  • Quiz 7
    • Wed, Apr 19 Recitation from 5:00 to 6:00 pm  
    Fri, Apr 21

    Topic: First-Order Logic
    Required reading: Chapter 8, Section 8.1, 8.2, and 8.3
    Recommended reading:  
  • HWK 9 due.
    		•
    Mon, Apr 24

    Topic: Same as above, starting inference in FOL
    Required reading: Chapter 9
    Recommended reading:

      

    Wed, Apr 26

    Topic: Inference in FOL
    Required reading: Chapter 9
    Recommended reading:  

      

    Wed, Apr 26 Recitation from 5:00 to 6:00 pm  
    Fri, Apr 28

    Review session
  • Final glossary due
    • Thu, May 4
    Final Examination
    From 1:00 to 3:00 pm in Avery Room 109.
    Closed books, handwritten crib sheet allowed, must be turned in with exam.

    Berthe Y. Choueiry

    Last modified: