Partial Weighted MaxSAT for Optimal Planning
-
Altmetric Citations
Robinson, Nathan; Gretton, Charles; Pham, Duc Nghia; Sattar, Abdul
Description
We consider the problem of computing optimal plans for propositional planning problems with action costs. In the spirit of leveraging advances in general-purpose automated reasoning for that setting, we develop an approach that operates by solving a sequence of partial weighted MaxSAT problems, each of which corresponds to a step-bounded variant of the problem at hand. Our approach is the first SAT-based system in which a proof of cost-optimality is obtained using a MaxSAT procedure. It is also...[Show more]
Collections | ANU Research Publications |
---|---|
Date published: | 2010 |
Type: | Conference paper |
URI: | http://hdl.handle.net/1885/258474 |
Source: | PRICAI 2010 : trends in artificial intelligence : 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, August 30-September 2, 2010 : proceedings |
DOI: | 10.1007/978-3-642-15246-7_23 |
Access Rights: | Open Access |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
costop_sp.pdf | 341.54 kB | Adobe PDF |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator