{"type":"ScholarlyArticle","title":"A Correctness Result for Reasoning about One-Dimensional Planning Problems","authors":[{"name":"Yuxiao Hu","slug":"yuxiao-hu","given":"Yuxiao","family":"Hu","affiliation":""},{"name":"Hector J. Levesque","slug":"hector-j-levesque","given":"Hector J.","family":"Levesque","affiliation":""}],"abstract":"A plan with rich control structures like branches and loops can usually serve as a general solution that solves multiple planning instances in a domain. However, the correctness of such generalized plans is non-trivial to define and verify, especially when it comes to whether or not a plan works for all of the infinitely many instances of the problem. In this paper, we give a precise definition of a generalized plan representation called an FSA plan, with its semantics defined in the situation calculus. Based on this, we identify a class of infinite planning problems, which we call one-dimensional (1d), and prove a correctness result that 1d problems can be verified by finite means. We show that this theoretical result leads to an algorithm that does this verification practically, and a planner based on this verification algorithm efficiently generates provably correct plans for 1d problems.","doi":"10.5591/978-1-57735-516-8/IJCAI11-439","url":"https://ijcai.org/proceedings/2011/439","pdf":"https://ijcai.org/proceedings/2011/0439.pdf","markdown":"https://ijcai.org/proceedings/2011/439.md","bibtex":"https://ijcai.org/proceedings/2011/bibtex/439","volume":{"slug":"2011","title":"Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2011","url":"https://ijcai.org/proceedings/2011/","year":2011,"location":"Barcelona, Catalonia, Spain","dates":"16–22 July 2011","editors":"Toby Walsh","isbn":"978-1-57735-512-0; 978-1-57735-513-7; 978-1-57735-514-4; 978-1-57735-515-1; 978-1-57735-516-8","publisher":"AAAI Press/International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":439,"pages":{"first":2638,"last":2642},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}