OCL Plus: Processes and Events in Object-Centred Planning
نویسندگان
چکیده
An important area in AI Planning is the expressiveness of planning domain specification languages such as PDDL, and their aptitude for modelling real applications. This paper presents OCLplus, an extension of a hierarchical object centred planning domain definition language, intended to support the representation of domains with continuous change. The main extension in OCLplus provides the capability of interconnection between the planners and the changes that are caused by other objects of the world. To this extent, the concept of event and process are introduced in the Hierarchical Task Network (HTN), object centred planning framework in which a process is responsible for either continuous or discrete changes, and an event is triggered if its precondition is met. We evaluate the use of OCLplus and compare it with a similar language, PDDL+.
منابع مشابه
OCL-Graph: Exploiting Object Structure in a Plan Graph Algorithm
In this paper we discuss and describe preliminary results of integrating two strands of planning research that of using plan graphs to speed up planning, and that of using object representations to better represent planning domain models. To this end we have designed and implemented OCL-graph, a plan generator which builds and searches an object-centred plan graph, extended to deal with conditi...
متن کاملB vs OCL: Comparing specification languages for Planning Domains
In this paper we examine the specification and validation of Artificial Intelligence Planning domain models using the B Abstract Machine Notation and its associated tool support. We compare this to the use of OCL (object-centred language) within its tool-supported environment, GIPO. We present encodings of two well-known AI planning domain models, the Blocks world and the Tyres world, with the ...
متن کاملAn Object-graph Planning Algorithm
In this paper we describe the results of our initial attempt to integrate two strands of planning research-that of using plan graphs to speed up planning, and that of using object representations to better represent planning domain models. To this end we have designed and implemented OCL-graph, a plan generator which builds and searches an object-centred plan graph. Our initial design and exper...
متن کاملObject-centred Planning
In this paper we argue generally for a move to an object-centred formulation of precondition planning. Our previous work has demonstrated some of the advantages of systematically creating and compiling an object-centred domain model. Here we describe a complementary object-centred planning engine which exploits such a domain model, and review some of its beneets. We also survey related work tha...
متن کاملKnowledge Representation in Planning: A PDDL to OCLh Translation
Recent successful applications of AI planning technology have highlighted the knowledge engineering of planning domain models as an important research area. We describe a prototype implementation of a translation algorithm between two languages used in planning representation: PDDL, a language used for communication of example domains between research groups, and OCL h , a language developed sp...
متن کامل