×

zbMATH — the first resource for mathematics

Knowledge representation in planning; A PDDL to \(OCL_h\) translation. (English) Zbl 0983.68662
Raś, Zbigniew W. (ed.) et al., Foundations of intelligent systems. 12th international symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1932, 610-618 (2000).
Summary: Recent successful applications of AI planning technology have highlighted the knowledge engineering of planning domain models as an important research area. We describe an implemented translation algorithm between two languages used in planning representation: PDDL, a language used for communication of example domains between research groups, and \(\text{OCL}_h\) a language developed specifically for planning domain modelling. The algorithm is being used as part of \(\text{OCL}_h\)’s tool support to import models expressed in PDDL to \(\text{OCL}_h\)’s environment. Here we outline the translation algorithm, and discuss the issues that it uncovers. Although the tool performs reasonably well when its output is measured against hand-crafted \(\text{OCL}_h\), it results in only partially specified models. Analyis of the translation results shows that this is because many natural assumptions about domains are not captured in the PDDL encodings.
For the entire collection see [Zbl 0952.00050].
MSC:
68U99 Computing methodologies and applications
68T30 Knowledge representation
Software:
PDDL
PDF BibTeX Cite