Current Slide
Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
Progression
-
n
th
iteration
-
Step1:
-
s
n-1
= on(A, Table) on(D, Table) on(B,C) ^ clear(A) ^ clear(B) ^
holding(C)
-
Step 2:
-
Applicable actions: putdown(C),
stack(C,A)
, stack(C,B)
-
Step 3:
-
s
n
= result(s
n-1
, 〈stack(C,A)〉) = on(A, Table) on(D, Table) on
(B,C) ^ clear(A) ^ clear(B) ^ holding(C) ∪ on(x,y) ^ clear(x) ^
handEmpty \ clear(y) ^ holding(x) = on(A, Table) on(D, Table) on
(C, A) on(B,D) ^ clear(C) ^ clear(B) ^ handEmpty
s n is the goal state G
Speaker notes:
Content Tools
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.