A Compilation of the Full PDDL+ Language into SMT

A Compilation of the Full PDDL+ Language into SMT. Cashmore, M., Fox, M., Long, D., & Magazzeni, D. In

Planning in hybrid systems is key to dealing with real-world applications. PDDL+ supports the representation of domains with mixed discrete and continuous dynamics, and supports events and processes modeling exogenous change. Motivated by numerous SAT-based planning approaches, we propose an approach to PDDL+ planning through SMT, describing an SMT encoding that captures all the features of the PDDL+ problem as published by Fox and Long 2006. The encoding can be applied on domains with nonlinear continuous change. We apply this encoding in a simple planning algorithm, demonstrating excellent results on a set of benchmark problems.

@inproceedings {icaps16-147,
    track    = {Main Track},
    title    = {A Compilation of the Full PDDL+ Language into SMT},
    url      = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13101},
    author   = {Michael Cashmore and  Maria Fox and  Derek Long and  Daniele Magazzeni},
    abstract = {Planning in hybrid systems is key to dealing with real-world applications. PDDL+ supports the representation of domains with mixed discrete and continuous dynamics, and supports events and processes modeling exogenous change.
Motivated by numerous SAT-based planning approaches, we propose an approach to PDDL+ planning through SMT, describing an SMT encoding that captures all the features of the PDDL+ problem as published by Fox and Long 2006. The encoding can be applied on domains with nonlinear continuous change. We apply this encoding in a simple planning algorithm, demonstrating excellent results on a set of benchmark problems.},
    keywords = {Planning in mixed discrete / continuous domains,Constraint reasoning / OR techniques}
}

Downloads: 0

{"_id":"CooS9hDdR4JS9KnD6","bibbaseid":"cashmore-fox-long-magazzeni-acompilationofthefullpddllanguageintosmt","downloads":0,"creationDate":"2016-03-09T03:04:32.822Z","title":"A Compilation of the Full PDDL+ Language into SMT","author_short":["Cashmore, M.","Fox, M.","Long, D.","Magazzeni, D."],"year":null,"bibtype":"inproceedings","biburl":"icaps16.icaps-conference.org/papers.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","track":"Main Track","title":"A Compilation of the Full PDDL+ Language into SMT","url":"http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13101","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Cashmore"],"suffixes":[]},{"firstnames":["Maria"],"propositions":[],"lastnames":["Fox"],"suffixes":[]},{"firstnames":["Derek"],"propositions":[],"lastnames":["Long"],"suffixes":[]},{"firstnames":["Daniele"],"propositions":[],"lastnames":["Magazzeni"],"suffixes":[]}],"abstract":"Planning in hybrid systems is key to dealing with real-world applications. PDDL+ supports the representation of domains with mixed discrete and continuous dynamics, and supports events and processes modeling exogenous change. Motivated by numerous SAT-based planning approaches, we propose an approach to PDDL+ planning through SMT, describing an SMT encoding that captures all the features of the PDDL+ problem as published by Fox and Long 2006. The encoding can be applied on domains with nonlinear continuous change. We apply this encoding in a simple planning algorithm, demonstrating excellent results on a set of benchmark problems.","keywords":"Planning in mixed discrete / continuous domains,Constraint reasoning / OR techniques","bibtex":"@inproceedings {icaps16-147,\r\n track = {Main Track},\r\n title = {A Compilation of the Full PDDL+ Language into SMT},\r\n url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13101},\r\n author = {Michael Cashmore and Maria Fox and Derek Long and Daniele Magazzeni},\r\n abstract = {Planning in hybrid systems is key to dealing with real-world applications. PDDL+ supports the representation of domains with mixed discrete and continuous dynamics, and supports events and processes modeling exogenous change.\r\nMotivated by numerous SAT-based planning approaches, we propose an approach to PDDL+ planning through SMT, describing an SMT encoding that captures all the features of the PDDL+ problem as published by Fox and Long 2006. The encoding can be applied on domains with nonlinear continuous change. We apply this encoding in a simple planning algorithm, demonstrating excellent results on a set of benchmark problems.},\r\n keywords = {Planning in mixed discrete / continuous domains,Constraint reasoning / OR techniques}\r\n}\r\n\r\n","author_short":["Cashmore, M.","Fox, M.","Long, D.","Magazzeni, D."],"key":"icaps16-147","id":"icaps16-147","bibbaseid":"cashmore-fox-long-magazzeni-acompilationofthefullpddllanguageintosmt","role":"author","urls":{"Paper":"http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13101"},"keyword":["Planning in mixed discrete / continuous domains","Constraint reasoning / OR techniques"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["compilation","full","pddl","language","smt","cashmore","fox","long","magazzeni"],"keywords":["planning in mixed discrete / continuous domains","constraint reasoning / or techniques"],"authorIDs":[],"dataSources":["iMkx859KiXcegwsin","EZtZjCTnxcdTTyeij"]}