Wickler, Gerhard

English

This paper defines a number of features that can be used to characterize planning domains, namely domain types, relation fluency, inconsistent effects and reversible actions. These features can be used to provide additional information about the operators defined in a STRIPS-like planning domain. Furthermore, the values of these features may be extracted automatically; efficient algorithms for this are described in this paper. Alternatively, where these values are specified explicitly by the domain author, the extracted values can be used to validate the consistency of the domain, thus supporting the knowledge engineering process. This approach has been evaluated using a number of planning domains, mostly drawn from the international planning competition. The results show that the features provide useful information, and can highlight problems with the manual formalization of planning domains

Edinburgh Research Explorer

A note on inductive generalization.

Artiﬁcial Intelligence: A Modern Approach.

Automated Planning.

Engineering and compiling planning domain models to promote validity and efﬁ-ciency.

Fast planning through planning graph analysis.

On representations of problems of reasoning about actions.

PDDL2.1 : An extension to PDDL for expressing temporal planning domains.

The automatic inference of state invariants in TIM.

The role of preprocessing in problem-solving systems.

Using Planning Domain Features to Facilitate Knowledge Engineering

Using Planning Domain Features to Facilitate Knowledge Engineering

Abstract

Similar works

Full text

Available Versions

Edinburgh Research Explorer