Abstract
Knowledge engineering inAI planning is the process that deals with the acquisition, validation and maintenance of planning domain models, and the selection and optimisation of appropriate planning machinery to work on them. Our aim is to research and develop rigorous methods for the acquisition, maintenance and validation of planning domain models.We aim to provide a tools environment suitable for use by domain experts in addition to experts in the field ofAI planning. In this paper we describe such a method and illustrate it with screen-shots taken from an implemented Graphical Interface for Planning with Objects system called GIPO. The GIPO tools environment has been built to support an object centred approach to planning domain modelling. The principal innovation we present in this paper is a process of specifying domain operators that abstracts away much of the technical detail traditionally required in their specification. Such innovations we believe could ultimately open up the possibility of bringing planning technology to a wider public.
Original language | English |
---|---|
Title of host publication | Foundations of Intelligent Systems |
Subtitle of host publication | 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002. Proceedings |
Editors | Mohand-Saïd Hacid, Zbigniew W. Raś, Djamel A. Zighed, Yves Kodratoff |
Publisher | Springer-Verlag Berlin Heidelberg |
Pages | 544-552 |
Number of pages | 9 |
Volume | LNCS 2366 |
ISBN (Electronic) | 9783540480501 |
ISBN (Print) | 3540437851, 9783540437857 |
DOIs | |
Publication status | Published - 2002 |
Event | 13th International Symposium on Methodologies for Intelligent Systems - Lyon, France Duration: 27 Jun 2002 → 29 Jun 2002 Conference number: 13 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Publisher | Springer-Verlag Berlin Heidelberg |
Volume | LNAI 2366 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 13th International Symposium on Methodologies for Intelligent Systems |
---|---|
Abbreviated title | ISMIS 2002 |
Country/Territory | France |
City | Lyon |
Period | 27/06/02 → 29/06/02 |