dc.contributor.author | Abdulaziz, Mohammad | |
dc.contributor.author | Gretton, Charles | |
dc.contributor.author | Norrish, Michael | |
dc.contributor.editor | Laura Barbulescu, Jeremy Frank, Mausam, Stephen F. Smith | |
dc.date.accessioned | 2017-11-30T04:43:58Z | |
dc.date.available | 2017-11-30T04:43:58Z | |
dc.date.issued | 2017 | |
dc.identifier.uri | http://hdl.handle.net/10072/354641 | |
dc.description.abstract | We investigate compositional bounding of transition system diameters, with application in bounding the lengths of plans. We establish usefully-tight bounds by exploiting acyclicity in state-spaces. We provide mechanised proofs in HOL4 of the validity of our approach. Evaluating our bounds in a range of benchmarks, we demonstrate exponentially tighter upper bounds compared to existing methods. Treating both solvable and unsolvable benchmark problems, we also demonstrate the utility of our bounds in boosting planner performance. We enhance an existing planning procedure to use our bounds, and demonstrate significant coverage improvements, both compared to the base planner, and also in comparisons with state-of-the-art systems. | |
dc.description.peerreviewed | Yes | |
dc.language | English | |
dc.publisher | Association for the Advancement of Artificial Intelligence (AAAI) | |
dc.publisher.place | United States | |
dc.publisher.uri | https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15768 | |
dc.relation.ispartofconferencename | ICAPS 2017 | |
dc.relation.ispartofconferencetitle | Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling (ICAPS 2017) | |
dc.relation.ispartofdatefrom | 2017-06-18 | |
dc.relation.ispartofdateto | 2017-06-23 | |
dc.relation.ispartoflocation | Pittsburgh, Pennsylvania, United States | |
dc.subject.fieldofresearch | Analysis of Algorithms and Complexity | |
dc.subject.fieldofresearchcode | 080201 | |
dc.title | A state-space acyclicity property for exponentially tighter plan length bounds | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dc.type.code | E - Conference Publications | |
dc.description.version | Accepted Manuscript (AM) | |
gro.rights.copyright | © 2017 AAAI Press. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. Please refer to the conference's website for access to the definitive, published version. | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Gretton, Charles | |