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
-
5
th
iteration
-
Step1:
-
s12 = on(A, Table) on(C, Table) on(D, C) ^ clear(A) ^ clear(D) ^ holding(B)
-
Step 2:
-
Applicable actions: putdown (B), stack(B,D)
-
Step 3:
-
s122 = result(s11, 〈stack (B,D)〉) = on(A, Table) on(C, Table) on(D,
C) ^ clear(A) ^ clear(D) ^ holding(B) ∪ on(x, y) ^ handEmpty ^
clear(x) \ holding(x) ^ clear(y)= on(A, Table) on(C, Table) on(D,
C) on(B,D) ^ handEmpty ^ clear(A) ^ clear(B)
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.