{"type":"ScholarlyArticle","title":"Hierarchical Decompositions and Termination Analysis for Generalized Planning (Abstract Reprint)","authors":[{"name":"Siddharth Srivastava","slug":"siddharth-srivastava","given":"Siddharth","family":"Srivastava","affiliation":"School of Computing and Augmented Intelligence Arizona State University Tempe , AZ 85281 USA"}],"abstract":"This paper presents new methods for analyzing and evaluating generalized plans that can solve broad classes of related planning problems. Although synthesis and learning of generalized plans has been a longstanding goal in AI, it remains challenging due to fun- damental gaps in methods for analyzing the scope and utility of a given generalized plan. This paper addresses these gaps by developing a new conceptual framework along with proof techniques and algorithmic processes for assessing termination and goal-reachability related properties of generalized plans. We build upon classic results from graph theory to decompose generalized plans into smaller components that are then used to derive hi- erarchical termination arguments. These methods can be used to determine the utility of a given generalized plan, as well as to guide the synthesis and learning processes for generalized plans. We present theoretical as well as empirical results illustrating the scope of this new approach. Our analysis shows that this approach significantly extends the class of generalized plans that can be assessed automatically, thereby reducing barriers in the synthesis and learning of reliable generalized plans.","doi":"10.24963/ijcai.2024/957","url":"https://ijcai.org/proceedings/2024/957","pdf":"https://ijcai.org/proceedings/2024/0957.pdf","markdown":"https://ijcai.org/proceedings/2024/957.md","bibtex":"https://ijcai.org/proceedings/2024/bibtex/957","volume":{"slug":"2024","title":"Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2024","url":"https://ijcai.org/proceedings/2024/","year":2024,"location":"Jeju, Korea","dates":"3-9 August 2024","editors":"Kate Larson","isbn":"978-1-956792-04-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2024"},"section":"Journal Track","track":"Journal Track","number":957,"pages":{"first":8485,"last":8485},"keywords":["Journal Track: Journal Track"],"videos":[],"references":[{"position":1,"raw":"[Srivastava, 2023] Siddharth Srivastava. Hierarchical de- compositions and termination analysis for generalized planning. J. Artif. Intell. Res., 77:1203-1236, 2023.","title":"Hierarchical decompositions and termination analysis for generalized planning","authors":"Siddharth Srivastava","year":"2023","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}