Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730:...
-
Upload
isabel-allen -
Category
Documents
-
view
215 -
download
0
description
Transcript of Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730:...
![Page 1: Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 24 of 42 Friday, 20 October.](https://reader035.fdocuments.net/reader035/viewer/2022070605/5a4d1ae57f8b9ab059978c4b/html5/thumbnails/1.jpg)
Computing & Information SciencesKansas State UniversityFriday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence
Lecture 24 of 42
Friday, 20 October 2006
William H. HsuDepartment of Computing and Information Sciences, KSU
KSOL course page: http://snipurl.com/v9v3Course web site: http://www.kddresearch.org/Courses/Fall-2006/CIS730
Instructor home page: http://www.cis.ksu.edu/~bhsu
Reading for Next Class:Section 11.4 – 11.7, Russell & Norvig 2nd edition
Graph PlanningDiscussion: Exam 1 Review
![Page 2: Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 24 of 42 Friday, 20 October.](https://reader035.fdocuments.net/reader035/viewer/2022070605/5a4d1ae57f8b9ab059978c4b/html5/thumbnails/2.jpg)
Computing & Information SciencesKansas State UniversityFriday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence
Lecture Outline Next Monday’s Reading: Sections 11.4 – 11.7, R&N 2e Monday
Midterm exam review: search and constraints, game tree search Planning continued
Today: Classical Planning Graph planning: STRIPS and more, Sussman anomaly Operator definitions Threat resolution: clobbering, promotion / demotion Hierarchical planning overview
Next Week: Practical Planning Conditional Planning Replanning Monitoring and Execution Continual Planning
![Page 3: Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 24 of 42 Friday, 20 October.](https://reader035.fdocuments.net/reader035/viewer/2022070605/5a4d1ae57f8b9ab059978c4b/html5/thumbnails/3.jpg)
Computing & Information SciencesKansas State UniversityFriday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence
Adapted from slides by S. Russell, UC Berkeley
State Space versus Plan Space
![Page 4: Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 24 of 42 Friday, 20 October.](https://reader035.fdocuments.net/reader035/viewer/2022070605/5a4d1ae57f8b9ab059978c4b/html5/thumbnails/4.jpg)
Computing & Information SciencesKansas State UniversityFriday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence
Adapted from slides by S. Russell, UC Berkeley
Successor State Axioms:Review
![Page 5: Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 24 of 42 Friday, 20 October.](https://reader035.fdocuments.net/reader035/viewer/2022070605/5a4d1ae57f8b9ab059978c4b/html5/thumbnails/5.jpg)
Computing & Information SciencesKansas State UniversityFriday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence
Making Plans:A Better Way
Adapted from slides by S. Russell, UC Berkeley
![Page 6: Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 24 of 42 Friday, 20 October.](https://reader035.fdocuments.net/reader035/viewer/2022070605/5a4d1ae57f8b9ab059978c4b/html5/thumbnails/6.jpg)
Computing & Information SciencesKansas State UniversityFriday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence
Partially-Ordered Plans
Adapted from slides by S. Russell, UC Berkeley
![Page 7: Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 24 of 42 Friday, 20 October.](https://reader035.fdocuments.net/reader035/viewer/2022070605/5a4d1ae57f8b9ab059978c4b/html5/thumbnails/7.jpg)
Computing & Information SciencesKansas State UniversityFriday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence
POP Algorithm [1]:Sketch
Adapted from slides by S. Russell, UC Berkeley
![Page 8: Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 24 of 42 Friday, 20 October.](https://reader035.fdocuments.net/reader035/viewer/2022070605/5a4d1ae57f8b9ab059978c4b/html5/thumbnails/8.jpg)
Computing & Information SciencesKansas State UniversityFriday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence
Adapted from slides by S. Russell, UC Berkeley
POP Algorithm [2]:Subroutines and Properties
![Page 9: Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 24 of 42 Friday, 20 October.](https://reader035.fdocuments.net/reader035/viewer/2022070605/5a4d1ae57f8b9ab059978c4b/html5/thumbnails/9.jpg)
Computing & Information SciencesKansas State UniversityFriday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence
Clobbering andPromotion / Demotion
Adapted from slides by S. Russell, UC Berkeley
![Page 10: Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 24 of 42 Friday, 20 October.](https://reader035.fdocuments.net/reader035/viewer/2022070605/5a4d1ae57f8b9ab059978c4b/html5/thumbnails/10.jpg)
Computing & Information SciencesKansas State UniversityFriday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence
Review:Clobbering and Promotion / Demotion in
Plans
Adapted from slides by S. Russell, UC Berkeley
![Page 11: Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 24 of 42 Friday, 20 October.](https://reader035.fdocuments.net/reader035/viewer/2022070605/5a4d1ae57f8b9ab059978c4b/html5/thumbnails/11.jpg)
Computing & Information SciencesKansas State UniversityFriday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence
Review:POP Example – Sussman Anomaly
Adapted from slides by S. Russell, UC Berkeley
![Page 12: Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 24 of 42 Friday, 20 October.](https://reader035.fdocuments.net/reader035/viewer/2022070605/5a4d1ae57f8b9ab059978c4b/html5/thumbnails/12.jpg)
Computing & Information SciencesKansas State UniversityFriday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence
Hierarchical Abstraction Planning
Adapted from Russell and Norvig
Need for Abstraction Question: What is wrong with uniform granularity? Answers (among many)
Representational problems Inferential problems: inefficient plan synthesis
Family of Solutions: Abstract Planning But what to abstract in “problem environment”, “representation”?
Objects, obstacles (quantification: later)Assumptions (closed world)Other entitiesOperatorsSituations
Hierarchical abstractionSee: Sections 12.2 – 12.3 R&N, pp. 371 – 380Figure 12.1, 12.6 (examples), 12.2 (algorithm), 12.3-5 (properties)
![Page 13: Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 24 of 42 Friday, 20 October.](https://reader035.fdocuments.net/reader035/viewer/2022070605/5a4d1ae57f8b9ab059978c4b/html5/thumbnails/13.jpg)
Computing & Information SciencesKansas State UniversityFriday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence
Universal Quantifiers in Planning Quantification within Operators
p. 383 R&N Examples
Shakey’s WorldBlocks WorldGrocery shopping
Others (from projects?) Exercise for Next Tuesday: Blocks World
![Page 14: Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 24 of 42 Friday, 20 October.](https://reader035.fdocuments.net/reader035/viewer/2022070605/5a4d1ae57f8b9ab059978c4b/html5/thumbnails/14.jpg)
Computing & Information SciencesKansas State UniversityFriday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence
Practical Planning
Adapted from Russell and Norvig
The Real World What can go wrong with classical planning? What are possible solution approaches?
Conditional Planning Monitoring and Replanning (Next Time)
![Page 15: Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 24 of 42 Friday, 20 October.](https://reader035.fdocuments.net/reader035/viewer/2022070605/5a4d1ae57f8b9ab059978c4b/html5/thumbnails/15.jpg)
Computing & Information SciencesKansas State UniversityFriday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence
Review:Clobbering and Promotion / Demotion in
Plans
Adapted from slides by S. Russell, UC Berkeley
![Page 16: Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 24 of 42 Friday, 20 October.](https://reader035.fdocuments.net/reader035/viewer/2022070605/5a4d1ae57f8b9ab059978c4b/html5/thumbnails/16.jpg)
Computing & Information SciencesKansas State UniversityFriday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence
Review:How Things Go Wrong in Planning
Adapted from slides by S. Russell, UC Berkeley
![Page 17: Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 24 of 42 Friday, 20 October.](https://reader035.fdocuments.net/reader035/viewer/2022070605/5a4d1ae57f8b9ab059978c4b/html5/thumbnails/17.jpg)
Computing & Information SciencesKansas State UniversityFriday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence
Review:Practical Planning Solutions
Adapted from slides by S. Russell, UC Berkeley
![Page 18: Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 24 of 42 Friday, 20 October.](https://reader035.fdocuments.net/reader035/viewer/2022070605/5a4d1ae57f8b9ab059978c4b/html5/thumbnails/18.jpg)
Computing & Information SciencesKansas State UniversityFriday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence
Adapted from slides by S. Russell, UC Berkeley
Conditional Planning
![Page 19: Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 24 of 42 Friday, 20 October.](https://reader035.fdocuments.net/reader035/viewer/2022070605/5a4d1ae57f8b9ab059978c4b/html5/thumbnails/19.jpg)
Computing & Information SciencesKansas State UniversityFriday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence
Monitoring and Replanning
![Page 20: Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 24 of 42 Friday, 20 October.](https://reader035.fdocuments.net/reader035/viewer/2022070605/5a4d1ae57f8b9ab059978c4b/html5/thumbnails/20.jpg)
Computing & Information SciencesKansas State UniversityFriday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence
Adapted from slides by S. Russell, UC Berkeley
Preconditions for Remaining Plan
![Page 21: Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 24 of 42 Friday, 20 October.](https://reader035.fdocuments.net/reader035/viewer/2022070605/5a4d1ae57f8b9ab059978c4b/html5/thumbnails/21.jpg)
Computing & Information SciencesKansas State UniversityFriday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence
Adapted from slides by S. Russell, UC Berkeley
Replanning
![Page 22: Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 24 of 42 Friday, 20 October.](https://reader035.fdocuments.net/reader035/viewer/2022070605/5a4d1ae57f8b9ab059978c4b/html5/thumbnails/22.jpg)
Computing & Information SciencesKansas State UniversityFriday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence
Solutions
Adapted from slides by S. Russell, UC Berkeley
![Page 23: Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 24 of 42 Friday, 20 October.](https://reader035.fdocuments.net/reader035/viewer/2022070605/5a4d1ae57f8b9ab059978c4b/html5/thumbnails/23.jpg)
Computing & Information SciencesKansas State UniversityFriday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence
Summary Points Previously: Logical Representations and Theorem Proving
Propositional, predicate, and first-order logical languages Proof procedures: forward and backward chaining, resolution refutation
Today: Introduction to Classical Planning Search vs. planning STRIPS axioms
Operator representationComponents: preconditions, postconditions (ADD, DELETE lists)
Thursday: More Classical Planning Partial-order planning (NOAH, etc.) Limitations
![Page 24: Computing & Information Sciences Kansas State University Friday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 24 of 42 Friday, 20 October.](https://reader035.fdocuments.net/reader035/viewer/2022070605/5a4d1ae57f8b9ab059978c4b/html5/thumbnails/24.jpg)
Computing & Information SciencesKansas State UniversityFriday, 20 Oct 2006CIS 490 / 730: Artificial Intelligence
Adapted from slides by S. Russell, UC Berkeley
Terminology Classical Planning
Planning versus search Problematic approaches to planning
Forward chainingSituation calculus
Representation Initial stateGoal state / testOperators
Efficient Representations STRIPS axioms
Components: preconditions, postconditions (ADD, DELETE lists)Clobbering / threatening
Reactive plans and policies Markov decision processes