LPG: A planner based on local search for planning graphs. LPG (Local search for Planning Graphs) is a planner based on local search and planning graphs that handles PDDL2.1 domains involving numerical quantities and durations. The system can solve both plan generation and plan adaptation problems. The basic search scheme of LPG was inspired by Walksat, an efficient procedure to solve SAT-problems. The search space of LPG consists of ”action graphs”, particular subgraphs of the planning graph representing partial plans. The search steps are certain graph modifications transforming an action graph into another one. LPG exploits a compact representation of the planning graph to define the search neighborhood and to evaluate its elements using a parametrized function, where the parameters weight different types of inconsistencies in the current partial plan, and are dynamically evaluated during search using discrete Lagrange multipliers. The evaluation function uses some heuristics to estimate the ”search cost” and the ”execution cost” of achieving a (possibly numeric) precondition. Action durations and numerical quantities (e.g., fuel consumption) are represented in the actions graphs, and are modeled in the evaluation function. In temporal domains, actions are ordered using a ”precedence graph” that is maintained during search, and that takes into account the mutex relations of the planning graph. The system can produce good quality plans in terms of one or more criteria. This is achieved by an anytime process producing a sequence of plans, each of which is an improvement of the previous ones in terms of its quality. LPG is integrated with a best-first algorithm similar to the one used by FF. The system can automatically switch to best-first search after a certain number of search steps and ”restarts” have been performed. Finally, LPG can be used as a preprocessor to produce a quasi-solution that is then repaired by ADJ, a plan-analysis technique for fast plan-adaptation.
Keywords for this software
References in zbMATH (referenced in 12 articles )
Showing results 1 to 12 of 12.
- Byrd, Jason; Bartlett, Rodney; Sanders, Beverly A.: On preparing the super instruction architecture and ACES4 for future computer systems (2018)
- Eggensperger, Katharina; Lindauer, Marius; Hoos, Holger H.; Hutter, Frank; Leyton-Brown, Kevin: Efficient benchmarking of algorithm configurators via model-based surrogates (2018)
- Štolba, Michal; Komenda, Antonín: The MADLA planner: multi-agent planning by combination of distributed and local heuristic search (2017)
- Ghosh, Kamalesh; Dasgupta, Pallab; Ramesh, S.: Automated planning as an early verification tool for distributed control (2015)
- Rankooh, Masood Feyzbakhsh; Mahjoob, Ali; Ghassem-Sani, Gholamreza: Using satisfiability for non-optimal temporal planning (2012)
- Baioletti, Marco; Milani, Alfredo; Poggioni, Valentina; Rossi, Fabio: Experimental evaluation of pheromone models in ACOPlan (2011)
- Gerevini, Alfonso E.; Saetti, Alessandro; Serina, Ivan: Planning in domains with derived predicates through rule-action graphs and local search (2011)
- Coles, Andrew; Fox, Maria; Halsey, Keith; Long, Derek; Smith, Amanda: Managing concurrency in temporal planning using planner-scheduler interaction (2009)
- Roberts, Mark; Howe, Adele: Learning from planner performance (2009)
- Arshad, Naveed; Heimbigner, Dennis; Wolf, Alexander L.: Deployment and dynamic reconfiguration planning for distributed software systems. (2007) ioport
- Wah, Benjamin W.; Chen, Yixin: Constraint partitioning in penalty formulations for solving temporal planning problems (2006)
- Sanchez, R.; Kambhampati, S.: AltAltp: Online parallelization of plans with heuristic state search (2003)