Angelic Semantics For High Level Actions

Front 1

what are the high level actions in the warehouse world domain?

Back 1

nav(x,y) which moves from the current position to x,y.

navigate(x,y) which moves to location x,y and possibly turns the gripper

MoveBlock(b,c) which moves block b onto c

Front 2

give an example of a high level plan and how it gets refined using the high level actions in the warehouse world.

Back 2

here

Front 3

what are the refinements for nav(x,y)

Back 3

do a primitive move then do a nav(x,y) (there is a different refinement for each primitive move) also do nothing

Front 4

how is the effect of a high level action (a set of states reached after the action is taken) represented using angelic semantics?

Back 4

a subset of possible predicates is listed giving some constraint and the unspecified predicates implicitly represent a set