Structural Domain Definition using GIPO IV

GIPO IV is an experimental environment for planning domain knowledge engineering. The purpose of the tool is to demonstrate the range and scope of tools required to support the knowledge engineering aspects of planning systems creation. In particular GIPO provides support for the encoding and validation of planning domain knowledge, for both classical pre-condition planning and hierarchical planning do mains. GIPO IV is a significant improvement on previous versions in that it (a) extends the expressivity of domains d escribable within the classical tools of GIPO (b) extends the acquisition facilities with the introduction of a more stru ctured and scaleable approach to knowledge capture.