CSCE476/876, Spring 2000: Class schedule

Warning: this page will be regularly updated.
Check often, at least three times per week.
 Handouts:
  1. Syllabus and grading strategy
  2. Introduction to AI:  slides
  3. Homework 1
  4. Historical notes, intellegent agets: slides
  5. Solving problems by searching (problem types, problem formulation, environments): slides
  6. Homework 2
  7. Solving problems by searching (uniformed search) : slides
  8. Solving problems by searching (CSP): slides
  9. Homework 3
  10. Bartak's on-line guide: Introduction to CSPs
  11. Algorithms for Constraints Satisfaction problems: A Survey", by Vipin Kumar. AI Magazine, Volume 13, Number 1, 32-44, 1992.
  12. Zebra puzzle problem
  13. Resource allocation example
  14. Heuristic search: slides
  15. Game Playing: slides
  16. Homework 4
  17. Logical Agents:  slides
  18. First-Order Logic (I):  slides
  19. First-Order Logic (II): slides
  20. Inference in First-Order Logic  (I): slides
  21. Inference in First-order logic (II), resolution, refutation and skolem functions: Slides
  22. Logical reasoning systems: Slides
  23. Connectionist Models, Chapter 18, Rich & Knight.
  24. Planning (I): Slides
  25. Planning (II): Slides
  26. Homework 5
  27. Practical Planning: Slides
  28. NASA Ames' Remote Agent: Planning and Scheduling
  29. Planning & Acting (I): Slides
  30. Uncertainty (I): Slides
  31. Uncertainty (II): Slides
  32. Probabilistic Reasoning Systems (I):  Slides
  33. Probabilistic Reasoning Systems (II):  Slides
