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.


  • In other words, the result of applying an action a in a given state s is a new state of the world that is described by the initial set of formulas describing state s to which the formulas from the add list are added and the formulas from delete list are removed. Action a can be performed only if action’s preconditions are fulfilled in state s
  • e.g.
      state s = on(A, B) ^ handEmpty ^ clear(A)
      action a = unstack (x,y)
          Preconditions : on(x, y) ^ handEmpty ^ clear(x)
          Add List : holding(x) ^ clear(y)
          Delete List : on(x, y) ^ handEmpty ^ clear(x)

Speaker notes:

Content Tools


There are currently no sources for this slide.