Exploiting a graphplan framework in temporal planning

Graphplan (Blum and Furst 1995) has proved a popular and successful basis for a succession of extensions. An extension to handle temporal planning is a natural one to consider, because of the seductively time-like structure of the layers in the plan graph. TGP (Smith and Weld 1999) and TPSys (Garrido, Onaindía, and Barber 2001; Garrido, Fox, and Long 2002) are both examples of temporal planners that have exploited the Graphplan foundation. However, both of these systems (including both versions of TPSys) exploit the graph to represent a uniform flow of time. In this paper we describe an alternative approach, in which the graph is used to represent the purely logical structuring of the plan, with temporal constraints being managed separately (although not independently). The approach uses a linear constraint solver to ensure that temporal durations are correctly respected. The resulting planner offers an interesting alternative to the other approaches, offering an important extension in expressive power

Short Term Unit Commitment as a Planning Problem

‘Unit Commitment’, setting online schedules for generating units in a power system to ensure supply meets demand, is integral to the secure, efficient, and economic daily operation of a power system. Conflicting desires for security of supply at minimum cost complicate this. Sustained research has produced methodologies within a guaranteed bound of optimality, given sufficient computing time. Regulatory requirements to reduce emissions in modern power systems have necessitated increased renewable generation, whose output cannot be directly controlled, increasing complex uncertainties. Traditional methods are thus less efficient, generating more costly schedules or requiring impractical increases in solution time. Meta-Heuristic approaches are studied to identify why this large body of work has had little industrial impact despite continued academic interest over many years. A discussion of lessons learned is given, and should be of interest to researchers presenting new Unit Commitment approaches, such as a Planning implementation. Automated Planning is a sub-field of Artificial Intelligence, where a timestamped sequence of predefined actions manipulating a system towards a goal configuration is sought. This differs from previous Unit Commitment formulations found in the literature. There are fewer times when a unit’s online status switches, representing a Planning action, than free variables in a traditional formulation. Efficient reasoning about these actions could reduce solution time, enabling Planning to tackle Unit Commitment problems with high levels of renewable generation. Existing Planning formulations for Unit Commitment have not been found. A successful formulation enumerating open challenges would constitute a good benchmark problem for the field. Thus, two models are presented. The first demonstrates the approach’s strength in temporal reasoning over numeric optimisation. The second balances this but current algorithms cannot handle it. Extensions to an existing algorithm are proposed alongside a discussion of immediate challenges and possible solutions. This is intended to form a base from which a successful methodology can be developed

On-line planning and scheduling: an application to controlling modular printers

We present a case study of artificial intelligence techniques applied to the control of production printing equipment. Like many other real-world applications, this complex domain requires high-speed autonomous decision-making and robust continual operation. To our knowledge, this work represents the first successful industrial application of embedded domain-independent temporal planning. Our system handles execution failures and multi-objective preferences. At its heart is an on-line algorithm that combines techniques from state-space planning and partial-order scheduling. We suggest that this general architecture may prove useful in other applications as more intelligent systems operate in continual, on-line settings. Our system has been used to drive several commercial prototypes and has enabled a new product architecture for our industrial partner. When compared with state-of-the-art off-line planners, our system is hundreds of times faster and often finds better plans. Our experience demonstrates that domain-independent AI planning based on heuristic search can flexibly handle time, resources, replanning, and multiple objectives in a high-speed practical application without requiring hand-coded control knowledge

Reformulation in planning

Reformulation of a problem is intended to make the problem more amenable to efficient solution. This is equally true in the special case of reformulating a planning problem. This paper considers various ways in which reformulation can be exploited in planning

Knowledge engineering techniques for automated planning

