CSCE976, Spring 2002: 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
2. Introduction to the course: Handout 2

Planning:

1. Basic planning: Handout 3
2. Tibor's minutes on Planning as SAT by Selman & Kautz (MS Word document).
3. Planning as SAT:class discussion and comments.
4. Amy's minutes on Graph Plan by Blum & Furst, (ps file).
5. Amy's additional minutes:  Graphplan II, by Blum and Furst (ps file)
6. Shabbir's minutes GraphPlan as a CSP,  by Rao Khambhampathi (doc file).
7. Graph Plan: discussion and comments.

Natual Language Processing:

1. Amy's presentation on: Overview of Natural Language Processing from AIMA (a PowerPoint document.)
2. Shabbir's minutes of the Overview of NLP from AIMA
3. NLP: dicussion and comments

Temporal reasoning:

1. Xu Lin's minutes: Interval -Based Representation of Temporal Knowledge by Allen (ps document)
2. Xu Lin's presentation on Constraint Propagation Agorithms for Temporal Reasoning by Vilain and Kautz (a Power Point document)
3. Tibor's notes on Temporal Reasoning by Golumbic (pdf document, ps document)
4. Tibor's second set of notes on Temporal Reasoning by Golumbic (MS Word document, PDF document)
5. Praveen's minutes on "Constraint Propagation Algorithms for Temporal Reasoning" by Vilain & Kautz's.
6. Temporal Reasoning: dicussion and comments on
• Allen's paper and
• Vilain and Kautz paper

Mixed initiative and HCI:

1. Cory's presentation of Towards Conversational HCI, Allen, TRIPS of Allen et al.  (ps document).
2.  Rob's minutes: Towards Conversational HCI, Allen, TRIPS of Allen et al.  (ps document).
3. Mixed initiative and HCI: discussion and comments.

Case Based Reasoning:

1. Praveen's presentation on CBR Agnar Aamodt & Enric Plaza (1994). Case-based reasoning: Foundational issues, methodological variations, and system approaches. (MSWord document)
2. Cory's minutes on CBR (ps document)
3. CBR discussion

Multiagent Systems

         Chapter 1:

1. Tibor's presentation: Intelligent Agents (PartI). Chapter 1 of Weiss book (powerpoint slides)
2. Shabbir's presentation: Intelligent Agetns (Part II), Chapter 1 of Weiss book (powerpoint slides)
3. Rob's minutes of these two talks (pdf file)

         Chapter 2:

1. Xu Lin's presentation:  MAS and Societies of Agents Sections 2.1, 2.2 Michael N. Huhns and Larry M. Stephens, Chapter 2 of Weiss's book. (power point slides)
2. Dan's minutes on Xu Lin's talk (pdf file)
3. Shabbir's presentatiation MAS and Societies of Agents Sections 2.3, 2.4 and 2.5 (rest of sections). Michael N. Huhns and Larry M. Stephens, Chapter 2 of Weiss's book. (power point slides)
4. Cory's minutes of Shabbir's tlak  (pdf file)

        Chapter 5:

1. Praveen's presentation: Distributed Rational Decision Making Sections 5.1---5.5, Tuomas Sandholm. Chapter 5 of Weiss's book. (power point slides)
2. Shabbir's minutes  Praveen's talk
3. Tibor's presentation: Distributed Rational Decision Making Sections 5.6---5.9, Tuomas Sandholm. Chapter 5 of Weiss's book. (power point slides)
4.  Praveen's minutes on Tibor's talk

Interchangeability in CSPs:

1. Amy's presentation (dry run for her defense, does not count for course credit)
2. Shabbir's minutes of Amy's talk (MSWord document)
3. Discussion

Robotics & Motion Planning:

1.  Cory's presentation: Intelligence without Representation, Rodney Brooks (ps file)
2.  Dan's minutes on Cory's talk
3. Praveen's presentation: Configuration Space and motion planning (AIMA, Section 25.5 and 25.6)
4. Shabbir's minutes onPraveen's talk

Distributed CSP:

1. Lin's presentation: Multiagent Oriented Constraint Satisfaction, Jiming Liu, Han Jing and Y.Y. Tang, Artificial Intelligence, Volume 136, Issue 1, March 2002
2. Dan's minutes on Lin's talk
3. Discussion

Intelligent Tutoring Systems:

1. Amy's presentation: "Intelligent Computer-Aided Instruction: A Survey Organized Around System Components." (IEEE Transactions on Systems, Man, and Cybernetics1989)
2. Xu Lin's minutes on Amy's talk

Other:

1. Dan's project defense
2. Rob's project defense

Dates	Material	Discussion leaders, scribes & reviewers	Homework & quizzes Announcements & Notifications
Mon, Jan 14	Topic: Rules of the game.  First planning systems. Required reading: AIMA Chapter 11. Section 11.1 --11.6 Recommended reading: AIMA Section 7.6 (Review)		Class held in CBA 141 Glossary I assigned
Wed, Jan 16	Pretest Lecture: same as previous
Mon, Jan 21	Martin Luther King Day
Wed, Jan 23	Topic: POPLanner Required reading: same as previous		Glossary I due
Mon, Jan 28	Topic: same as previous, correction of pretest	Quiz 1
Wed, Jan 30	Topic: Hierarchical problem solving Required reading: Craig A. Knoblock, "Search reduction in hierarchical problem solving" AAAI-91 Recommended reading:
Mon, Feb 4	Topic: Planning and Satisfiability. Required reading:  Kautz and Selman, "Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search" AAAI-96 Kautz, McAllester and Selman: "Encoding Plans in Propositional Logic" (KR-96) Recommended reading: Kautz and Selman "Planning as Satisfiability "	Scribe: Tibor Moldovan
Wed, Feb 6	Same as previous.
Mon, Feb 11	Topic:  Natural Language Processing Required reading: Chapter 23: section 23.1 and 23.6 Recommended reading: rest of the chapter.	Discussion leader: Amy Davis Scribe(s):  Shabbir Syed Reviewers: all students, except the author of the minutes.
Wed, Feb 13	Topic: Graphplan Required reading: Recommended reading:	Scribe: Amy	HWK1 due One paragraph that specifies the state-based encoding.
Mon, Feb 18	Topic: Graph plan, once more. Required reading: Recommended reading:
Wed, Feb 20	Topic: Graphplan and CSP Required reading: Kambhampati: "Planning Graph as (dynamic) CSP: Exploiting EBL, DDB and other CSP Techniques in Graphplan " (JAIR 2000) Recommended reading: Other papers by Rao on the topic, as listed below.	Scribe: Shabbir
Mon, Feb 25	Topic: same as previous Required reading: Recommended reading:	Scribe: Shabbir
Wed, Feb 27	Topic: Temporal Reasoning Required reading: Allen: "An interval based representation of temporal knowledge" (IJCAI 81)  Recommended reading: Papers on temporal reasoninng listed below.	Discussion Leader:  Cory Scribe: Xu Lin
Mon, Mar 4	Topic: Temporal Reasoning Required reading:  Vilain & Kautz: "Constraint Propagation Algorithms for Temporal Reasoning"  (AAAI 86, pages 377-382). Recommended reading: Papers on temporal reasoninng listed below.	Discussion Leader:  Xu Lin Scribe: Praveen
Wed, Mar 6	Topic: Temporal Reasoning Required reading: Golumbic: "Reasoning About Time." Mathematical Aspects of Artificial Intelligence", Proc. Symp. in Appl.  Math. vol 55, 1998, pp. 19-53. Recommended reading:Papers on temporal reasoninng listed below.	Discussion Leader:  Instructor Scribe: Tibor	HWK2 due (UB-Trees)
Mon, Mar 11	Topic: Same as previous	Same as previous
Wed, Mar 13	Topic: HCI, Mixed Initiative Planning Required reading:  Towards Conversational HCI, Allen, et al. AI Magazine, Winter 2002 AIMA Chpater 22. Introdicution and Section 22.1 Recommended reading:	Discussion Leader:  Cory Scribe: Rob
Mon, Mar 18	Spring vacation
Wed, Mar 20
Mon, Mar 25	Class cancelled for inclement weather
Wed, Mar 27	Topic: Case-based reasoning Required reading: Agnar Aamodt & Enric Plaza (1994). Case-based reasoning: Foundational issues, methodological variations, and system approaches. AI-Communications, 1994. Recommended reading:	Discussion Leader:  Praveen Scribe: Cory
Mon, Apr 1	Topic:MAS, Intro Required reading: Intelligent Agents, by Michael Wooldridge. Chapter 1 of Weiss's Book. Recommended reading:  Ferber "Multi-Agent Systems" Chapter 2, 3, 6, 7.  Available from instructor. Intelligence without Representation, Rodney Brooks Intelligence without Reason, Rodney Brooks	Discussion Leaders: Tibor and Shabbir Scribe: Rob
Wed, Apr 3	Topic: MAS and Societies of Agents Required reading: Sections 2.1 and 2.2. Michael N. Huhns and Larry M. Stephens, Chapter 2 of Weiss's book. Recommended reading:  Ferber "Multi-Agent Systems" Chapter 2, 3, 6, 7.  Available from instructor. Intelligence without Representation, Rodney Brooks Intelligence without Reason, Rodney Brooks	Discussion Leaders: Xu Lin  Scribe: Dan
Mon, Apr 8	Topic: MAS and Societies of Agents Required reading: Sections 2.3, 2.4 and 2.5. Michael N. Huhns and Larry M. Stephens, Chapter 2 of Weiss's book. Recommended reading: Ferber "Multi-Agent Systems" Chapter 2, 3, 6, 7.  Available from instructor.	Discussion Leaders: Shabbir Scribe: Cory
Wed, Apr 10	Topic:  1. Finishd MAS, Chapter 2, Interaction Protocols (15 minutes max). 2. Interchangeability in CSPs (the rest of the time, perhaps a little more if you would like to giver her more feedback). Required reading:  1. AIMA, Chapt 25, Sections: TBA 2. TBA Recommended reading:	Discussion leader: Amy Scribe: Shabbir
Mon, Apr 15	Topic:  MAS Required reading: Part I, Chapter 5 of Weiss's Book. Recommended reading:	Discussion Leader:  Praveen  Scribe: Shabbir
Wed, Apr 17	Topic: MAS Fiinish PART I, Sections 5.1 to 5.5  PART II, Sections 5.6--5.9 Required reading: Chapter 5 of Weiss's Book. Recommended reading:	Discussion Leader:  Tibor Scribe: Praveen
Mon, Apr 22	Topic: Robotics according to Rodney Brooks Required reading: Intelligence without Representation, Rodney Brooks Recommended reading:	Discussion Leader:  Cory Scribe: Dan	Instructor out of town
Wed, Apr 24	Topic: Robotics, configuration space (max 30 minutes) Required reading: AIMA, Section 25.5 and 25.6 Recommended reading:	Discussion Leader:  Praveen Scribe: Shabbir	Instructor may be out of town
Mon, Apr 29	Topic: Intelligent tutoring systems Required reading:  Jeff Rickel:"Intelligent Computer-Aided Instruction: A Survey Organized Around System Components." (IEEE Transactions on Systems, Man, and Cybernetics1989) Recommended reading:	Discussion Leader:  Amy  Scribe: Xu Lin
Wed, May 1	Topic:  Multiagent and CSPs Required reading: Multiagent Oriented Constraint Satisfaction, Jiming Liu, Han Jing and Y.Y. Tang, Artificial Intelligence, Volume 136, Issue 1, March 2002 Recommended reading:	Discussion Leader:  Xu Lin  Scribe: Dan
Mon, May 6	1:00 pm to 3:00 pm Project defenses by Buettner and Glaubius

