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

    3 rd iteration
    Step1:
      s11 = on(B, Table) ^ on(C, Table) ^ on(D, C) ^ clear(B) ^ clear(D) ^ holding(A)
    Step 2:
      Applicable actions: putdown (A), stack(A,D )
    Step 3:
      s112 = result(s11, ‹stack (A,D)›) = on(B, Table) ^ on(C, Table) ^ on(D, C) ^ clear(B) ^ clear(D) ^ holding(A) on(x, y) ^ handEmpty ^ clear(x) \ holding(x) ^ clear(y)= on(B, Table) ^ on(C, Table) ^ on(D, C) ^ on(A,D) ^ handEmpty ^ clear(A) ^ clear(B)

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.