Borrajo, Daniel
Knowledge Transfer between Automated Planners
Fernandez, Susana (Universidad Carlos III de Madrid) | Aler, Ricardo (Universidad Carlos III de Madrid) | Borrajo, Daniel (Universidad Carlos III de Madrid)
In this article, we discuss the problem of transferring search heuristics from one planner to another. More specifically, we demonstrate how to transfer the domain-dependent heuristics acquired by one planner into a second planner. Our motivation is to improve the efficiency and the efficacy of the second planner by allowing it to use the transferred heuristics to capture domain regularities that it would not otherwise recognize. Our experimental results show that the transferred knowledge does improve the second planner's performance on novel tasks over a set of seven benchmark planning domains.
Using Backwards Generated Goals for Heuristic Planning
Alcázar, Vidal (Universidad Carlos III de Madrid) | Borrajo, Daniel (Universidad Carlos III de Madrid) | López, Carlos Linares (Universidad Carlos III de Madrid)
Forward State Planning with Reachability Heuristics is arguably the most successful approach to Automated Planning up to date. In addition to an estimation of the distance to the goal, relaxed plans obtained with such heuristics provide the search with useful information such as helpful actions and look-ahead states. However, this information is extracted only from the beginning of the relaxed plan. In this paper, we propose using information extracted from the last actions in the relaxed plan to generate intermediate goals backwards. This allows us to use information from previous computations of the heuristic and reduce the depth of the search tree.
An AI Planning-based Tool for Scheduling Satellite Nominal Operations
Rodriguez-Moreno, Maria Dolores, Borrajo, Daniel, Meziat, Daniel
Satellite domains are becoming a fashionable area of research within the AI community due to the complexity of the problems that satellite domains need to solve. Many new techniques in both the planning and scheduling fields have been applied successfully, but still much work is left to be done for reliable autonomous architectures. For this task, we have used an AI domain-independent planner that solves the planning and scheduling problems in the HISPASAT domain thanks to its capability of representing and handling continuous variables, coding functions to obtain the operators' variable values, and the use of control rules to prune the search. We also abstract the approach in order to generalize it to other domains that need an integrated approach to planning and scheduling.
An AI Planning-based Tool for Scheduling Satellite Nominal Operations
Rodriguez-Moreno, Maria Dolores, Borrajo, Daniel, Meziat, Daniel
Satellite domains are becoming a fashionable area of research within the AI community due to the complexity of the problems that satellite domains need to solve. With the current U.S. and European focus on launching satellites for communication, broadcasting, or localization tasks, among others, the automatic control of these machines becomes an important problem. Many new techniques in both the planning and scheduling fields have been applied successfully, but still much work is left to be done for reliable autonomous architectures. The purpose of this article is to present CONSAT, a real application that plans and schedules the performance of nominal operations in four satellites during the course of a year for a commercial Spanish satellite company, HISPASAT. For this task, we have used an AI domain-independent planner that solves the planning and scheduling problems in the HISPASAT domain thanks to its capability of representing and handling continuous variables, coding functions to obtain the operators' variable values, and the use of control rules to prune the search. We also abstract the approach in order to generalize it to other domains that need an integrated approach to planning and scheduling.