More Related Content More from Tianlu Wang (20) Chapter03c8. 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. 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!
12. 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. 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. 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