Dates
Material
Homeworks & Tests
Announcements and notifications
Mon, Jan 10
  • Slides
  • Syllabus.
  • Introduction to AI, AIMA: Chapter 1 
  • Required reading: all sections except Section 1.2.
  • Recommended reading: Section 1.2
    		•   Homework1 (HW1). Warning: two due dates.  
    Wed, Jan 12 
  • Slides 
  • Required reading: 

    •    (1) AIMA: Historical notes (Chapter 1) Intelligent Agents (Chapter 2). 
       (2) LWH: Chapter 2. 
       (3) Lisp tutorial by Basant Honavar.    		    
    Fri, Jan 14
    Pretest
    Mon, Jan 17
    Martin Luther King Day
    Wed, Jan 19 Required reading: 
    LWH: Chapter 3.     		  Homework2 (HW2) distributed. Pretest due. 
    Glossary I due.
    Fri, Jan 21
  • Slides 
  • Required reading:  

    •    (1) AIMA: Chapter 3, Section 3.1, 3.2 and 3.3. 
       (2) LWH: Chapter 3.     		    
    Mon, Jan 24 Topic: uniformed search
  • Slides
  • Required reading: 

    • AIMA: Chapter 3, Section 3.4, 3.5, 3.6. 
    LWH: Chapter 4.     		   Glossary II due.
    Wed, Jan 26 Topic: uniformed search 
    Required reading: 
    (1) AIMA: Chapter 3 
    (2) LWH: Chapter 4.     		    
    Fri, Jan 28 Topic: uniformed search & constraint satisfaction
  • Slides
  • Required reading:  

    • (1) AIMA: Chapter 3, Section 3.7 
    (2) Introduction to CSPs (on-line guide): Introduction, Binarization of Constraints, Systematic Search Algorithms,  Consistency Techniques, Constraint Propagation, Variable and Value Ordering.
    (3) LWH: Chapter 4. 
  • Recommended reading: 

    • "Algorithms for Constraints Satisfaction problems: A Survey", by Vipin Kumar. AI Magazine, Volume 13, Number 1, 32-44, 1992. 
  • Plenty of other references:  Fall'99 CSCE990-05,  check the on-line reserves. 
    		•     
    Mon, Jan 31 Quiz 1 done in class.
    Correction of pretest.    		 Homework 3 assigned.  Glossary III due.
    Wed, Feb 2 Topic: Constraint Satisfaction
    Reading material: 
    (1) same as Jan 28 
    (2) AIMA: pages 104-105 (Heuristics for CSPs) 
    (3) LWH: Chapter 5    		 Homework 2 is due. 

    LWH Chapter 10 is useful for understanding the CL functions: step, describe, trace.

    		  
    Fri, Feb 4 Topic: Heuristic Search
    Slides
    Required reading: AIMA: Chapter 4, (all except Section 4.3) 
    Recommanded reading:  AIMA, Section 4.3.    		    
    Mon, Feb 7 Topic: Heuristic Search
    Correction of Homework2, Greedy search,  A*    		   Glossary IV due.
    Wed, Feb 9 Topic: Heuristic Search Homework 3 (HW3) is due.  
    Fri, Feb 11 Topic:  LISP
    defstruct, defclass, design of a depth first search algorithm for the n-queens problem 
    Required reading: LWH:  Chapter 7, 13, 14    		 Homework 4 (HW4) assigned.  
    Mon, Feb 14 Topic: Game Playing 
    Slides
    Required reading:  AIMA, Chapt 5, Sections: 5.1, 5.2, 5.4. 
    Recommanded reading:  AIMA, Chapter 5 remaining sections.    		  
  • Glossary V due. 
  • Help on LISP from  12 to 12:30 pm, Room 111
    		•
    Wed, Feb 16 Topic: Agents that Reason Logically
    Slides
    Required Reading: AIMA: Chapter 6 
    Recommanded reading: 
    A mathematical introduction to logic, Enderton, Herbert, CALL NO. QA9 .E54 1972  (I'll try to make it available on reserve at LL).    		  
  • Help on LISP from  12 to 12:30 pm, Room 111
  • Book added to reserve at LL: A mathematical introduction to logic by Enderton, Herbert B CALL NO. QA9 .E54 1972
    		•
    Fri, Feb 18 Topic: Agents that Reason Logically

    Exercices from AIMA

    		 HW4: Problem 1 & 2 are due.
    CSCE476/876 Challenge
    The best student (possibly two, ties broken by lottery) will go to Austin Texas in August 2000 to attend the National Conference on Artificial Intelligence (AAAI-2000), which is the main yearly event in the field in the US.
    The goal is to motivate you to work hard on the course, get interested in doing research in the field and pursue graduate studies. 
    Mon, Feb 21  Corrections of HW3 and HW4 HW4: Problem3 (Tasks 1&2) are due Glossary VI due. 
    Tue, Feb 22 Help on LISP from 6pm to 8pm in Room 114 (conference room)
    Wed, Feb 23 Topic: Agents that Reason Logically
    Exercices from AIMA    		   Help on LISP from 6pm to 8pm in Room 114 (conference room)
    Fri, Feb 25 Topic: First-Order Logic
    Slides
    Required reading: AIMA, Chapter 7 (Sections 7.1 and 7.3)    		 EXTENSION: 
    HW4: Problem3 (Tasks 1&2) are due    		  
    Mon, Feb 28 Topic: First-Order Logic
    Exercises.    		  HW4: Problem 3 (Tasks 3, 4, 5, 6 & 7) are due. Glossary VII due.
    Wed, Mar 1
     Review
    Fri, Mar 3
    Mid-term
    Mon, Mar 6 Topic: First-Order Logic
    Slides
    Required reading: AIMA, Chapter 7 (Sections 7.4--7.9)    		 EXTENSION: 
    HW4: Problem 3 (Tasks 3, 4, 5, 6, & 7)    		 Glossary VIII due.
    Wed, Mar 8 Midterm corrections.
    Topic: Inference in First-Order Logic
    Slides
    Required reading: AIMA, Chapter 9 (Sections 9.1--9.4)    		    
    Fri, Mar 10      
    Mon, Mar 13
      Spring vacation
    Wed, Mar 15
    Fri, Mar 17
    Mon, Mar 20 Topic: Inference in First-Order Logic, forward and backward chaining
    Required reading: AIMA, Chapter 9 (Sections 9.1--9.4)    		   Glossary IX due.
    Wed, Mar 22 Topic: Inference in First-order logic,
    Slides
    Required reading: AIMA, Chapter 9 (Sections 9.5--9.6, up to page 283)    		    
    Fri, Mar 24 Topic:  Inference in FOL:  resolution, refutation and skolem functions
    Correction of quiz, finish Inference on FOL
    Required readings: AIMA, Chapter 11    		    
    Mon, Mar 27 Topic: Planning
    Slides, Slides
    Logical reasoning sytesm, start planning
    Recommended reading: AIMA Chapter 10 (glossary not required)
    Required readings: AIMA, Chapter 11    		   Glossary X due.
    Wed, Mar 29    
    Fri, Mar 31 Topic: Artificial Neural Networks
    Instructor: Dr. Al Surkan
    Required reading: AIMA Chapter 19.    		   Regular instructor out of town. 
    Mon, Apr 3 Topic: Artificial Neural Networks
    Instructor: Dr. Al Surkan
    Required reading: AIMA Chapter 19.    		   Regular instructor out of town.
    Wed, Apr 5 Topic: Planning (Partial-Order Planning)
    Slides
    Required readings: AIMA, Chapter 11.  Up to section 11.6 inclusive.    		  Homework 5 out. Glossary IXdue.
    Fri, Apr 7 Topic: Practical Planning (HD-Planning)
    Slides
    Required reading:  AIMA, Chapter 12, Section 12.1-12.2    		    
    Mon, Apr 10 Topic: Practical Planning & Planning and Acting
    (Conditional Planning)
    Slides
    Required reading: 
    AIMA, Chapter 12, Section 12.2, and 12.3 (partially)
    AIMA, Chapter 13, Section 13.1 (except subsection "Extending the Plan Language")    		   Glossary X due.
    Wed, Apr 12  Topic: Planning and Acting  (Conditional Planning)
    Slides
    Required reading: 
    AIMA, Chapter 13, Section 13.1 (except subsection "Extending the Plan Language")    		    
    Fri, Apr 14 Topic: Planning and Acting (Planning & Execution Monitoring)
    Slides
    Required reading: 
    AIMA, Chapter 13, Section 13.2--13.3    		    
    Mon, Apr 17 Instructor out of town.
    Quiz4 by TA. 
    Exercices from AIMA 11.2 and 13.6    		   Glossary XI due.
    QUIZ4 by TA
    Wed, Apr 19 Topic:  Uncertainty
    Slides
    Required reading: 
    AIMA, Chapter 14, Section 14.1--14.3    		 Homework 5 due.  
    Fri, Apr 21 Topic: Uncertainty
    Slides
    Required reading:
    AIMA, Chapter 14, Section 14.4    		    
    Mon, Apr 24 Topic: Probabilistic Reasoning Systems  (I)
    Slides
    Required reading:
    AIMA, Chapter 15, Section 15.1-15.2    		   Complete glossary due.
    Wed, Apr 26 Topic: Probabilistic Reasoing Systems (II)
    Slides
    Required reading:
    AIMA, Chapter 15, Section 15.3    		    
    Fri, Apr 28
    Review
    Wed, May 3
     Final exam from 1:00 p.m. to 3:00 p.m.

    Berthe Y. Choueiry

    Last modified: