Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 7 of 12 found articles
 
 
  Exploiting macro-actions and predicting plan length in planning as satisfiability
 
 
Title: Exploiting macro-actions and predicting plan length in planning as satisfiability
Author: Gerevini, Alfonso Emilio
Saetti, Alessandro
Vallati, Mauro
Appeared in: AI communications
Paging: Volume 28 (2014) nr. 2 pages 323-344
Year: 2014-09-26
Contents: The use of automatically learned knowledge for a planning domain can significantly improve the performance of a generic planner when solving a problem in this domain. In this work, we focus on the well-known SAT-based approach to planning and investigate two types of learned knowledge: macro-actions and planning horizon. Macro-actions are sequences of actions that typically occur in the solution plans, while a planning horizon of a problem is the length of a (possibly optimal) plan solving it. We propose a method that uses a machine learning tool for building a predictive model of the optimal planning horizon, and variants of the well-known planner SatPlan and solver MiniSat that can exploit macro actions and learned planning horizons to improve their performance. An experimental analysis illustrates the effectiveness of the proposed techniques demonstrating that significant speedups can be obtained.
Publisher: IOS Press
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 7 of 12 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands