An interactive method for inducing operator descriptions
Thomas Leo McCluskey, N.E. Richardson, R.M. Simpson · University of Huddersfield Repository (University of Huddersfield) · 2002
Specifying operator descriptions for planning domain mod-els, especially using standard pre- and post condition symbol-ism, is a slow and painstaking process. This is because one is trying to capture what is essentially procedural knowledge in a declarative way in a language whose design is influenced by the construction of planning engines. The problem is acute if non-planning experts are undertaking this task, and/or the op-erators are complex or hierarchical. In this paper we describe opmaker, a method in which the domain expert specifies the declarative structure of the domain (in terms of an object hier-archy, object descriptions etc) and provides training operator sequences. This input is made in the context of a tools en-vironment supporting planner domain acquisition and mod-elling. opmaker then induces a set of parameterised operator descriptions from these examples, removing the need for the user to become involved in complex parameter manipulation within the underlying symbolic, logic-based language. We discuss the empirical evaluation of the implemented induc-tion algorithm with the help of a range of domains, and draw conclusions for future work.