Vallati, Mauro (2010) Combining macros and SAT planning. In: Doctoral Consortium of the 11th Italian Association of Artificial Intelligence, 1st - 3rd December 2010, Brescia, Italy.
|PDF - Published Version |
Download (475kB) | Preview
Planning based on propositional satisfiability is a powerful approach for computing makespan-optimal plans. However, it is usually slower then heuristic-based sub-optimal approaches. In this work we propose MacroSatPlan; a SatPlan based planner which exploits macros extracted by Macro-FF and uses a predictive model of the optimal solution length that is constructed by WEKA, a commonly used toolkit of machine learning algorithms.
|Item Type:||Conference or Workshop Item (Paper)|
|Subjects:||Q Science > Q Science (General)|
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Q Science > QA Mathematics > QA76 Computer software
|Schools:||School of Computing and Engineering > Informatics Research Group > Knowledge Engineering and Intelligent Interfaces|
School of Computing and Engineering
|Depositing User:||Mauro Vallati|
|Date Deposited:||24 Oct 2012 16:39|
|Last Modified:||24 Oct 2012 16:39|
Downloader CountriesMore statistics for this item...
Item control for Repository Staff only: