**************************************************************************

		HOTEL  WORLD

	Prodigy domain decription
	David Hamann
	c473ap@ms.washington.edu
	May 18,1991
	Development time: 20 hrs

	This domain allows Prodigy to solve the problem of cleanning hotel
rooms. This problem solver could be used to control the actions of a robot,
which could replace the need for maid service in hotels. The robot is able
to start in a room and properly enter (according to hotel regulations), and
perform the operations to clean a room. It can clean multiple rooms.

Current Status: 
	The robot is able to perform all operations
necessary for entrance into the rooms. There are no search control rules to
help limit the extent of the search. Therefore the number of rooms that
can be visited is limited.

Acknowledgments:
	This domain encorporates some similar concepts previously developed
in the stripsworld and blocksworld domains. Specifically from the blocksworld
are the operators pickup putdown and the predicate holding, as well as the
inference rule arm-empty. These operators have been modified to meet the 
demands of HotelWorld. The state representation of objects being in a 
particular room (in-room) was borrowed from stripsworld.

 
Part 3

1.  One thing that did not lend itself to easy solution in Prodigy was the idea
of the 'best path'. A path between rooms would be found but no consideration
is currently given to the distance the robot may travel. It is conceivable that
the robot would make many trips up and down the hall visiting rooms at the far
end each time. This would look pretty stupid, or at least not very inteligent.
Other then that, Prodigy was well suited to model the problem. To actually
build a robot to physically sense all of the preconditions would be very
difficult, given he present technology.

  This domain was of the type that was easy to see how to model everything
in the operators. It was quite straight forward in encoding the information.

  It sounds like the graphics package for Prodigy would have been very usefull.
I'm a very 'picture' oriented person, and having the ability to see the state 
would have made search control rules much easier to write.






