SMT-Based Nonlinear PDDL+ Planning

SMT-Based Nonlinear PDDL+ Planning. Bryce, D., Gao, S., Musliner, D., & Goldman, R. In Proceedings of the AAAI Conference on Artificial Intelligence, volume 29, March, 2015.

Paper doi abstract bibtex

PDDL+ planning involves reasoning about mixed discretecontinuous change over time. Nearly all PDDL+ planners assume that continuous change is linear. We present a new technique that accommodates nonlinear change by encoding problems as nonlinear hybrid systems. Using this encoding, we apply a Satisﬁability Modulo Theories (SMT) solver to ﬁnd plans. We show that it is important to use novel planningspeciﬁc heuristics for variable and value selection for SMT solving, which is inspired by recent advances in planning as SAT. We show the promising performance of the resulting solver on challenging nonlinear problems.

@inproceedings{bryce_smt-based_2015,
	title = {{SMT}-{Based} {Nonlinear} {PDDL}+ {Planning}},
	volume = {29},
	url = {https://ojs.aaai.org/index.php/AAAI/article/view/9646},
	doi = {10.1609/aaai.v29i1.9646},
	abstract = {PDDL+ planning involves reasoning about mixed discretecontinuous change over time. Nearly all PDDL+ planners assume that continuous change is linear. We present a new technique that accommodates nonlinear change by encoding problems as nonlinear hybrid systems. Using this encoding, we apply a Satisﬁability Modulo Theories (SMT) solver to ﬁnd plans. We show that it is important to use novel planningspeciﬁc heuristics for variable and value selection for SMT solving, which is inspired by recent advances in planning as SAT. We show the promising performance of the resulting solver on challenging nonlinear problems.},
	language = {en},
	urldate = {2023-01-29},
	booktitle = {Proceedings of the {AAAI} {Conference} on {Artificial} {Intelligence}},
	author = {Bryce, Daniel and Gao, Sicun and Musliner, David and Goldman, Robert},
	month = mar,
	year = {2015},
}

Downloads: 0

{"_id":"mcuZw5rLQiqPnkJoB","bibbaseid":"bryce-gao-musliner-goldman-smtbasednonlinearpddlplanning-2015","authorIDs":[],"author_short":["Bryce, D.","Gao, S.","Musliner, D.","Goldman, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"SMT-Based Nonlinear PDDL+ Planning","volume":"29","url":"https://ojs.aaai.org/index.php/AAAI/article/view/9646","doi":"10.1609/aaai.v29i1.9646","abstract":"PDDL+ planning involves reasoning about mixed discretecontinuous change over time. Nearly all PDDL+ planners assume that continuous change is linear. We present a new technique that accommodates nonlinear change by encoding problems as nonlinear hybrid systems. Using this encoding, we apply a Satisﬁability Modulo Theories (SMT) solver to ﬁnd plans. We show that it is important to use novel planningspeciﬁc heuristics for variable and value selection for SMT solving, which is inspired by recent advances in planning as SAT. We show the promising performance of the resulting solver on challenging nonlinear problems.","language":"en","urldate":"2023-01-29","booktitle":"Proceedings of the AAAI Conference on Artificial Intelligence","author":[{"propositions":[],"lastnames":["Bryce"],"firstnames":["Daniel"],"suffixes":[]},{"propositions":[],"lastnames":["Gao"],"firstnames":["Sicun"],"suffixes":[]},{"propositions":[],"lastnames":["Musliner"],"firstnames":["David"],"suffixes":[]},{"propositions":[],"lastnames":["Goldman"],"firstnames":["Robert"],"suffixes":[]}],"month":"March","year":"2015","bibtex":"@inproceedings{bryce_smt-based_2015,\n\ttitle = {{SMT}-{Based} {Nonlinear} {PDDL}+ {Planning}},\n\tvolume = {29},\n\turl = {https://ojs.aaai.org/index.php/AAAI/article/view/9646},\n\tdoi = {10.1609/aaai.v29i1.9646},\n\tabstract = {PDDL+ planning involves reasoning about mixed discretecontinuous change over time. Nearly all PDDL+ planners assume that continuous change is linear. We present a new technique that accommodates nonlinear change by encoding problems as nonlinear hybrid systems. Using this encoding, we apply a Satisﬁability Modulo Theories (SMT) solver to ﬁnd plans. We show that it is important to use novel planningspeciﬁc heuristics for variable and value selection for SMT solving, which is inspired by recent advances in planning as SAT. We show the promising performance of the resulting solver on challenging nonlinear problems.},\n\tlanguage = {en},\n\turldate = {2023-01-29},\n\tbooktitle = {Proceedings of the {AAAI} {Conference} on {Artificial} {Intelligence}},\n\tauthor = {Bryce, Daniel and Gao, Sicun and Musliner, David and Goldman, Robert},\n\tmonth = mar,\n\tyear = {2015},\n}\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n","author_short":["Bryce, D.","Gao, S.","Musliner, D.","Goldman, R."],"key":"bryce_smt-based_2015","id":"bryce_smt-based_2015","bibbaseid":"bryce-gao-musliner-goldman-smtbasednonlinearpddlplanning-2015","role":"author","urls":{"Paper":"https://ojs.aaai.org/index.php/AAAI/article/view/9646"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/matteocarde","creationDate":"2019-12-09T14:42:18.181Z","downloads":0,"keywords":[],"search_terms":["smt","based","nonlinear","pddl","planning","bryce","gao","musliner","goldman"],"title":"SMT-Based Nonlinear PDDL+ Planning","year":2015,"dataSources":["9pYjFWPBodPyDyb7N","KmdEXRiKqSHvuDHgs","BLJPWpPi3hneTGaPF"]}