SlideShare a Scribd company logo
1 of 14
Download to read offline
1"Dana"Nau"and"Vikas"Shivashankar:"Lecture"slides"for!Automated!Planning!and!Ac0ng" Updated"3/24/15"
This"work"is"licensed"under"a"CreaCve"Commons"AFribuConHNonCommercialHShareAlike"4.0"InternaConal"License."
Chapter(3((
Delibera.on(with(Refinement(Methods(
(
Integra.ng(Ac.ng(and(Planning(
Dana S. Nau and Vikas Shivashankar
University of Maryland
2"Dana"Nau"and"Vikas"Shivashankar:"Lecture"slides"for!Automated!Planning!and!Ac0ng" Updated"3/24/15"
Revised(Version(
of(SeRPE(
●  Clearer how it corresponds
to what RAE does
●  Lines (ii) and (iii) simulate
RAE’s goal monitoring
3"Dana"Nau"and"Vikas"Shivashankar:"Lecture"slides"for!Automated!Planning!and!Ac0ng" Updated"3/24/15"
Simple(Ac.ng(Procedures(
4"Dana"Nau"and"Vikas"Shivashankar:"Lecture"slides"for!Automated!Planning!and!Ac0ng" Updated"3/24/15"
Simple(Ac.ng(Procedures(
5"Dana"Nau"and"Vikas"Shivashankar:"Lecture"slides"for!Automated!Planning!and!Ac0ng" Updated"3/24/15"
6"Dana"Nau"and"Vikas"Shivashankar:"Lecture"slides"for!Automated!Planning!and!Ac0ng" Updated"3/24/15"
Example(Planning(Problem(
●  Refinement planning problem:
!  P = (M, A, s3, putHinHpile(c1,"p2))
s3 =
●  putHinHpile(c, p′): put c into pile p′ if it is not
already there
●  Two methods: noHcarry"and carryHtoHpile
!!!!!!!!!d1!
!!!!!!!!!!!d3!
!
p1!!!!!c2!
c1!
!!!!!!!!!d2!
!!!!!!!!!!!p2!
c3!
!!!!!!!!!!!p3!
r1!
7"Dana"Nau"and"Vikas"Shivashankar:"Lecture"slides"for!Automated!Planning!and!Ac0ng" Updated"3/24/15"
Example(Planning(Problem((con.nued)(
●  Task:"
!  uncover(c): ensure there are no
containers on c
!  Two methods: noHremove and
removeHabove
●  Task:
!  navigate(r,d′): move r along an
undetermined route that ends at d′
●  Two methods: noHgo"and route"
!  Backward search through all possible
routes
8"Dana"Nau"and"Vikas"Shivashankar:"Lecture"slides"for!Automated!Planning!and!Ac0ng" Updated"3/24/15"
Two(Refinement(Trees(
task
put-in-pile(c1,p2)
method
carry-to-pile(r1,c1,p1,d1,p2,d2)
task
uncover(c1)
method
no-remove(c1)
task
navigate(r1,d2)
action
load(r1,c1,p1)
action
unload(r1,c1,p2)
(no children)
method
route(r1,d1,d2)
action
move(r1,d2)
task
put-in-pile(c1,p2)
method
carry-to-pile(r1,c1,p1,d1,p2,d2)
task
uncover(c1)
method
no-remove(c1)
task
navigate(r1,d2)
action
load(r1,c1,p1)
action
unload(r1,c1,p2)
(no children)
method
route(r1,d3,d2)
task
navigate(r1,d3)
method
route(r1,d1,d3)
action
move(r1,d3)
9"Dana"Nau"and"Vikas"Shivashankar:"Lecture"slides"for!Automated!Planning!and!Ac0ng" Updated"3/24/15"
Simple(Ac.ng(Procedures(
task
put-in-pile(c1,p2)
method
carry-to-pile(r1,c1,p1,d1,p2,d2
task
uncover(c1)
method
no-remove(c1)
task
navigate(r1,d2)
action
load(r1,c1,p1)
action
unload(r1
(no children)
method
route(r1,d1,d2)
action
move(r1,d2)
me
no
(no
!!!!!!!!!d1!
!!!!!!!!!!!d3!
!
p1!!!!!c2!
c1!
!!!!!!!!!d2!
!!!!!!!!!!!p2!
c3!
!!!!!!!!!!!p3!
r1!
10"Dana"Nau"and"Vikas"Shivashankar:"Lecture"slides"for!Automated!Planning!and!Ac0ng" Updated"3/24/15"
11"Dana"Nau"and"Vikas"Shivashankar:"Lecture"slides"for!Automated!Planning!and!Ac0ng" Updated"3/24/15"
REAP(
●  Modified version of RAE
!  Each time it wants to choose a method instance, it calls a modified version of SeRPE
12"Dana"Nau"and"Vikas"Shivashankar:"Lecture"slides"for!Automated!Planning!and!Ac0ng" Updated"3/24/15"
Example(
!!!!!!!!!d1!
!!!!!!!!!!!d3!
!
p1!!!!!c2!
c1!
!!!!!!!!!d2!
!!!!!!!!!!!p2!
c3!
!!!!!!!!!!!p3!
r1!
task
put-in-pile(c1,p2)
method
carry-to-pile(r1,c1,p1,d1,p2,d2
task
uncover(c1)
method
no-remove(c1)
task
navigate(r1,d2)
action
load(r1,c1,p1)
action
unload(r1
(no children)
method
route(r1,d1,d2)
action
move(r1,d2)
met
no-
(no
13"Dana"Nau"and"Vikas"Shivashankar:"Lecture"slides"for!Automated!Planning!and!Ac0ng" Updated"3/24/15"
!!!!!!!!!d1!
!!!!!!!!!!!d3!
!
p1!!!!!c2!
c1!
!!!!!!!!!d2!
!!!!!!!!!!!p2!
c3!
!!!!!!!!!!!p3!
r1!
task
put-in-pile(c1,p2)
method
carry-to-pile(r1,c1,p1,d1,p2,d2
task
uncover(c1)
method
no-remove(c1)
task
navigate(r1,d2)
action
load(r1,c1,p1)
action
unload(r1
(no children)
method
route(r1,d1,d2)
action
move(r1,d2)
met
no-
(no
14"Dana"Nau"and"Vikas"Shivashankar:"Lecture"slides"for!Automated!Planning!and!Ac0ng" Updated"3/24/15"
●  Suppose that when r1 starts on the road from d1 to d2,
a jolt makes it drop c1"
!  Failure in REAPHprogress"when it checks action
status or uses ̄γ
●  What will it do to recover?
!!!!!!!!!d1!
!!!!!!!!!!!d3!
!
p1!!!!!c2!
c1!
!!!!!!!!!d2!
!!!!!!!!!!!p2!
c3!
!!!!!!!!!!!p3!
r1!
task
put-in-pile(c1,p2)
method
carry-to-pile(r1,c1,p1,d1,p2,d2
task
uncover(c1)
method
no-remove(c1)
task
navigate(r1,d2)
action
load(r1,c1,p1)
action
unload(r1
(no children)
method
route(r1,d1,d2)
action
move(r1,d2)
met
no-
(no

More Related Content

Viewers also liked

Viewers also liked (15)

Chapter02b
Chapter02bChapter02b
Chapter02b
 
FIPH Account 2014 07 11
FIPH Account 2014 07 11FIPH Account 2014 07 11
FIPH Account 2014 07 11
 
Chapter06
Chapter06Chapter06
Chapter06
 
Chapter02
Chapter02Chapter02
Chapter02
 
Chapter03b
Chapter03bChapter03b
Chapter03b
 
Keukenhof
KeukenhofKeukenhof
Keukenhof
 
Assignment
AssignmentAssignment
Assignment
 
Chapter05
Chapter05Chapter05
Chapter05
 
madrid
madridmadrid
madrid
 
Projeto Alfabetização online 2015
Projeto Alfabetização online 2015Projeto Alfabetização online 2015
Projeto Alfabetização online 2015
 
Overheidswebsites die werken
Overheidswebsites die werkenOverheidswebsites die werken
Overheidswebsites die werken
 
Accenture cio-2013-mobility-survey
Accenture cio-2013-mobility-surveyAccenture cio-2013-mobility-survey
Accenture cio-2013-mobility-survey
 
Conjuncions
ConjuncionsConjuncions
Conjuncions
 
013016 COMMUNITY ACTIVIST VOGEL DENISE NEWSOME (Chinese-Traditional)
013016 COMMUNITY ACTIVIST VOGEL DENISE NEWSOME (Chinese-Traditional)013016 COMMUNITY ACTIVIST VOGEL DENISE NEWSOME (Chinese-Traditional)
013016 COMMUNITY ACTIVIST VOGEL DENISE NEWSOME (Chinese-Traditional)
 
6 casamento e a bíblia
6 casamento e a bíblia6 casamento e a bíblia
6 casamento e a bíblia
 

More from Tianlu Wang

More from Tianlu Wang (20)

L7 er2
L7 er2L7 er2
L7 er2
 
L8 design1
L8 design1L8 design1
L8 design1
 
L9 design2
L9 design2L9 design2
L9 design2
 
14 pro resolution
14 pro resolution14 pro resolution
14 pro resolution
 
13 propositional calculus
13 propositional calculus13 propositional calculus
13 propositional calculus
 
12 adversal search
12 adversal search12 adversal search
12 adversal search
 
11 alternative search
11 alternative search11 alternative search
11 alternative search
 
10 2 sum
10 2 sum10 2 sum
10 2 sum
 
22 planning
22 planning22 planning
22 planning
 
21 situation calculus
21 situation calculus21 situation calculus
21 situation calculus
 
20 bayes learning
20 bayes learning20 bayes learning
20 bayes learning
 
19 uncertain evidence
19 uncertain evidence19 uncertain evidence
19 uncertain evidence
 
18 common knowledge
18 common knowledge18 common knowledge
18 common knowledge
 
17 2 expert systems
17 2 expert systems17 2 expert systems
17 2 expert systems
 
17 1 knowledge-based system
17 1 knowledge-based system17 1 knowledge-based system
17 1 knowledge-based system
 
16 2 predicate resolution
16 2 predicate resolution16 2 predicate resolution
16 2 predicate resolution
 
16 1 predicate resolution
16 1 predicate resolution16 1 predicate resolution
16 1 predicate resolution
 
15 predicate
15 predicate15 predicate
15 predicate
 
09 heuristic search
09 heuristic search09 heuristic search
09 heuristic search
 
08 uninformed search
08 uninformed search08 uninformed search
08 uninformed search
 

Chapter03c