CSCE476/876, Spring 2001: Class schedule

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


Handouts:

  1. Syllabus and grading strategy: Handout 1
  2. Introduction to AI: Handout 2
  3. Historical notes, Intelligent agents:  Handout 3
  4. Solving Problems by Search:  Handout 4.
  5. Solving Problems by Searching: Handout 5.
  6. Solving Problems by Searching: Handout 6.
  7. Heuristic Search:  Handout 7.
  8. Game Playing: Handout 8.
  9. Solving problems by searching (CSP): Handout  9
  10. Bartak's on-line guide: Introduction to CSPs:  Handout 10
  11. Handout 11: Algorithms for Constraints Satisfaction problems: A Survey", by Vipin Kumar. AI Magazine, Volume 13, Number 1, 32-44, 1992.
  12. Agents that reason Logically (I) :  Handout 12
  13. Agents that reason Logically (II):  Handout 13
  14. First-order logic (I): Handout 14
  15. First-order logic (II): Handout 15
  16. Inference in First-Order Logic (I):  Handout 16
  17. Inference in First-Order Logic (II): Handout 17
  18. Solutions to Logic problems from Chapters 6, 7, and 9.  Ask instructor.
Dates 
Material
Homework & Tests
Announcements and notifications
Mon, Jan 8 Topic:  Rules of the game and introduction to the topic
Required reading: AIMA Chapter 1, Section 1.1
Recommended reading: AIMA Section 1.2		    Class held in CBA 31
Wed, Jan 10 Topic: Gentle introduction to Common Lisp
Required reading: 
  1. AIMA: Historical notes (Chapter 1), Intelligent Agents (Chapter 2). 
  2. LWH: Chapter 1, 2, 3, and 4.
  
  • Class remains in CBA 31 until further notice.
  • Grading policies have been updated.  Please check syllabus.
  • Get a bonus by making a weekly glossary 
  • Get your free (time-limited) version of ACL.
  • Instructions on using xemacs and ACL on the PCs.
    		•
    Fri, Jan 12
    Pretest
    Mon, Jan 15
    Martin Luther King Day
    Wed, Jan 17 Topic: LISP
    Required reading: LWH: Chapter 1, 2, 3, and 4.S    		 Glossary 1 due (refer to check page 3 in Handout 3).
  • Ask your questions on Lisp/emacs.
  • Xemacs + ACL Keystroke accelerators
    		•
    Fri, Jan 19 Topic: Historical notes, Intelligent agents:
    Required reading: AIMA: Historical notes (Chapter 1), Intelligent Agents (Chapter 2).     		 Little (not)surprise quiz.
    Homework 1 given.    		  
    Mon, Jan 22 Topic: Solving Problems by Searching
    Required reading: Sections 3.1, 3.2.    		  Glossary 2 given.  
    Wed, Jan 24 Topic: Solving Problems by Searching
    Required reading: Sections 3.1, 3.2    		  
     Announcement
     The AI Course Challenge
    The student who obtains the best total grade at the end of the semester will be offered the opportunity to attend the most important AI event in 2001:  IJCAI'01.
    Depending on the availability of funds, we will try to take, or partially support, more students.
    Fri, Jan 26 Topic: Solving Problems by Searching
    Required reading:  AIMA: Sections 3.2, 3.3. LWH: Chapters: 10.    		  (Not) surprise quiz.
    Glossary 3 given.    		 Pointer to CMU Common Lisp
    Mon, Jan 29 Topic: Solving Problems by Searching
    Required reading:  AIMA: Sections 3.4, 3.5. LWH: Chapters: 5, 6, 7, 13.    		  (Not) surprise quiz.
    Glossary 2 due.    		  
    Wed, Jan  31 Topic: 
    Required reading:     		    
    Fri, Feb 2 Topic: 
    Required reading:     		 Homework 1 due be 6:00 pm. Use Hand in.  
    Mon, Feb 5 Topic:  Pretest correction in class. 
    Required reading:     		 Glossary 3 due.
    Quiz3 will be given.
    Homework 2 is assigned.    		 TA replaces instructor (out of town). 
    Attendance sheet will be circulated AS USUAL.
    Wed, Feb 7 Topic: Solving Problems by Searching
    Required reading: AIMA: Sections 3.4, 3.5.    		    
    Fri, Feb 9
    University closed for inclement weather
    Mon, Feb 12 Topic: Heuristic Search, Greedy Search
    Required reading: AIMA, Chapter 4    		 No glossary due.
    Glossary 4 given. 
    Check new slides for additional term.
  • We will skip constant satisfaction (my favorite topic) now, and will come back to it in more detail than in the book later.
  • We will go through quiz 4 in class.
  • Date of final exam was incorrect, check correct date.
  • Handout distributed in class slightly updated.
    		•
    Wed, Feb 14 Topic: Heuristic Search, A*
    Required reading: AIMA, Chapter 4    		 Surprise quiz: Quiz 4  
    Fri, Feb 16 Topic:  Heuristic Search, A*
    Required reading: AIMA, Chapter 4    		    
    Mon, Feb 19 Topic: Iterative repair search
    Required reading: AIMA, Chapter 4.    		 Glossary 4 due.
    Glossary 5 assigned.    		  
    Wed, Feb 21 Topic: Game Playing
    Required reading: AIMA, Chapter 5, Section 5.1, 5.2 and 5.4    		 Homework 2 due.  
    Fri, Feb 23 Topic: Game Playing
    Required reading:     		 Homework3 assigned.  
    Mon, Feb 26 Topic: Constraint Satisfaction
    Required reading: 
  • AIMA Chapter 3, Section 3.5, an Chapter 4, Section 4.4
  • Bartak's on-line tutorial (Handout 10)

    • Recommended reading:  Paper by Kumar (Handout 11)    		 Glossary 5 due
    Glossary 6 assigned.    		  
    Wed, Feb   28
     Review
    		 HWK3 Question 1 due.
    Fri, Mar 2
    Mid-term
    		 One Lisp manual is allowed.
    No books allowed.
    Mon, Mar 5 Topic: Constraint Satisfaction
    Required reading: same as before    		 Glossary 6 due.  
    Wed, Mar 7 Topic: Corrections of homework and exams by TA.
    CSP example by student.    		    Instructor out of town
    Fri, Mar 9 Topic:  Constraint Satisfaction
    Required reading: same as before    		 HWK3 handin  (31):
  • Final: Question 2
  • Sketch: Question 3 
    		•   
    Mon, Mar 12
      Spring vacation
    Wed, Mar 14
    Fri, Mar 16
    Mon, Mar 19 Topic:  Constraint Satisfaction in a nutshell. Agents that reason logically
    Required reading: Chapter 6, Sections 6.1, 6.2    		 HWK3 handin  (32):
    Final: Question 3 
    Glossary 7 assigned.    		  
    Wed, Mar 21 Topic: Agents that reason logically
    Required reading: Chapter 6, Sections 6.1, 6.2    		    
    Fri, Mar 23 Topic: Agents that reason logically
    Required reading: Chapter 6, Sections 6.3, 6.4    		 Quiz 6
    Glossary 8 assigned.
    Glossary 9 assigned.    		  
    Mon, Mar 26 Topic: Agents that reason logically
    Required reading: Chapter 6, Sections 6.3, 6.4    		 Glossary 7 due.
    Glossary 8 due.    		  
    Wed, Mar 28 Topic: Agents that reason logically
    Required reading: Chapter 6, Sections 6.3, 6.4    		  Homework 4 assigned  
    Fri, Mar 30 Topic: First-order logic
    Required reading: Chapter 7, Sections 7.1 and 7.3    		    
    Mon, Apr 2 Topic: First-order logic
    Required reading: Chapter 7, Sections 7.1 and 7.3    		 Glossary 9 due.  
    Wed, Apr 4 Topic: First-order logic
    Required reading: Chapter 7, Sections 7.1 and 7.3    		   . 
    Fri, Apr 6 Topic: First-order logic
    Required reading: Chapter 7, Sections 7.4and 7.9    		  Glossary 11 assigned.  
    Mon, Apr 9 Topic: Writing FOL sentences. Exercise 7.2 and 7.3
    First-order logic
    Required reading: Chapter 7, Sections 7.4 and 7.9    		 Homework 4  due.
    Glossary 10 due.
    Glossary 11 due
    Homework 5 assigned.    		  
    Wed, Apr 11 Topic: Situation Calculus
    Required reading: Chapter 7, Sections 7.4 to 7.9    		    
    Fri, Apr 13 Topic: Inference in First-Order Logic
    Required reading: Chapter 9, Sections 9.1 to 9.4
    Recommended reading: Chapter 8.    		 Glossary 12 assigned  
    Mon, Apr 16 Topic: Inference in First-Order Logic
    Required reading: Chapter 9, Sections 9.1 to 9.4
    Recommended reading: Chapter 8.     		 Glossary 12 due.
    Glossary 13 assigned    		  
    Wed, Apr 18 Topic: Inference in First-Order Logic
    Required reading: Chapter 9, Sections 9.1 to 9.4    		  Quiz 7  
    Fri, Apr 20
    Class canceled for Engineering day
    		 Homework 5 due (pen+paper, compulsory).
     Class canceled for Engineering day
    Mon, Apr 23 Topic: Correction of quiz7 on logic. Inference in First-Order Logic
    Required reading: Chapter 9, Sections 9.5 and  9.6    		 Glossary 13 due.   
    Wed, Apr 25 Topic: Inference in First-Order Logic
    Required reading: Chapter 9, Sections 9.5 and  9.6    		 Homework 5 due (programming, optional. HEFTY BONUS).  
    Fri, Apr 27
    Review
    Tue, May 1
     Final exam from 10:00 a.m. to 12:00 p.m.

    Berthe Y. Choueiry

    Last modified: