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

    10 th iteration
    Step1:
      s131 = on(A, Table) on(B, Table) on(C, Table) on(D, Table) ^ clear(A) ^ clear(B) ^ clear(C) ^ clear(D) ^ handEmpty
    Step 2:
      Applicable actions: pickup(A), pickup(B), pickup(C) , pickup(D)
    Step 3:
      s 1311 = result(s 131 , 〈putdown(C)〉) = on(A, Table) on(B, Table) on (C, Table) on(D, Table) ^ clear(A) ^ clear(B) ^ clear(C) ^ clear(D) ^ handEmpty ∪ holding(x) \ on(x, Table) ^ clear(x) ^ handEmpty = on (A, Table) on(B, Table) on(D, Table) ^ clear(A) ^ clear(B) ^ clear (D) ^ holding(C)

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.