Parsing-based Approaches for Verification and Recognition of Hierarchical Plans

Hierarchical planning, in particular, Hierarchical Task Networks, was proposed as a method to describe plans by decomposition of tasks to sub-tasks until primitive tasks, actions, are obtained. Plan verification assumes a complete plan as input, and the objective is finding a task that decomposes to this plan. In plan recognition, a prefix of the plan is given and the objective is finding a task that decomposes to the (shortest) plan with the given prefix. This paper describes how to verify and recognize plans using a common method known from formal grammars, by parsing.

[1]  Hector Geffner,et al.  Plan Recognition as Planning , 2009, IJCAI.

[2]  James A. Hendler,et al.  Complexity results for HTN planning , 1994, Annals of Mathematics and Artificial Intelligence.

[3]  Susanne Biundo-Stephan,et al.  On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition , 2015, ICAPS.

[4]  Gal A. Kaminka,et al.  Fast and Complete Symbolic Plan Recognition , 2005, IJCAI.

[5]  Susanne Biundo-Stephan,et al.  This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems , 2017, ICAPS.

[6]  Susanne Biundo-Stephan,et al.  Language Classification of Hierarchical Planning Problems , 2014, ECAI.

[7]  Rafael Cauê Cardoso,et al.  Validation of Hierarchical Plans via Parsing of Attribute Grammars , 2018, ICAPS.

[8]  Robert P. Goldman,et al.  A New Probabilistic Plan Recognition Algorithm Based on String Rewriting , 2008, ICAPS.

[9]  Froduald Kabanza,et al.  Controlling the Hypothesis Space in Probabilistic Plan Recognition , 2013, IJCAI.

[10]  Avrim Blum,et al.  Fast Planning Through Planning Graph Analysis , 1995, IJCAI.

[11]  Marc B. Vilain,et al.  Getting Serious about Parsing Plans : a Grammatical Analysis of Plan Recognition , 1990 .

[12]  Susanne Biundo-Stephan,et al.  Plan and Goal Recognition as HTN Planning , 2018, 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI).

[13]  Roman Barták,et al.  Attribute grammars with set attributes and global constraints as a unifying framework for planning domain models , 2017, PPDP.

[14]  Robert P. Goldman,et al.  A probabilistic plan recognition algorithm based on plan tree grammars , 2009, Artif. Intell..