Formulating knowledge for use in AI Planning engines is currently some-thing of an ad-hoc process, where the skills of knowledge engineers and the tools they use may significantly influence the quality of the resulting planning application. There is little in the way of guidelines or standard procedures, however, for knowledge engineers to use when formulating knowledge into planning domain languages such as PDDL. Also, there is little published research to inform engineers on which method and tools to use in order to effectively engineer a new planning domain model. This is of growing importance, as domain independent planning engines are now being used in a wide range of applications, with the consequence that op-erational problem encodings and domain models have to be developed in a standard language. In particular, at the difficult stage of domain knowledge formulation, changing a statement of the requirements into something for-mal - a PDDL domain model - is still somewhat of an ad hoc process, usually conducted by a team of AI experts using text editors. On the other hand, the use of tools such as itSIMPLE or GIPO, with which experts gen-erate a high level diagrammatic description and automatically generate the domain model, have not yet been proven to be more effective than hand coding. The major contribution of this thesis is the evaluation of knowledge en-gineering tools and techniques involved in the formulation of knowledge. To support this, we introduce and encode a new planning domain called Road Traffic Accidents (RTA), and discuss a set of requirements that we have derived, in consultation with stakeholders and analysis of accident management manuals, for the planning part of the management task. We then use and evaluate three separate strategies for knowledge formulation, encoding domain models from a textual, structural description of require-ments using (i) the traditional method of a PDDL expert and text editor (ii) a leading planning GUI with built in UML modelling tools (iii) an object-based notation inspired by formal methods. We evaluate these three ap-proaches using process and product metrics. The results give insights into the strengths and weaknesses of the approaches, highlight lessons learned regarding knowledge encoding, and point to important lines of research for knowledge engineering for planning. In addition, we discuss a range of state-of-the-art modelling tools to find the types of features that the knowledge engineering tools possess. These features have also been used for evaluating the methods used. We bench-mark our evaluation approach by comparing it with the method used in the previous International Competition for Knowledge Engineering for Plan-ning & Scheduling (ICKEPS). We conclude by providing a set of guide-lines for building future knowledge engineering tools

Progress in AI Planning Research and Applications

Planning has made significant progress since its inception in the 1970s, in terms both of the efficiency and sophistication of its algorithms and representations and its potential for application to real problems. In this paper we sketch the foundations of planning as a sub-field of Artificial Intelligence and the history of its development over the past three decades. Then some of the recent achievements within the field are discussed and provided some experimental data demonstrating the progress that has been made in the application of general planners to realistic and complex problems. The paper concludes by identifying some of the open issues that remain as important challenges for future research in planning

CRIKEY! ― It's co-ordination in temporal planning

Temporal planning contains aspects of both planning and scheduling. Many temporal planners assume a loose coupling between these two sub-problems in the form of "blackbox" durative actions, where the state of the world is not known during the action's execution. This reduces the size of the search space and so simplifies the temporal planning problem, restricting what can be modelled. In particular, the simplification makes it impossible to model co-ordination, where actions must be executed concurrently to achieve a desired effect. Coordination results from logical and temporal constraints that must both be met, and for this reason, the planner and scheduler must communicate in order to find a valid temporal plan. This communication effectively increases the size of the search space, so must be done intelligently and as little as possible to limit this increase. This thesis contributes a comprehensive analysis of where temporal constraints appear in temporal planning problems. It introduces the notions of minimum and maximum temporal constraints, and with these isolates where the planning and scheduling are coupled together tightly, in the form of co-ordination, it characterises this with the new concepts of envelopes and contents. A new temporal planner written, called СRIKЕҮ, uses this theory to solve temporal problems involving co-ordination that other planners are unable to solve. However, it does this intelligently, using this theory to minimise the communication between the sub-solvers, and so does not expand the search space unnecessarily. The novel search space that CRIKEY uses docs not specify the timings of future events and this allows for the handling of duration inequalities, which again, few other temporal planners are able to solve. Results presented show СRIKЕҮ to be a competitive planner, whilst not making the same simplifying assumptions that other temporal planners make as to the nature of temporal planning problems

The 3rd International Planning Competition: Results and Analysis

This paper reports the outcome of the third in the series of biennial international planning competitions, held in association with the International Conference on AI Planning and Scheduling (AIPS) in 2002. In addition to describing the domains, the planners and the objectives of the competition, the paper includes analysis of the results. The results are analysed from several perspectives, in order to address the questions of comparative performance between planners, comparative difficulty of domains, the degree of agreement between planners about the relative difficulty of individual problem instances and the question of how well planners scale relative to one another over increasingly difficult problems. The paper addresses these questions through statistical analysis of the raw results of the competition, in order to determine which results can be considered to be adequately supported by the data. The paper concludes with a discussion of some challenges for the future of the competition series