List of material:

General Planning:

• AIMA: Chapters 11, 12, 13
• Dan Weld "Recent Advances in AI Planning" AI Magazine 1999.
• Tom Dean and Subbarao Kambhampati. "Complexity, Decidability and Undecidablity results for domain-independent planning". Artificial Intelligence, 1995.
• Subbarao Kambhampati, Craig A. Knoblock, and Qiang Yang, "Planning as Refinement Search: A Unified Framework for Evaluating the Design Tradeoffs in Partial Order Planning," Artificial Intelligence, 1995.
• Craig A. Knoblock, "Search reduction in hierarchical problem solving" AAAI-91
• Long, Fox, Efficient implementation of the plan graph in STAN
• Koehler "Solving Complex Planning Tasks Through Extraction of Subproblems" (AIPS-98)
• Koehker "Planning under Resource Constraints" (ECAI 98)
• Nebel, Dimopoulos & Koehler: "Ignoring Irrelevant Facts and Operators in Plan Generation" (ECP97)
• Dimopoulos, Nebel, and Koehler, "Encoding planning problems in non-monotonic logic programs" (ECP97)
• Fox and Long, "The Automatic Inference of State Invariants in TIM." (JAIR, 1998, Vol 9, pages 367-421).
• Smith, Frank, and Jónsson: "Bridging the Gap Between Planning and Scheduling,"  in Knowledge Engineering Review 15:1,  2000.

GraphPlan:

