This thesis work concerns the area of automated acquisition\ud of planning domain models from one or more examples of\ud plans within the domain under study. It assumes that an adequate\ud domain model for a domain can be composed of objects\ud arranged in collections called object sorts. Recently, two\ud systems have had success in using this underlying assumption:\ud the Opmaker2 system (McCluskey et al. 2009), and\ud the LOCM system (Cresswell, McCluskey, and West 2009).\ud The former requires only one solution plan as input, as long\ud as it contains at least one instance of each operator schema\ud to be synthesized. It does require a partial domain model as\ud well as the example plan, and the initial and goal states of\ud the plan. In contrast LOCM requires no background information,\ud but requires many instances of plans before it can\ud synthesize domain models. Our aim is to build on these systems,\ud and establish an experimental and theoretical basis for\ud using object - centred assumptions to underlie the automated\ud acquisition of planning domain models
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.