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.

Examples of Problems: Blocksworld

  • Objects: blocks
  • Attributes (1-ary relations): cleartop(x), ontable(x)
  • Relations: on(x,y)
  • Operators: puttable(x) where x must be cleartop; put(x,y), where x and y must be cleartop
  • Initial state:
    • ontable(E), cleartop(E)
    • ontable(A), cleartop(A)
    • ontable(B), cleartop(B)
    • ontable(C)
    • on(D,C), cleartop (D)
  • Applying the move put(E,A):
      • on(E,A), cleartop(E)
      • ontable(A)
      • ontable(B), cleartop(B)
      • ontable(C)
      • on(D,C), cleartop (D)

    Speaker notes:

    Content Tools

    Sources

    There are currently no sources for this slide.