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

    6 th iteration
    Step1:
      s13 = on(A, Table) on(B, Table) on(C, Table) ^ clear(A) ^ clear(B) ^ clear(C) ^ holding(D)
    Step 2:
      Applicable actions: putdown(D), stack(D,A), stack(D,B), stack(D,C)
    Step 3:
      s131 = result(s13, 〈putdown(D)〉) = on(A, Table) on(B, Table) on(C, Table) ^ clear(A) ^ clear(B) ^ clear(C) ^ holding(D) ∪ on(x, Table) ^ handEmpty ^ clear(x) \ holding(x) = on(A, Table) on(B, Table) on (C, Table) on(D, Table) ^ clear(A) ^ clear(B) ^ clear(C) ^ clear(D) ^ handEmpty
    In iterations 7,8,9, new states are obtained from s13 by applying the actions stack(D,A), stack(D,B), stack(D,C)

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.