- Consider The Following Operators To Load And Unload Objects Into And From Containers At And To Some Locations To Move C 1 (51.04 KiB) Viewed 25 times
Consider the following operators to load and unload objects into and from containers at and to some locations, to move containers between locations, and to get any new container at any location: Operators MOVE(c,11,12) UNLOAD(0,0) At-Container(c.11) Inside (0,0) At-Container(c.1) LOAD(0,0,1) preconds: At-Container(c.1) Space-Available(c) At-Obj(0.1) adds: Inside(0,0) GET-NEW(c.1) At-Container(c.12) At-Obj(0.1) At-Container(c.1) Space-Available(c) deletes: At-Obj(0,1) At-Container(0,11) Insideo.c) 1. Consider the following problem: Initial State: At-Qbj(01,11), At-Obj(02,11), At-Container(c1,11), Space-Available(cl). Goal State: At-Obj(01,12), At-Obj(02,12). Ali claims:" There is more than one plan that can solve this problem." Is Ali correct? If yes, then show at least two plans to solve this problem. Otherwise, justify why Ali is incorrect.