• Blum and Furst, "Fast planning through planning graph analysis" (AIJ 1997)
• Blum and Langdorf "Probabilistic Planning in the Graphplan Framework."(ECP'99).  PGP Home page
• Anderson, Weld and Smith, Conditional Effects in Graphplan (AIPS 98)
• Kambhampati: "Planning Graph as (dynamic) CSP: Exploiting EBL, DDB and other CSP Techniques in Graphplan " (JAIR 2000)
• Kambhampati, Lambrecht and E. Parker "Understanding and Extending GraphPlan" (ECP'97), talk
• Kambhampati: "EBL and DDB for Graphplan" ASU CSE TR 98-008.
• Weld, Anderson and Smith, Extending Graphplan to Handle Uncertainty and Sensing Actions

SATPLAN:

First, we need to review GSAT, Selman, Levesque & Mitchell, "A New Method for Solving Hard Satisfiability Problems" (AAAI-92)

• Kautz and Selman "Planning as Satisfiability "
• Kautz and Selman, "Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search" AAAI-96
• Kautz, McAllester and Selman: "Encoding Plans in Propositional Logic" (KR-96)
• Kautz and Selman, The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework (AIPS 98)
• Giunchiglia et al, Act, and the Rest Will Follow: Exploring Determinism in Satplan, AAAI-98

Temporal reasoning:

•  Peter van Beek and Dennis W. Manchak. "The design and experimental analysis of algorithms for temporal reasoning. "Journal of Artificial Intelligence Research 4:1-18, 1996.
• Peter van Beek. "Reasoning about qualitative temporal information." Artificial Intelligence 58:297-326, 1992.
• Golumbic: "Reasoning About Time." Mathematical Aspects of Artificial Intelligence", Proc. Symp. in Appl.  Math. vol 55, 1998, pp. 19-53.
• Allen & Ferguson: "Actions and Events in Interval Temporal Logic" (Journal of Logic and Computation)
• Allen: "Time and Time again: the Many Ways to Represent Time." (International Journal of Intelligent Systems, 1991)
• Allen: "An interval based representation of temporal knowledge" (IJCAI 81) and "Maintaining Knowledge about Temporal Interval" (Communications of the ACM, 1983 Vol 26, pages 123-154)
• Vilain & Kautz: "Constraint Propagation Algorithms for Temporal Reasoning"  (AAAI86, pages 377-382).
• Ghallab and Alaoui "Managing Efficiently Temporal Relations Through Indexed Spanning Trees." (IJCAI 89, pages 1297-1303)
• Dechter, Meiri, Pearl "Temporal Constraint Networks" (AIJ 1991, VOl 49, pages 61-95)
• Thomas Dean and Drew McDermott: "Temporal Data Base Management" (AIJ 1987)

Spatial reasoning:

• Cohn, A G and Hazarika, S M: "Qualitative Spatial Representation and Reasoning: An Overview," Fundamenta Informaticae, Vol 46, Number1-2, pages 1--29, 2001.
• AIMA
• Dean, Allen & Aloimonos: "AI Theory & Practice" Section 6.6 pages 279--286.
• Ernest Davis

Scheduling:

• Marc Friedman: "Job-Shop Scheduling." (1997)
• Jain & Meeran: "A State of the Art Review of Job-Shop." (1998)
• Baptiste, LePape and Nuijten "Constraint-Bassed Scheduling-- Applying Constraint Programming to Scheduling Problems" (Kluwer 2001)

Distributed CSPs:

• Yokoo: "Distributed Constraint Satisfaction" Chapters 2, 3 and 4.
• IJCAI WS on Distriibuted CSPs
• Multiagent Oriented Constraint Satisfaction, Jiming Liu, Han Jing and Y.Y. Tang, Artificial Intelligence, Volume 136, Issue 1, March 2002

 

Multi-agent Systems:

• Intelligence without Representation, Rodney Brooks
• Intelligence without Reason, Rodney Brooks
• Weiss, selected chapters.  Check out the book from instructor.
• Huhns & Singh  "Agents & Multiagent Systems: "Themes, Approaches and Challenges" (Readings in Agents, Chapter 1, 1997)
• Ferber "Multi-Agent Systems" Chapter 2, 3, 6, 7,

Tutoring Systems:

• Jeff Rickel:"Intelligent Computer-Aided Instruction: A Survey Organized Around System Components." (IEEE Transactions on Systems, Man, and Cybernetics1989)

Abstraction and Reformulation:

• Abstraction in Planning (Knoblock, Holte), Search (Korf), CSP (Ellman, Freuder, Choueiry), Theorem Proving (Giunchiglia), Physical Systems (Iwasaki, Choueiry et al.), etc.

Case-based reasoning:

• Agnar Aamodt & Enric Plaza (1994). Case-based reasoning: Foundational issues, methodological variations, and system approaches. AI-Communications, 1994.
• Richter, M. M., 1998 "Introduction." Case Based Reasoning, Technology from Foundations to Applications, Lecture Notes of AI as part of the "State of the Art Series", (eds B. Bartsch Spörl, S. Weß, H.D. Burkhard, M.  Lenz, Springer Verlag, LNAI 1400.  Paper will be made available soon.

Quallitative Physics:

• Ernest Davis, 1997: "The Naive Physics Perplex."  Source?

Berthe Y. Choueiry

 

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Last modified: