Artificial Intelligence I Problem set 6 Assigned: April 16 Due: April 30 Consider a microworld of boxes and keys. Certain keys fit certain boxes. In any situation, a box may be locked or unlocked; a key may be outside or it may be inside a box; a box may be empty or it may contain a single key. There are four actions: > Lock box B with key K > Unlock box B with key K > Place key K in box B > Remove key K from box B. To lock or unlock B with K, K must fit B and K must be outside. To place K in B or to remove K from B, B must be unlocked and K must be outside. Also, to place K in B, B must be empty. 1. Show how these actions can be represented in a STRIPS representation. 2. Show how the POP planner (Russell and Norvig, p. 357) can solve the following problem. Starting state: K1 fits B1, K2 fits B2 K1 is in B2, K2 is in B1. B1 and B2 are unlocked. Goal state: B1 and B2 are locked. You need not show the false paths explored by POP. You must show the way in which POP builds up the correct plan, explaining why each step is added and why each contraint is posted. It is not sufficient just to show the correct plan.