Search:
Computing and Library Services - delivering an inspiring information environment

MacroSatPlan: Combining macro and SAT planning

Vallati, Mauro (2010) MacroSatPlan: Combining macro and SAT planning. In: Doctoral Consortium of 20th International Conference on Automated Planning & Scheduling, 12th-16th May 2010, Toronto, Canada.

Metadata only available from this repository.

Abstract

Planning based on propositional satisfiability is a powerful approach for computing makespan-optimal plans. However, it is usually slower then heuristic-based suboptimal 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. First we briefly present the SatPlan approach. Then we describe the architecture of MacroSatPlan. Finally we present the results of an experimental study evaluating MacroSatPlan.

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
School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge
School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge
Related URLs:
Depositing User: Mauro Vallati
Date Deposited: 01 Nov 2012 15:25
Last Modified: 01 Nov 2012 16:19
URI: http://eprints.hud.ac.uk/id/eprint/15366

Repository Staff Only: item control page

View Item

University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©