Shah, Mohammad Munshi Shahin, McCluskey, T.L. and West, Margaret M. (2009) An Investigation into Using Object Constraints to Synthesize Planning Domain. In: ICAPS 2009 Doctoral Consortium, September 19th 2009, Thessaloniki, Greece.
|PDF - Published Version |
Download (186kB) | Preview
This thesis work concerns the area of automated acquisition
of planning domain models from one or more examples of
plans within the domain under study. It assumes that an adequate
domain model for a domain can be composed of objects
arranged in collections called object sorts. Recently, two
systems have had success in using this underlying assumption:
the Opmaker2 system (McCluskey et al. 2009), and
the LOCM system (Cresswell, McCluskey, and West 2009).
The former requires only one solution plan as input, as long
as it contains at least one instance of each operator schema
to be synthesized. It does require a partial domain model as
well as the example plan, and the initial and goal states of
the plan. In contrast LOCM requires no background information,
but requires many instances of plans before it can
synthesize domain models. Our aim is to build on these systems,
and establish an experimental and theoretical basis for
using object - centred assumptions to underlie the automated
acquisition of planning domain models.
|Item Type:||Conference or Workshop Item (Paper)|
|Subjects:||Q Science > QA Mathematics > QA75 Electronic computers. Computer science|
|Schools:||School of Computing and Engineering|
School of Computing and Engineering > Informatics Research Group
School of Computing and Engineering > Informatics Research Group > Knowledge Engineering and Intelligent Interfaces
School of Computing and Engineering > Pedagogical Research Group
|Depositing User:||Thomas Mccluskey|
|Date Deposited:||22 Dec 2009 11:05|
|Last Modified:||23 Dec 2013 14:06|
Downloader CountriesMore statistics for this item...
Item control for Repository Staff only: