Parsing-based Approaches for Verification and Recognition of Hierarchical Plans

Roman Barták, Adrien Maillard, Rafael C. Cardoso

Keywords: hierarchical task networks, plan verification, plan recognition, parsing, attribute grammars

TL;DR: The paper describes methods to verify and recognize HTN plans by parsing of attribute grammars.

Abstract: 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.